How to read this report:
- Click on zkVM names to view detailed individual reports
- Security shows the best bits of security across the reported regimes
| zkVM | Version | Security | Expected Proof Size | Worst-Case Proof Size | Proof system | Field | Circuits |
|---|---|---|---|---|---|---|---|
| Airbender | — | 67 bits (JBR) | 1836 KiB | 1951 KiB | DEEP-ALI + FRI | M31⁴ | 1 |
| OpenVM | 1.5.0 | 100 bits (UDR) | 7687 KiB | 8231 KiB | DEEP-ALI + FRI | BabyBear⁴ | 3 |
| OpenVM2 | 2.0.0 | 100 bits (mixed) | 270 KiB | 270 KiB | SWIRL + WHIR | BabyBear⁴ | 6 |
| Pico | — | 53 bits (JBR) | 232 KiB | 281 KiB | DEEP-ALI + FRI | KoalaBear⁴ | 5 |
| SP1 | 6.1.0 | 100 bits (UDR) | 529 KiB | 887 KiB | Jagged + FRI | KoalaBear⁴ | 3 |
| Venus | 0.1.6 | 128 bits (JBR) | 269 KiB | 313 KiB | DEEP-ALI + FRI | Goldilocks³ | 44 |
| ZisK | 0.16.1 | 128 bits (JBR) | 269 KiB | 313 KiB | DEEP-ALI + FRI | Goldilocks³ | 44 |
| zkDTVM | 0.8.0 | 128 bits (mixed) | 200 KiB | 200 KiB | Mixed(Jagged + FRI, SWIRL + WHIR) | KoalaBear⁵ | 4 |
- Security: Best bits of security across the reported regimes
- Proof Size: Final proof size in KiB (1 KiB = 1024 bytes)