# Cryptographic Proof Performance on Synthetic Set Size 100,000 (test)

Source: [Cryptographic Proof Performance on Synthetic Set Size 100,000 (test)](<https://www.sota2.com/research/sota/cryptographic-proof-performance-on-synthetic-set-size-100-000-test>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2026-04-13T07:09:30.680Z

Performance evaluation of cryptographic proof generation and verification using a synthetic dataset containing 100,000 samples, focusing on proof size and timing metrics.

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

| Scope | Recorded value |
| --- | --- |
| Task | Cryptographic Proof Performance |
| Dataset (including any stated split) | Synthetic Set Size 100,000 (test) |
| Metric | Proof Size (bytes) |
| Unit | SIZE |
| Direction | Lower is better |
| Results loaded | 3 of 3 |
| Coverage | All results currently returned for this benchmark |

Evaluation settings may differ between results. The original papers and recorded configurations are needed to establish comparability. A shared metric name alone does not establish an identical protocol.

## Metrics

- [Proof Size (bytes)](<https://www.sota2.com/research/sota/cryptographic-proof-performance-on-synthetic-set-size-100-000-test.md?metric=Proof%20Size%20(bytes)>): Lower is better; unit: SIZE.

- [Proof Generation Time (s)](<https://www.sota2.com/research/sota/cryptographic-proof-performance-on-synthetic-set-size-100-000-test.md?metric=Proof%20Generation%20Time%20(s)>): Lower is better; unit: TIME.

- [Proof Verification Time (s)](<https://www.sota2.com/research/sota/cryptographic-proof-performance-on-synthetic-set-size-100-000-test.md?metric=Proof%20Verification%20Time%20(s)>): Lower is better; unit: TIME.

## Recorded results

| Method | Proof Size (bytes) | Result date | Report paper |
| --- | --- | --- | --- |
| OR-Aggregation (Ed25519) | 160 | Not recorded | 68fa753a1e209131cea66948 |
| Verkle Tree | 210 | Not recorded | 68fa753a1e209131cea66948 |
| STARK | 112640 | Not recorded | 68fa753a1e209131cea66948 |

### OR-Aggregation (Ed25519)

Proof Size (bytes): 160. Result ID: 69dc957947f34ce924c315ba.

[Reporting paper](<https://www.sota2.com/research/paper/68fa753a1e209131cea66948.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa753a1e209131cea66948.md>)

Recorded evaluation configuration: {"Set Size":"100,000"}. This record does not assert independent reproduction.

### Verkle Tree

Proof Size (bytes): 210. Result ID: 69dc957947f34ce924c315bb.

[Reporting paper](<https://www.sota2.com/research/paper/68fa753a1e209131cea66948.md>)

Recorded evaluation configuration: {"Set Size":"100,000"}. This record does not assert independent reproduction.

### STARK

Proof Size (bytes): 112640. Result ID: 69dc957947f34ce924c315bc.

[Reporting paper](<https://www.sota2.com/research/paper/68fa753a1e209131cea66948.md>)

Recorded evaluation configuration: {"Set Size":"100,000"}. This record does not assert independent reproduction.

Page 1 of 1. This is an index page, not the full collection.