![](/icons/worldcoin.png)
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
1 year ago
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
1 year ago
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
1 year ago
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
1 year ago
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
1 year ago
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
1 year 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
1 year ago
Name | Proof system | Arithmetization | PCS | Trusted setup | Circuit source |
---|---|---|---|---|---|
DeleteCircuitSize100 | Groth16 | R1CS+QAP | N/A | PPOT 22 + circuit specific | — |
![](/icons/loopring.png)
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
1 year ago
Name | Proof system | Arithmetization | PCS | Trusted setup | Circuit source |
---|---|---|---|---|---|
Main circuit | Groth16 | R1CS+QAP | N/A | Powers of Tau 18 | Link |
![](/icons/polygonzkevm.png)
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
1 year ago
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 | — | — |
![](/icons/scroll.png)
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
1 year ago
Name
ScrollVerifierV1
Verifier
Verification status
Not verified
Verification was not performed for this verifier.
Last used
1 year ago
![](/icons/starknet.png)
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
1 year ago
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 |
![](/icons/zksync-era.png)
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
1 year ago