> ## Documentation Index
> Fetch the complete documentation index at: https://docs.polygon.technology/llms.txt
> Use this file to discover all available pages before exploring further.

# Benchmarks

> Experimental performance analysis and benchmarks across different zkVM implementations

## 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](https://github.com/BrianSeong99/Agglayer_PessimisticProof_Benchmark/)**

## 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