Proof Generation Guide
Minimum Requirements
Cycles Per Segment | RAM |
---|---|
1024 | 16G |
16384 | 28.2G |
32768 | 95.2G |
65536 | 96.3G |
262144 | 130.1G |
1. Compile the Go code to MIPS
Write your own go program, and compile with
This produces an ELF binary.
2. Split the ELF into Segments
This should take a few seconds
3. Generate Proof for Each Segment
This should take about 10 minutes
4. Aggregate Proofs
This should take 20 minutes to a few hours, depending on the number of segments being aggregated
ls /tmp/output -1 | wc -l
outputs how many segments are present in the output file directory.
After aggregating the proof, you should receive a result: verifier/data/test_circuit
with the files:
Once you generate this folder, you need to Verify the Proof.
Last updated