Search
Search for projects by name
EspressoEspresso Systems
About
Espresso Light Client prover generates a Plonk proof of the HotShot consenus of Espresso network.
Trusted Setups
Used in
Verifiers
Used in | Verifiers 1 |
Tech Stack
About
Espresso Light Client prover generates a Plonk proof of the HotShot consenus of Espresso network.
Description
Espresso proof system implements a light client of HotShot consensus of Espresso network, i.e. it verifies that a sufficient number of Espresso nodes have correctly signed consensus message. It is implemented by a Jellyfish Plonk proof system on a custom circuit that checks all necessary conditions. Jellyfish is a Rust implementation of Plonk system without significant modifications. This code generates a Solidity verifier to check zk proofs within EVM.
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