Search
Search for projects by name
ZKsync LiteMatter Labs
About
Plonk proving system designed by Matter Labs to prove custom predefined state transitions of ZKsync Lite.
Tech Stack
About
Plonk proving system designed by Matter Labs to prove custom predefined state transitions of ZKsync Lite.
Proof system
ZKSync Lite prover is a monolithic SNARK proving system that generates validity proofs for the state transition of ZKSync Lite L2. It is a Plonk system over BN254 curve with custom circuits designed to prove the specific state transition function of the L2, including deposits and withdrawals, transfers, swaps, NFT operations. The proof system itself is implemented in the bellman library, while many base cryptographic primitives are implemented in franklin library.
Aztec Ignition
Detailed description
Aztec Ignition is a trusted setup ceremony for KZG commitments over BN254 curve that was run by Aztec for KZG commitment over BN254 curve in 2019. It included 176 participants and was publicly open for participation.
- Github repo to download and verify the ceremony artifacts: https://github.com/AztecProtocol/ignition-verification.
- Github repo with instructions for ceremony participants: https://github.com/AztecProtocol/Setup.
- Ceremony announcement with a call to participate: https://aztec.network/blog/announcing-ignition.
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).
Verification
Used in
Verification
Used in
Verification
Used in