Skip to main content

​
Overview

For experimental research and performance analysis of Pessimistic Proof across different zkVM implementations, comprehensive benchmarks have been conducted comparing SP1, RiscZero, Pico, OpenVM, and other zkVMs. Note: These benchmarks are for research purposes only. Production Agglayer uses SP1 and Succinct’s Prover Network exclusively.

​
Benchmark Repository

For detailed performance analysis, benchmark results, and implementation comparisons across different zkVMs, visit the dedicated benchmark repository: Agglayer Pessimistic Proof Benchmarks

​
Repository Contents

The benchmark repository includes:
  • Performance comparisons: Cycle counts and execution times across zkVMs
  • Implementation details: How Pessimistic Proof runs on different zkVMs
  • Benchmark results: Data tables and performance graphs
  • Setup instructions: How to run benchmarks locally
  • Technical analysis: Detailed breakdown of computation profiles

​
Key Insights

Based on the benchmark research:
  • Keccak Dominance: 75%+ of computation involves Keccak hash functions
  • Performance Variation: Significant differences between zkVM implementations
  • Hardware Impact: GPU acceleration and CPU optimizations affect performance
  • Production Choice: SP1 chosen for optimal GPU performance and reliability