10-13, 17:00–17:08 (America/Bogota), Workshop 1
We present a set of benchmarks and automated benchmarking tools for ZK formal verification practitioners.
ZKonduit & 0xPARC
We present a set of benchmarks and automated benchmarking tools for ZK formal verification practitioners.
ZKonduit & 0xPARC