There is a newer version of the record available.

Published April 26, 2023 | Version 0.1
Software Open

Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)

Authors/Creators

  • 1. Stanford University
  • 2. Carnegie Mellon University

Description

This is the artifact for the paper "Bounded Verification for Fblaste-Field-Blasting (in a Compiler for Zero Knowledge Proofs)" by Alex Ozdemir, Riad S. Wahby, Fraser Brown, and Clark Barrett that will appear at the conference CAV'23.

This artifact contains a snapshot of the CirC compiler infrastructure with two versions of its finite-field blaster: one unverified and one verified.

With this artifact, one can:

  • measure the impact of the verified blaster on CirC's performance and output quality
  • attempt to verify VCs that imply the correctness of the verified blaster
  • see that these VCs fail when a blaster bug is re-introduced

We recommend evaluating this artifact on a machine with at least 16GB of memory and 8 logical CPUs. More CPUs will decrease evaluation time.

Files

cav23-artifact-ff-blast.zip

Files (1.9 GB)

Name Size Download all
md5:32169fc619b26cea9e7906f4841183c4
1.9 GB Preview Download
md5:c7dbc4c3b831767a70fe9e7ef2698d11
5.6 kB Preview Download