Benchmark ZKP systems, bridge ecosystem gaps, push toward PQ-sound on-chain verification.
Expand benchmarking to SHA256, ECDSA, Poseidon2, Keccak across 24 zkVMs and proof systems.
Finish SotA assessment of WHIR-based ZKP systems. Author consultation for potential improvements.
Apply mobile GPU acceleration to Jolt zkVM, targeting >20% proving improvement.
Refactor WHIR verifier for KoalaBear field. Smaller field enables gas cost optimizations.
Post-quantum sound ZKP system directly verifiable on-chain with <1.5M gas verification.
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 |
|---|---|---|
| Verification gas cost | <1.5M gas (100+ bit security) | In research |
| GPU proving improvement | >20% reduction | In progress |
| Ecosystem citations per release | 10+ | Tracking |
| Community contributions | 3+ per quarter | Approached by gnark, Kakarot |