vbuterin / zorch
Tools for STARK proving using cupy
☆168Updated 6 months ago
Alternatives and similar repositories for zorch:
Users that are interested in zorch are comparing it to the libraries listed below
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆124Updated this week
- Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)☆133Updated 5 months ago
- The Ethereum Rollup Improvement Proposal repository☆117Updated this week
- Template for integrating RISC Zero and Ethereum using Foundry☆119Updated this week
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆149Updated this week
- Big integer arithmetic and secp256k1 ECC operations in circom☆315Updated last year
- A smart contract wallet controlled using email☆163Updated 3 weeks ago
- A trustless P2P fiat onramp powered by ZK proofs.☆288Updated last month
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆155Updated this week
- P256 signature verification solidity contract☆189Updated 6 months ago
- ☆96Updated last year
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆117Updated this week
- A Python framework and collection of test cases to generate test vectors for Ethereum execution clients☆133Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆128Updated this week
- A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.☆116Updated 8 months ago
- A monorepo of reusable libraries for zero-knowledge technologies.☆303Updated this week
- ☆195Updated last year
- An EVM hash oracle aggregator☆145Updated last month
- Stylus VM and Fraud Prover☆118Updated 9 months ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆406Updated last week
- Zuzalu Passport☆330Updated last week
- The simplest way to spin your own dev / prod rollup, fully configurable.☆96Updated 3 months ago
- ☆210Updated 2 weeks ago
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆176Updated last year
- Middleware to compile Circom circuits to Nova prover☆236Updated 11 months ago
- DSL for Halo2 circuits☆188Updated 3 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆165Updated this week
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆129Updated last year
- zkevm-chain: Deprecated☆87Updated last year
- High performance Ethereum consensus client☆187Updated this week