ethereum-optimism / asterisc
RISC-V interactive fault proof tech
☆102Updated 3 weeks ago
Alternatives and similar repositories for asterisc:
Users that are interested in asterisc are comparing it to the libraries listed below
- Smart contracts for the Telepathy protocol☆76Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆103Updated last week
- Email verification circuit in halo2☆68Updated 9 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆107Updated 3 weeks ago
- Smart contracts for onchain verification of SP1.☆87Updated last month
- ☆76Updated this week
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- ☆42Updated 11 months ago
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆98Updated 2 weeks ago
- keccak256 hash implementation in Circom☆79Updated 2 years ago
- ☆94Updated 7 months ago
- On-chain Ethereum light client built with SP1☆44Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆61Updated this week
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 6 months ago
- Solidity contracts for a next-gen rollup system.☆64Updated 4 months ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 5 months ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆52Updated 2 weeks ago
- zkEVM proof generator reference written in Javascript☆81Updated 2 months ago
- Bolt: permissionless proposer commitments on Ethereum☆91Updated last week
- Crypto Gadgets for Plonky2☆72Updated 11 months ago
- ☆65Updated 8 months ago
- Rust implementation of the Agglayer.☆98Updated this week
- ☆56Updated 5 months ago
- Arkworks circuits for verifiable time-lock encryption☆89Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year