Worldcoin
Number 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
—
Name | Proof system | Arithmetization | PCS | 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
—
Name | Proof system | Arithmetization | PCS | 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
Today
Name | Proof system | Arithmetization | PCS | 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
Today
Name | Proof system | Arithmetization | PCS | 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
Today
Name | Proof system | Arithmetization | PCS | 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
21 days ago
Name | Proof system | Arithmetization | PCS | 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
Today
Name | Proof system | Arithmetization | PCS | Trusted setup | Circuit source |
---|---|---|---|---|---|
DeleteCircuitSize100 | Groth16 | R1CS+QAP | N/A | PPOT 22 + circuit specific | — |
Loopring
Number 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
Today
Name | Proof system | Arithmetization | PCS | Trusted setup | Circuit source |
---|---|---|---|---|---|
Main circuit | Groth16 | R1CS+QAP | N/A | Powers of Tau 18 | Link |
Polygon zkEVM
Number 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
Today
Name | Proof system | Arithmetization | PCS | Trusted setup | Circuit source |
---|---|---|---|---|---|
Final wrap | fflonk | Plonk | KZG-fflonk | Powers of Tau 28 | — |
Aggregation circuit | eSTARK | eAIR | FRI | — | — |
Main circuit | eSTARK | eAIR | FRI | — | — |
Scroll
Number 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
29 days ago
Name
ScrollVerifierV1
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
Today
Starknet
Number 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
Today
Name | Proof system | Arithmetization | PCS | Trusted setup | Circuit source |
---|---|---|---|---|---|
Final circuit | STARK | AIR | FRI | — | — |
Aggregation circuit | STARK | AIR | FRI | — | — |
Main circuit | STARK | AIR | FRI | — | Link |
zkSync Era
Number 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
Today