There is a newer version of the record available.

Published March 8, 2023 | Version v0.1.0-research-artifact
Conference paper Open

Automated Detection of Under-constrained Circuits in Zero-Knowledge Proofs

Authors/Creators

  • 1. Anonymous

Description

This is a research artifact release for PLDI'23 research artifact evaluation.

Files

Picus-0.1.0-research-artifact.zip

Files (4.8 MB)

Name Size
md5:de3f14e3e7f6f615c5d551063e95354a
4.8 MB Preview Download