# Batch Verification on Synthetic set (300,000,000 elements)

Source: [Batch Verification on Synthetic set (300,000,000 elements)](<https://www.sota2.com/research/sota/batch-verification-on-synthetic-set-300-000-000-elements>)

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

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

Evaluation of models on a large synthetic dataset (300 million elements) for the Batch Verification task, focusing on proof size and verification latency.

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 | Batch Verification |
| Dataset (including any stated split) | Synthetic set (300,000,000 elements) |
| Metric | Proof Size |
| Unit | SIZE |
| Direction | Lower is better |
| Results loaded | 12 of 12 |
| 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](<https://www.sota2.com/research/sota/batch-verification-on-synthetic-set-300-000-000-elements.md?metric=Proof%20Size>): Lower is better; unit: SIZE.

- [Verification Time (s)](<https://www.sota2.com/research/sota/batch-verification-on-synthetic-set-300-000-000-elements.md?metric=Verification%20Time%20(s)>): Lower is better; unit: TIME.

## Recorded results

| Method | Proof Size | Result date | Report paper |
| --- | --- | --- | --- |
| Patricia-Merkle | 2.92 | Not recorded | 68fa753a1e209131cea66948 |
| Patricia-Merkle | 2.92 | Not recorded | 68fa753a1e209131cea66948 |
| Patricia-Merkle | 29.2 | Not recorded | 68fa753a1e209131cea66948 |
| Patricia-Merkle | 29.2 | Not recorded | 68fa753a1e209131cea66948 |
| OR-Aggregation | 160 | Not recorded | 68fa753a1e209131cea66948 |
| OR-Aggregation | 160 | Not recorded | 68fa753a1e209131cea66948 |
| OR-Aggregation | 160 | Not recorded | 68fa753a1e209131cea66948 |
| OR-Aggregation | 160 | Not recorded | 68fa753a1e209131cea66948 |
| OR-Aggregation | 160 | Not recorded | 68fa753a1e209131cea66948 |
| OR-Aggregation | 160 | Not recorded | 68fa753a1e209131cea66948 |
| Patricia-Merkle | 292 | Not recorded | 68fa753a1e209131cea66948 |
| Patricia-Merkle | 292 | Not recorded | 68fa753a1e209131cea66948 |

### Patricia-Merkle

Proof Size: 2.92. Result ID: 69dc957947f34ce924c315e2.

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

Recorded evaluation configuration: {"Number of Elements":"1"}. This record does not assert independent reproduction.

### Patricia-Merkle

Proof Size: 2.92. Result ID: 69dc957947f34ce924c315e8.

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

Recorded evaluation configuration: {"Number of Elements":"1,000"}. This record does not assert independent reproduction.

### Patricia-Merkle

Proof Size: 29.2. Result ID: 69dc957947f34ce924c315e4.

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

Recorded evaluation configuration: {"Number of Elements":"10"}. This record does not assert independent reproduction.

### Patricia-Merkle

Proof Size: 29.2. Result ID: 69dc957947f34ce924c315ea.

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

Recorded evaluation configuration: {"Number of Elements":"10,000"}. This record does not assert independent reproduction.

### OR-Aggregation

Proof Size: 160. Result ID: 69dc957947f34ce924c315e3.

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

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

Recorded evaluation configuration: {"Number of Elements":"1"}. This record does not assert independent reproduction.

### OR-Aggregation

Proof Size: 160. Result ID: 69dc957947f34ce924c315e5.

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

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

Recorded evaluation configuration: {"Number of Elements":"10"}. This record does not assert independent reproduction.

### OR-Aggregation

Proof Size: 160. Result ID: 69dc957947f34ce924c315e7.

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

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

Recorded evaluation configuration: {"Number of Elements":"100"}. This record does not assert independent reproduction.

### OR-Aggregation

Proof Size: 160. Result ID: 69dc957947f34ce924c315e9.

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

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

Recorded evaluation configuration: {"Number of Elements":"1,000"}. This record does not assert independent reproduction.

### OR-Aggregation

Proof Size: 160. Result ID: 69dc957947f34ce924c315eb.

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

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

Recorded evaluation configuration: {"Number of Elements":"10,000"}. This record does not assert independent reproduction.

### OR-Aggregation

Proof Size: 160. Result ID: 69dc957947f34ce924c315ed.

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

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

Recorded evaluation configuration: {"Number of Elements":"100,000"}. This record does not assert independent reproduction.

### Patricia-Merkle

Proof Size: 292. Result ID: 69dc957947f34ce924c315e6.

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

Recorded evaluation configuration: {"Number of Elements":"100"}. This record does not assert independent reproduction.

### Patricia-Merkle

Proof Size: 292. Result ID: 69dc957947f34ce924c315ec.

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

Recorded evaluation configuration: {"Number of Elements":"100,000"}. This record does not assert independent reproduction.

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