Publish client-side proving benchmarks and develop transparent, post-quantum proving ZKP systems with potential on-chain verification.
Maintain Ethproofs benchmarks for 16 proof systems and zkVMs across SHA-256, Keccak, Poseidon/Poseidon2, and ECDSA workloads.
Develop a Spartan-style sumcheck prover with WHIR PCS, compare it against ProveKit and other CSP candidates.
Measure standalone WHIR verification over a 31-bit field on EVM: 5.65M gas in software and 4.33M gas with experimental extension-field precompiles.
Connect Spartan-WHIR to practical circuit frontend flows and include it in the benchmark harness.
Use the standalone WHIR verifier results to design the amortized (recursive/aggregated) post-quantum onchain verifier.
Record ZK Podcast episode about CSP benchmarks to drive ecosystem awareness.
Present summary of one year of benchmarking. Highlight best system in each category.
Benchmark Zinc integer arithmetic against existing zkID ECDSA implementation. Contingent on results.
| KPI | Target | Status |
|---|---|---|
| Standalone WHIR verification | 5.65M software / 4.33M precompile experiment | Published |
| Spartan-WHIR prover | Faster than ProveKit on selected CSP workloads | WIP |
| Benchmark coverage | SHA-256, Keccak, Poseidon/Poseidon2, ECDSA | Published and expanding |
| Ecosystem citations per release | 10+ | Tracking |
| Community contributions | 3+ per quarter | New contributions by maintainers of ProveKit, Barretenberg, Jolt |