Data serialization + separate prover/verifier binaries
#53 · Rust · ★ 49 · MIT · updated 2mo ago
Right now, Zippel has prover and verifier in the same program. But in practice, prover and verifier would normally be separate executables. What this means: when prover sends proof + transcript to the verifier (possibly running on a different machine) we need a way to actually…
replies in ~20hhas CONTRIBUTINGnobody circling
Cleared 1m ago