vbuterin / zorch
Tools for STARK proving using cupy
☆168Updated 5 months ago
Alternatives and similar repositories for zorch:
Users that are interested in zorch are comparing it to the libraries listed below
- Template for integrating RISC Zero and Ethereum using Foundry☆117Updated this week
- A trustless P2P fiat onramp powered by ZK proofs.☆280Updated 3 weeks ago
- Stylus VM and Fraud Prover☆120Updated 8 months ago
- An EVM hash oracle aggregator☆145Updated 3 weeks ago
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆148Updated last week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆119Updated this week
- Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)☆133Updated 5 months ago
- The Ethereum Rollup Improvement Proposal repository☆114Updated 2 weeks ago
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆117Updated this week
- A monorepo of reusable libraries for zero-knowledge technologies.☆301Updated this week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆204Updated last year
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆129Updated last year
- ☆96Updated last year
- Big integer arithmetic and secp256k1 ECC operations in circom☆315Updated last year
- Experimental Next-gen Account☆177Updated this week
- A curated list of awesome projects and resources related to AVS development and EigenLayer.☆153Updated last month
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆211Updated last week
- Reth AlphaNet is a testnet OP Stack-compatible rollup aimed at enabling experimentation of bleeding edge Ethereum Research.☆174Updated 2 months ago
- A smart contract wallet controlled using email☆157Updated last week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆120Updated this week
- ☆178Updated last week
- Making client-side proving on mobile simple.☆146Updated this week
- Hello World AVS☆79Updated last week
- A plugin for integrating Starknet tools into Hardhat projects☆197Updated 4 months ago
- Build your zkp app with typescript, hardhat, circom, and snarkjs!☆225Updated last year
- MESC is a specification for how crypto tools configure their RPC endpoints☆173Updated 4 months ago
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆151Updated this week
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆177Updated last year
- The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees☆186Updated last month
- A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.☆114Updated 8 months ago