EspressoSystems / espressoLinks
☆23Updated 2 years ago
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
- AppliedZKP's zkEVM Documentation☆26Updated last year
- Polynomials Identity Language☆68Updated last year
- zkevm-chain: Deprecated☆89Updated 2 years ago
- ☆23Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Smart contracts for the Telepathy protocol☆80Updated last year
- ☆56Updated 2 years ago
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Out-of-circuit zkEVM implementation☆80Updated last year
- Generates a stark from a pil☆98Updated last year
- ☆34Updated 2 years ago
- ☆44Updated last year
- ☆103Updated 3 years ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆59Updated 3 years ago
- AWS Nitro enclave attestation verifier in Solidity, used by:☆27Updated last week
- Kate commitment based PLONK recursive aggregation circuit☆42Updated 2 years ago
- Reference implementation of the node for the Miden blockchain☆90Updated this week
- ☆61Updated 3 weeks ago
- zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.☆69Updated 3 years ago
- ☆86Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Updated last year
- Smart contracts for onchain verification of SP1.☆131Updated last week
- Bolt: permissionless proposer commitments on Ethereum☆95Updated 9 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆87Updated last month
- Cairo / Starknet files for the Briq protocol and the Briq builder☆65Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆145Updated this week
- Testing EIP-4844 on EL and CL clients☆57Updated 2 years ago
- Specular Monorepo☆37Updated last year