Files
darkfi/zkvm.md
2020-10-15 13:56:01 +02:00

280 B

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