Name | Verification status | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SHARPVerifier | Not verified Verification was not performed for this verifier. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
Verifier 0xd51A…D8dFLast used 1 year agoDescription Starknet utilizes STARKs for their system. The protocol makes use of recursive aggregation across multiple projects that share the same onchain verifier. SHARP stands for SHARed Prover. Different programs are represented onchain with different program hashes.
| Description Starknet utilizes STARKs for their system. The protocol makes use of recursive aggregation across multiple projects that share the same onchain verifier. SHARP stands for SHARed Prover. Different programs are represented onchain with different program hashes.
|
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. 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.
Tool name | Version | Tool docs |
---|