Starknet
View project's detail pageNumber of verifiers
Aggregation
YesTrusted setup
NoList of verifiers
| Name | Verifier | Verification status | Last used | |
|---|---|---|---|---|
| SHARPVerifier | 0x9fb7…1942 | Submit or ask for verification | Today |
Description
Starknet is a ZK-CairoVM rollup on Ethereum.
Starknet utilizes the STARK protocol for their system using an AIR for the CairoVM and onchain FRI verification. The scheme makes use of the STARK field.
The protocol makes use of recursive proof aggregation among many projects utilizing the CairoVM (i.e. Starknet forks and StarkEx systems) using SHARP. Some documentation on the aggregation scheme can be found here and the Cairo verifier implemented in Cairo can be found here. The system doesn’t implement state diffs compression yet.
The final proof is not wrapped in a different proof system. The scheme is fully transparent and doesn’t require a trusted setup.
The source code of the Starknet OS can be found here. The source code of the bootloader can be found here.