# 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