Starknet

View project's detail page

Number of verifiers

Aggregation
Shows if recursive proof aggregation is used.

Yes

Trusted setup
Shows if a trusted setup is used anywhere in the proving stack.

List of verifiers

Name

Verification status

SHARPVerifier

Not verified

Submit or ask for verification

Verifier

0xd51A…D8dF

Last used

Today

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.

Name	Proof system	Arithmetization Shows how the computation is represented mathematically.	PCS Shows what Polynomial Commitment Scheme is used.	Trusted setup Shows if the proof system requires a trusted setup.	Source code
Final universal bootloader	STARK	AIR	FRI	None	Link
Recursive Cairo verifier	STARK	AIR	FRI	None	Link
Main program	STARK	AIR	FRI	None	Link

Ask for verification

Description

Name	Proof system	Arithmetization Shows how the computation is represented mathematically.	PCS Shows what Polynomial Commitment Scheme is used.	Trusted setup Shows if the proof system requires a trusted setup.	Source code
Final universal bootloader	STARK	AIR	FRI	None	Link
Recursive Cairo verifier	STARK	AIR	FRI	None	Link
Main program	STARK	AIR	FRI	None	Link

Description

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.