ethereum-optimism / asteriscLinks
RISC-V interactive fault proof tech
☆107Updated 6 months ago
Alternatives and similar repositories for asterisc
Users that are interested in asterisc are comparing it to the libraries listed below
Sorting:
- Smart contracts for the Telepathy protocol☆79Updated last year
- ☆86Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Smart contracts for on-chain anonymous settlement.☆122Updated 2 months ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Bolt: permissionless proposer commitments on Ethereum☆95Updated 6 months ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆35Updated 3 years ago
- spam EVM execution nodes over JSON-RPC & run benchmarks☆104Updated this week
- Email verification circuit in halo2☆68Updated last year
- A smart contract implementation of the Ethereum light client sync protocol☆66Updated last week
- Consensus nodes performing in unison!☆32Updated last year
- Concrete is a framework for building application-specific rollups on the OP Stack☆48Updated last year
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- ☆89Updated 3 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 3 years ago
- ZK-based engine for self-sovereign SQL queries☆90Updated 3 years ago
- ETHPrague☆31Updated 2 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated last year
- ☆46Updated 4 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 7 months ago
- Opinionated 0-alloc SSZ codec for Go☆53Updated last year
- CLI tool to develop Starknet projects written in Cairo☆55Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- ☆103Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Updated last year
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆63Updated last week
- Testing EIP-4844 on EL and CL clients☆58Updated 2 years ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆126Updated this week