EspressoSystems / espressoLinks
☆23Updated last year
Alternatives and similar repositories for espresso
Users that are interested in espresso are comparing it to the libraries listed below
Sorting:
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Celestia -> EVM bridge☆137Updated this week
- ☆23Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Smart contracts for the Telepathy protocol☆79Updated last year
- ☆86Updated 2 years ago
- Out-of-circuit zkEVM implementation☆80Updated last year
- zkevm-chain: Deprecated☆89Updated 2 years ago
- AWS Nitro enclave attestation verifier in Solidity, used by:☆25Updated 3 months ago
- Polynomials Identity Language☆68Updated last year
- Reference implementation of the node for the Miden blockchain☆85Updated this week
- ☆56Updated 2 years ago
- Go SDK for building AVSs on Eigenlayer☆75Updated 2 months ago
- AppliedZKP's zkEVM Documentation☆26Updated last year
- Smart contracts for onchain verification of SP1.☆125Updated 2 months ago
- Core components of the Miden protocol☆99Updated this week
- ☆61Updated 4 months ago
- ☆44Updated last year
- Secure and optimized communication layer for rollups using EigenDA.☆22Updated 5 months ago
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- BitVM Groth16 Verifier Toolkit - WIP☆80Updated last year
- Cairo / Starknet files for the Briq protocol and the Briq builder☆65Updated last year
- Generates a stark from a pil☆98Updated last year
- RISC-V interactive fault proof tech☆108Updated last month
- Testing EIP-4844 on EL and CL clients☆57Updated 2 years ago
- ☆34Updated 2 years ago
- zkEVM proof generator reference written in Javascript☆82Updated 7 months ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆104Updated 5 months ago
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆117Updated 5 months ago
- ☆105Updated 4 months ago