WorldcoinNumber of verifiers
7
(0
5
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.
Last used
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| 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.
Last used
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| Semaphore30 | Groth16 | R1CS+QAP | N/A | PPOT 14 + circuit specific | Link |
Name
Size 100 Register
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| 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
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| 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
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| RegisterCircuitSize1200 | Groth16 | R1CS+QAP | N/A | PPOT 27 + circuit specific | — |
Name
Size 10 Delete
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| 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
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| DeleteCircuitSize100 | Groth16 | R1CS+QAP | N/A | PPOT 22 + circuit specific | — |
LoopringNumber of verifiers
1
(0
1
0)
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
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| Main circuit | Groth16 | R1CS+QAP | N/A | Powers of Tau 18 | Link |
Polygon zkEVMNumber of verifiers
1
(0
1
0)
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
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| Final wrap | fflonk | Plonk | KZG-fflonk | Powers of Tau 28 | — |
| Aggregation circuit | eSTARK | eAIR | FRI | — | — |
| Main circuit | eSTARK | eAIR | FRI | — | — |
ScrollNumber of verifiers
2
(0
2
0)
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
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| 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
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| 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
(0
1
0)
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
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| Final circuit | STARK | AIR | FRI | — | — |
| Aggregation circuit | STARK | AIR | FRI | — | — |
| Main circuit | STARK | AIR | FRI | — | Link |
zkSync EraNumber of verifiers
1
(0
1
0)
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
1 year ago
| Name | Arithmetization Shows how the computation is represented mathematically. | PCS Shows what Polynomial Commitment Scheme is used. | Proof system | Trusted setup Shows if the proof system requires a trusted setup. | Circuit source |
|---|---|---|---|---|---|
| Final wrap | Plonk SNARK | Plonk | KZG | Aztec ceremony | — |
| Aggregation circuit | Redshift | Plonk | LPC | — | Link |
| Main circuit | Redshift | Plonk | LPC | — | Link |