vbuterin / zorch
Tools for STARK proving using cupy
☆163Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for zorch
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆143Updated this week
- Stylus VM and Fraud Prover☆113Updated 5 months ago
- The Ethereum Rollup Improvement Proposal repository☆100Updated last month
- Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)☆124Updated 2 months ago
- A trustless P2P fiat onramp powered by ZK proofs.☆271Updated last month
- ☆169Updated this week
- P256 signature verification solidity contract☆182Updated 3 months ago
- An EVM hash oracle aggregator☆137Updated last week
- OP-Stack improvement with ERC-4337 compatible account abstracted with Apple Enclave - Touch ID | ETHGlobal Scaling 2023 Hackathon☆151Updated last year
- A smart contract wallet controlled using email☆138Updated 3 weeks ago
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆115Updated this week
- Simple monorepo you can use as a template to start developing your dApp with Semaphore.☆84Updated 2 weeks ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆92Updated 2 weeks ago
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆173Updated last year
- A study group learning about Ethereum and building protocol wiki☆148Updated this week
- Template for integrating RISC Zero and Ethereum using Foundry☆100Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆89Updated this week
- ☆93Updated 11 months ago
- Hello World AVS☆66Updated this week
- Zero-knowledge arithmetic circuit implementation for on-chain Battleship Game☆75Updated 4 months ago
- A curated list of awesome projects and resources related to AVS development and EigenLayer.☆134Updated 2 months ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆372Updated this week
- ☆81Updated last year
- Local Multi-L2 Development Environment☆97Updated this week
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆133Updated this week
- Pragma is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Pragma makes data decentralized, transparent and composabl…☆82Updated last week
- ☆91Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆85Updated 2 weeks ago
- A monorepo of reusable libraries for zero-knowledge technologies.☆290Updated 2 weeks ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆129Updated 3 weeks ago
- Smart contracts used by Candide☆73Updated 4 months ago