leonardoalt / fusion
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
☆117Updated 4 months ago
Related projects: ⓘ
- ☆86Updated 3 months ago
- Scaling Ethereum, but this time in rust.☆90Updated last year
- A template for developing Rust projects, with sensible defaults☆83Updated 3 months ago
- Basic Noir anonymous proof of membership☆88Updated last year
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆142Updated 3 months ago
- A list of awesome Reth-related resources☆87Updated last month
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆89Updated last year
- a prototype ethereum block builder☆84Updated last year
- Collection of ExEx examples built on Reth☆98Updated last week
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆114Updated this week
- A template for noir.☆139Updated 9 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆89Updated last month
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- CLI tool to develop Starknet projects written in Cairo☆56Updated 9 months ago
- PoC of Revm execution in SGX☆78Updated 10 months ago
- SUAVE Application Examples☆54Updated last month
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆71Updated this week
- An opinionated formatting and linting tool for foundry projects☆78Updated 2 months ago
- ☆58Updated last month
- barretenburg in rust (here we go)☆97Updated 8 months ago
- A single-node implementation of a Shadow RPC on top of Reth, utilizing ExEx and custom RPC methods.☆84Updated last month
- Testing echidna vs. forge fuzzing☆75Updated last year
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆63Updated 10 months ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆89Updated last year
- Resources for learning Noir from ZKCamp's Aztec Course☆40Updated last year
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆43Updated 8 months ago
- ☆52Updated last year
- ☆137Updated last month
- Export Circom verifier to Cairo☆48Updated 2 years ago
- Collection of helpful smart contracts to build Suapps☆42Updated this week