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.
Worldcoin SemaphoreNumber of verifiers
2
Aggregation
Shows if recursive proof aggregation is used.
No
Trusted setup
Shows if a trusted setup is used anywhere in the proving stack.
Yes
Name
OpWorldID_Zero
Verifier
Verification status
Unsuccessful
L2BEAT has tried the verification procedure and wasn't able to regenerate the onchain verifier.
(performed by L2BEAT)
Last used
—
| 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 |
|---|---|---|---|---|---|
| Semaphore30 | Groth16 | R1CS+QAP | N/A | PPOT 14 + circuit specific | Link |
Name
OpWorldID_One
Verifier
Verification status
Unsuccessful
L2BEAT has tried the verification procedure and wasn't able to regenerate the onchain verifier.
(performed by L2BEAT)
Last used
—
| 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 |
|---|---|---|---|---|---|
| Semaphore30 | Groth16 | R1CS+QAP | N/A | PPOT 14 + circuit specific | Link |
Worldcoin SMTBNumber of verifiers
5
()
1
4
Aggregation
Shows if recursive proof aggregation is used.
No
Trusted setup
Shows if a trusted setup is used anywhere in the proving stack.
Yes
Name
Size 100 Register
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
Today
| 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 |
|---|---|---|---|---|---|
| RegisterCircuitSize100 | Groth16 | R1CS+QAP | N/A | PPOT 23 + circuit specific | — |
Name
Size 600 Register
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
Today
| 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 |
|---|---|---|---|---|---|
| RegisterCircuitSize600 | Groth16 | R1CS+QAP | N/A | PPOT 26 + circuit specific | — |
Name
Size 1200 Register
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
Today
| 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 |
|---|---|---|---|---|---|
| RegisterCircuitSize1200 | Groth16 | R1CS+QAP | N/A | PPOT 27 + circuit specific | — |
Name
Size 10 Delete
Verifier
Verification status
Successful
L2BEAT has tried the verification procedure and was able to regenerate the onchain verifier.
(performed by L2BEAT)
Last used
5 days ago
| 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 |
|---|---|---|---|---|---|
| DeleteCircuitSize10 | Groth16 | R1CS+QAP | N/A | PPOT 19 + circuit specific | — |
Name
Size 100 Delete
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
Today
| 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 |
|---|---|---|---|---|---|
| DeleteCircuitSize100 | Groth16 | R1CS+QAP | N/A | PPOT 22 + circuit specific | — |
LineaNumber of verifiers
1
Aggregation
Shows if recursive proof aggregation is used.
No
Trusted setup
Shows if a trusted setup is used anywhere in the proving stack.
?
Name
LineaVerifier
Verifier
Verification status
Unsuccessful
L2BEAT has tried the verification procedure and wasn't able to regenerate the onchain verifier.
(performed by L2BEAT)
Last used
Today
| 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 |
|---|---|---|---|---|---|
| Main circuit | ? | ? | ? | ? | — |
LoopringNumber of verifiers
1
Aggregation
Shows if recursive proof aggregation is used.
No
Trusted setup
Shows if a trusted setup is used anywhere in the proving stack.
Yes
Name
LoopringVerifier
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
Today
| 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 |
|---|---|---|---|---|---|
| Main circuit | Groth16 | R1CS+QAP | N/A | Powers of Tau 18 | Link |
Polygon zkEVMNumber of verifiers
1
Aggregation
Shows if recursive proof aggregation is used.
Yes
Trusted setup
Shows if a trusted setup is used anywhere in the proving stack.
Yes
Name
PolygonZkEvmVerifier
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
Today
| 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 wrap | fflonk | Plonk | KZG-fflonk | Powers of Tau 28 | — |
| Aggregation circuit | eSTARK | eAIR | FRI | None | — |
| Main circuit | eSTARK | eAIR | FRI | None | — |
ScrollNumber of verifiers
2
Aggregation
Shows if recursive proof aggregation is used.
Yes
Trusted setup
Shows if a trusted setup is used anywhere in the proving stack.
Yes
Name
ScrollVerifierV0
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
60 days ago
| 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 circuit | Halo2 | Plonk | KZG | Powers of Tau 26 | — |
| Aggregation circuit | Halo2 | Plonk | KZG | Powers of Tau 26 | Link |
| Main circuit | Halo2 | Plonk | KZG | Powers of Tau 26 | Link |
Name
ScrollVerifierV1
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
Today
| 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 |
|---|---|---|---|---|---|
| ZkEvmVerifierV1 | Halo2 | Plonk | KZG | Powers of Tau 26 | — |
| RecursiveVerifier | Halo2 | Plonk | KZG | Powers of Tau 26 | Link |
| MainVerifier | Halo2 | Plonk | KZG | Powers of Tau 26 | Link |
StarknetNumber of verifiers
1
Aggregation
Shows if recursive proof aggregation is used.
Yes
Trusted setup
Shows if a trusted setup is used anywhere in the proving stack.
No
Name
SHARPVerifier
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
Today
| 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 |
ZKsync EraNumber of verifiers
1
Aggregation
Shows if recursive proof aggregation is used.
Yes
Trusted setup
Shows if a trusted setup is used anywhere in the proving stack.
Yes
Name
ZKsyncEraVerifier
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
Today
| 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 wrap | Plonk SNARK | Plonk | KZG | Aztec ceremony | — |
| Aggregation circuit | Redshift | Plonk | LPC | None | Link |
| Main circuit | Redshift | Plonk | LPC | None | Link |