PCO
Pico
v1.0Productionby Brevis
Brevis' modular zkVM with multi-STARK backends (KoalaBear, BabyBear). Fastest CPU prover.
Architecture
ISA
RISC-V
Languages
Rust, C, C++
Scheme
STARK
Detail
Multi-STARK (Plonky3)
Recursion
Yes
Performance
Peak Proving Speed
700 MHz
Cost / Bn cycles
$0.015
GPU Acceleration
No
Security
Audited
Yes
Audited By
Sherlock
Maturity
Production
Available Providers
1BRV
Brevis
1st-partyMainnet
ZK coprocessor service using Pico as backend. Handles proving internally for coprocessor queries.
internal
Integrated into Brevis coprocessor pricing. Not standalone proving API.