ZK Catalog

ZK Catalog by L2BEAT is a community-driven resource offering detailed insights into the ZK technology utilized by various blockchain projects. It aims to enhance transparency and understanding of ZK tech implementations across the industry.

Polygon zkEVM

Name

Polygon zkEVM

Number of verifiers

1

(0

1

0)

Aggregation

Yes

Trusted setup

Yes

Name

PolygonZkEvmVerifier

Verifier

Verification status

Not verifiedAsk for verification

Name	Proof system	Arithmetization	PCS	Trusted setup	Link
FflonkVerifier	fflonk	Plonk	KZG-fflonk	Powers of Tau 28	Source code
RecursiveVerifier	eSTARK	eAIR	FRI	No	—
MainVerifier	eSTARK	eAIR	FRI	No	—

zkSync Era

Name

zkSync Era

Number of verifiers

1

(0

1

0)

Aggregation

Yes

Trusted setup

Yes

Name

zkSyncEraVerifier

Verifier

Verification status

Not verifiedAsk for verification

Name	Proof system	Arithmetization	PCS	Trusted setup	Link
PlonkVerifier	Plonk SNARK	Plonk	KZG	Aztec ceremony	Source code
RecursiveVerifier	Redshift	Plonk	LPC	No	Source code
MainVerifier	Redshift	Plonk	LPC	No	Source code