zkvm spec

zkvm.md

@@ -0,0 +1,9 @@
+# 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
+