ExtropyIO / AwesomeMaths
List of Maths Resources for ZKPs
☆16Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for AwesomeMaths
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆81Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆72Updated last month
- ☆47Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆93Updated 3 months ago
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- Zero-Knowledge University☆31Updated 3 months ago
- ☆60Updated 11 months ago
- ☆50Updated last year
- Suave/TEE PoCs of MEV Resistant AMMs☆40Updated 6 months ago
- Overview of Blockspace its demand, pricing, and trading☆49Updated last year
- A curated list of ZK and Maths resources☆46Updated 11 months ago
- Scaling Ethereum, but this time in rust.☆89Updated last year
- Contracts for my flashloan workshop/lecture at UPenn☆76Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated this week
- A curated list of resources on zkECDSA☆35Updated last year
- ☄️ A toy implementation of the EVM from scratch using Rust.☆33Updated 9 months ago
- Resources for learning Noir from ZKCamp's Aztec Course☆43Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- Email verification circuit in halo2☆63Updated 4 months ago
- PoC of Revm execution in SGX☆81Updated last year
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- ☆88Updated last year
- Basic Noir anonymous proof of membership☆88Updated last year
- 🔒💬 A protocol for credible commitments.☆73Updated 9 months ago
- Sidecar to Enable Rollup Extensions☆55Updated this week
- 🩸 A minimal Solidity library for MEV taxes☆55Updated 2 months ago
- Proof-of-concept code for backrunning private transactions using MPC.☆63Updated last year