Skip to content

Latest commit

 

History

History
9 lines (8 loc) · 280 Bytes

zkvm.md

File metadata and controls

9 lines (8 loc) · 280 Bytes

do the setup for mint.zcd, save the params in mint.params

zkvm setup mint.zcd mint.setup

make the proof

zkvm prove mint.zcd mint.setup mint-params.json proof.dat

verify the proof

zkvm verify mint.zcd mint.setup proof.dat

show public values in proof

zkvm public proof.dat