Skip to main content

Uploading Keys

Guidance for uploading your own proving key.

You may optionally include the proving key associated with your circuit. To utilize this option, you must include all of the files described below (organized by framework) in your gzipped tar archive at the time of circuit upload.

CircomHalo2 (Axiom v0.2.2)Halo2 (Axiom v0.3.0)Gnark
circuit.zkeyproving_keyproving_keyproving_key
trusted_setuptrusted_setupverifying_key
breakpoints
danger

If you include some but not all of the requisite files, your circuit compilation will fail.

Expected Structure

circuit.zkey

Your proving key file should be consistent with the trusted setup files resulting from the Perpetual Powers of Tau ceremony. A concise listing of the components of this file may be found here.