vbuterin / zorchLinks
Tools for STARK proving using cupy
☆168Updated 11 months ago
Alternatives and similar repositories for zorch
Users that are interested in zorch are comparing it to the libraries listed below
Sorting:
- Template for integrating RISC Zero and Ethereum using Foundry☆138Updated last month
- A smart contract wallet controlled using email☆167Updated 3 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆183Updated this week
- A trustless P2P fiat onramp powered by ZK proofs.☆303Updated last month
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆93Updated 3 months ago
- Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)☆141Updated 10 months ago
- ☆102Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack☆181Updated this week
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆114Updated 5 months ago
- SNARKifying Ethereum☆106Updated this week
- ☆95Updated last year
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- Making client-side proving on mobile simple.☆179Updated this week
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆213Updated this week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆209Updated last year
- ERC-7683 - Intents Framework Monorepo☆139Updated 3 months ago
- DSL for Halo2 circuits☆187Updated 8 months ago
- The Ethereum Rollup Improvement Proposal repository☆138Updated last month
- A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.☆123Updated last year
- Dark Forest zkSNARK circuits☆119Updated last year
- An onchain game which explores different ZK game mechanics and information asymmetry☆94Updated last year
- A performant and modular zkVM framework built for customization and extensibility.☆253Updated this week
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆151Updated last week
- ☆91Updated last year
- ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK☆174Updated 4 months ago
- Cross-chain interop research, funded by Optimism Governance.☆60Updated 2 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆132Updated last week
- EigenLayer Rust Developer Tooling☆90Updated 2 weeks ago
- Introduction to various ZK languages☆78Updated last week
- On-chain dark pool. MPC for anonymous crosses at midpoint prices.☆226Updated this week