succinctlabs / eth-proof-of-consensus
☆102Updated 2 years ago
Alternatives and similar repositories for eth-proof-of-consensus:
Users that are interested in eth-proof-of-consensus are comparing it to the libraries listed below
- The simplest way to spin your own dev / prod rollup, fully configurable.☆98Updated 6 months ago
- Walkthroughs to leverage Odyssey's features from the future.☆100Updated 4 months ago
- ☆65Updated 9 months ago
- A repo of example Noir projects.☆51Updated last month
- PoC of Revm execution in SGX☆80Updated last year
- Cross-chain interop research, funded by Optimism Governance.☆59Updated 2 weeks ago
- ☆79Updated this week
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- Poseidon hash function implemented in Solidity☆50Updated 8 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆109Updated last month
- A curated list of repos related to Circom☆99Updated 2 years ago
- ☆132Updated 3 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- Smart contracts for the Telepathy protocol☆77Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- Basic Noir private proof of membership☆89Updated last month
- Amarna is a static-analyzer and linter for the Cairo programming language.☆149Updated 2 months ago
- Scaling Ethereum, but this time in rust.☆90Updated 2 years ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆105Updated last week
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- barretenburg in rust (here we go)☆98Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆126Updated last month
- ☆54Updated last year
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆150Updated this week
- ☆42Updated last year
- My personal notebook for various zk-related topics☆48Updated 4 months ago
- group signatures implemented with zkSNARKs☆86Updated 3 years ago