ethereum-optimism / asterisc
RISC-V interactive fraud-proof tech
☆98Updated last week
Related projects: ⓘ
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆114Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆77Updated 5 months ago
- Smart contracts for the Telepathy protocol☆73Updated 5 months ago
- ☆44Updated this week
- Email verification circuit in halo2☆62Updated 2 months ago
- ☆83Updated 11 months ago
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- zkEVM proof generator reference written in Javascript☆77Updated 2 weeks ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆61Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated last month
- Kate commitment based PLONK recursive aggregation circuit☆40Updated 9 months ago
- Crypto Gadgets for Plonky2☆69Updated 4 months ago
- ☆93Updated last month
- Monorepo for Summa Proof of Solvency Protocol☆94Updated 3 weeks ago
- A FRI verifier circuit for the Halo2 proof system☆72Updated last year
- PoC of Revm execution in SGX☆78Updated 10 months ago
- ☆58Updated last month
- ☆113Updated 2 weeks ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆65Updated this week
- Consensus nodes performing in unison!☆31Updated 2 months ago
- Template for integrating RISC Zero and Ethereum using Foundry and Bonsai☆90Updated last week
- ☆85Updated last month
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆89Updated last month
- ☆79Updated this week
- Polynomials Identity Language☆67Updated 6 months ago
- Bolt: permissionless proposer commitments on Ethereum☆47Updated this week
- 🦄 UniswapV3 fork that uses a zkVM to compute swaps off-chain.☆80Updated 10 months ago
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆133Updated last month
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 7 months ago
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆61Updated last year