lambdaclass / ethrexLinks
Minimalist, stable, modular and fast implementation of the Ethereum protocol in Rust
☆448Updated this week
Alternatives and similar repositories for ethrex
Users that are interested in ethrex are comparing it to the libraries listed below
Sorting:
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆421Updated 3 weeks ago
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆673Updated this week
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆253Updated 3 weeks ago
- ☆410Updated this week
- A curated list of awesome things related to learning and programming in Noir.☆470Updated this week
- Quick Merkle Database☆249Updated 2 months ago
- A Rust implementation of Starknet execution logic☆172Updated 11 months ago
- ☆267Updated 9 months ago
- Blazingly fast Parallel EVM☆294Updated 2 months ago
- Complete Starknet library in Rust™☆302Updated last week
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆142Updated 8 months ago
- ☆342Updated 2 months ago
- 🧉 Mate Queue Organizer GUI☆11Updated 3 months ago
- Commonware Library Primitives and Examples☆246Updated this week
- EigenLayer Rust Developer Tooling☆92Updated this week
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆549Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆236Updated this week
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆460Updated this week
- Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀☆184Updated 2 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆167Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆171Updated last month
- A study group learning about Ethereum and building protocol wiki☆218Updated this week
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆299Updated 2 months ago
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆212Updated this week
- A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM☆293Updated 2 years ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆57Updated last year
- STARK 101 Workshop in Rust 🐺🦀☆137Updated 2 years ago
- A curated list of zkVM, zero-knowledge virtual machine☆217Updated last month
- The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.☆261Updated this week
- A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.☆599Updated 8 months ago