Search
Search for projects by name
LoopringLoopring
About
A Groth16-based proof system designed by Loopring for proving custom predefined state transitions of their L2.
Tech Stack
About
A Groth16-based proof system designed by Loopring for proving custom predefined state transitions of their L2.
Proof system
Loopring prover is a monolithic Groth16 SNARK proving system over BN254 curve that generates validity proofs for the state transition of Loopring L2. This system has custom R1CS circuits designed to prove the specific state transition function of the L2, including deposits and withdrawals, transfers, spot trades and curve AMM swaps, NFT operations. Loopring uses Ethsnarks prover library.
Loopring Stack
Detailed description
This entry incorporates two different trusted setups with very similar properties. Namely, these are circuit-specific trusted setups for Groth16 circuits over BN254 curve of DeGate and Loopring app chains that are built with Loopring zk tech stack. DeGate trusted setup includes 5 phase 2 (i.e. circuit-specific) contributions, Loopring trusted setup includes 16 phase 2 contributions. Circuit-specific phase builds on top of the Perpetual Powers of Tau ceremony.
- Repo for Loopring trusted setup: https://github.com/Loopring/trusted_setup/tree/master, repo for DeGate trusted setup: https://github.com/degatedev/trusted_setup/tree/master
- Post for DeGate ceremony: https://medium.com/degate/degate-completes-zk-trusted-setup-ceremony-4752301e379f
List of different onchain verifiers for this proving system. Unique ID distinguishes differents deployments of the same verifier from different verifiers (e.g. different versions).