Loopring

View project's detail page

Number of verifiers

Aggregation
Shows if recursive proof aggregation is used.

Trusted setup
Shows if a trusted setup is used anywhere in the proving stack.

Yes

List of verifiers

Name

Verification status

LoopringVerifier

Not verified

Submit or ask for verification

Verifier

0x6150…01ef

Last used

Today

Description

Loopring utilizes Groth16 for their proving system.

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

Ask for verification

Description

Loopring utilizes Groth16 for their proving system.

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

Description

Loopring utilizes groth16 for their proving system.

Since groth16 requires a circuit-specific trusted setup, Loopring run their own ceremony. The first phase is run using powersOfTau18_hez_final as the CRS. Some of the instructions to regenerate the verification keys can be found here.

The protocol doesn’t make use of proof aggregation techniques.

The source code of the circuits can be found here.

List of required tools

Tool name	Version	Tool docs
Custom tool	v3.6.2	More informationMore info