ZK Benchmark Project

Overview

This repository hosts the source code and resources for benchmarking various Zero-Knowledge (ZK) proofs. It builds upon the original repositories of Halo2, RISC0, Nexus, SP1, Jolt, Groth16, and Powdr with our implementations of proofs including SHA256, Fibonacci, and Merkle Merge functionalities.

Our aim is to benchmark the performance of these proofs, comparing them in terms of time, space, and other metrics. This comprehensive comparison will not only highlight the most popular ZK proofs and their implementations but also deepen our understanding of their inner workings and proving systems.

Goals

• Benchmark Operations:

  • Fibonacci: Variants 1, 10, 100, 1000, 10000
  • SHA256: Variants 1k, 10k Bytes
  • Poseidon:

• Additional Benchmarks:

  • Arithmetic Operations: Addition, Subtraction, Multiplication, Division
  • Loop: Variants 10, 100, 1000
  • Hash Functions: Pederson, Poseidon, RPO, Keccak (Variants 1k, 10k Bytes)
  • Merkle Tree: Generation, Membership/Inclusion, Merge
  • nth Prime: Variants 1, 10, 100, 1000, 10000
  • Cryptographic Verifications: ECDSA, Elliptic Curve, BLS Verification, BLS Aggregation

Proving Systems

• Halo2
• Nexus zkVM
• Risc Zero
• Groth16 (Circom)
• SP1
• Jolt
• Powdr

Metrics

• Prover Time
• Verifier Time
• Prover Space
• Verifier Space
• Proof Size
• Parallel Execution
• CPU Usage
• Memory Usage
• Verifier Gas Consumption
• Cycles Count
• Developer Friendliness

Benchmark Machine Specifications

• Macbook M1 Pro: Core 8, Memory 8 GB
• AlmaLinux 8.10: Core 16, Memory 32 GB, Disk 1 TB
• Windows 11: Core 16, Memory 32 GB, Disk 1 TB
• Intel(R): Core 4 - Memory 8GB

Project Structure

• Halo2
• Nexus
• SP1
• Jolt
• Zokrates
• Powdr
• Groth16
• Risc Zero

Reports

The reports can be found in the reports directory.

• Reports
  • Halo2
  • Nexus
  • Jolt
  • SP1
  • Zokrates
  • Powdr

Installation

Each project has its own README file with instructions on how to install the dependencies and run the benchmarks.

Contributors

This project is part of the ZK and Scaling Bootcamp organized by Encode club.
Tanmoy : https://x.com/mtanm0y Rosemary :https://x.com/rosekoikara Anubha Yogesh : https://x.com/yogesh_eth

Acknowledgments

Special thanks to the ZK and Scaling Bootcamp team for organizing this event and providing us with the opportunity to learn and contribute to the ZK space.