ethereum-optimism / asteriscLinks
RISC-V interactive fault proof tech
☆104Updated 4 months ago
Alternatives and similar repositories for asterisc
Users that are interested in asterisc are comparing it to the libraries listed below
Sorting:
- ☆86Updated last year
- Smart contracts for the Telepathy protocol☆79Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆35Updated 3 years ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- keccak256 hash implementation in Circom☆81Updated 3 years ago
- ☆94Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated 11 months ago
- Smart contracts for on-chain anonymous settlement.☆115Updated last week
- zkEVM proof generator reference written in Javascript☆80Updated 3 months ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 3 years ago
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆126Updated 4 months ago
- A minimal (and wicked fast) blockchain built with the Commonware Library.☆64Updated last month
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆138Updated 3 months ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117Updated last year
- ZK-based engine for self-sovereign SQL queries☆89Updated 3 years ago
- Ethereum stateless tools☆45Updated 4 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- ☆32Updated 2 weeks ago
- Basic Noir private proof of membership☆90Updated 5 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 10 months ago
- Ethereum Testnet Testing Tool☆61Updated last week
- Opinionated 0-alloc SSZ codec for Go☆53Updated 11 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆41Updated last year
- 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