vbuterin / zorch
Tools for STARK proving using cupy
☆168Updated 7 months ago
Alternatives and similar repositories for zorch:
Users that are interested in zorch are comparing it to the libraries listed below
- Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)☆135Updated 7 months ago
- A trustless P2P fiat onramp powered by ZK proofs.☆293Updated last month
- Big integer arithmetic and secp256k1 ECC operations in circom☆322Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆122Updated this week
- ☆131Updated 2 years ago
- A smart contract wallet controlled using email☆165Updated last week
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆177Updated last year
- SNARKifying Ethereum☆72Updated this week
- The Ethereum Rollup Improvement Proposal repository☆130Updated last week
- A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.☆118Updated 10 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆147Updated this week
- Middleware to compile Circom circuits to Nova prover☆237Updated last year
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆207Updated last year
- DSL for Halo2 circuits☆187Updated 4 months ago
- ☆195Updated last year
- ☆182Updated 2 weeks ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆137Updated 3 months ago
- Zero-knowledge arithmetic circuit implementation for on-chain Battleship Game☆74Updated 8 months ago
- An EVM hash oracle aggregator☆147Updated 3 weeks ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆151Updated this week
- Specs for Ethereum's KZG Powers of Tau Ceremony☆109Updated 2 years ago
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆178Updated this week
- P256 signature verification solidity contract☆191Updated 7 months ago
- A monorepo of reusable libraries for zero-knowledge technologies.☆313Updated this week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆413Updated this week
- Making client-side proving on mobile simple.☆158Updated this week
- A curated list of zkVM, zero-knowledge virtual machine☆176Updated 2 weeks ago
- educational python plonk implementation, based on vitalik's py_plonk☆209Updated 8 months ago
- An onchain game which explores different ZK game mechanics and information asymmetry☆93Updated last year
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b …☆150Updated last week