Published March 8, 2023 | Version v0.1.0c-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.

Please use the latest version: v0.1.0c.

Files

Picus-0.1.0c-research-artifact.zip

Files (4.9 MB)

Name Size
md5:dd9ca116ec1ee39f654a78f814c18460
4.9 MB Preview Download