lambdaclass / ethrexLinks
Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
☆539Updated last week
Alternatives and similar repositories for ethrex
Users that are interested in ethrex are comparing it to the libraries listed below
Sorting:
- A curated list of awesome things related to learning and programming in Noir.☆508Updated this week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆428Updated this week
- ☆349Updated last month
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆259Updated 2 weeks ago
- Blazing fast toolkit for developing Starknet contracts.☆368Updated this week
- Complete Starknet library in Rust™☆309Updated 3 weeks ago
- Blazingly fast Parallel EVM☆302Updated 5 months ago
- The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.☆273Updated 2 weeks ago
- An interactive tutorial to get you up and running with Cairo v1 and Starknet☆471Updated last week
- ☆266Updated last year
- A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM☆292Updated 2 years ago
- Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀☆186Updated last month
- A trustless P2P fiat onramp powered by ZK proofs.☆305Updated 3 months ago
- A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.☆310Updated 2 months ago
- A collection of examples of Cairo smart contracts for Starknet.☆150Updated 2 months ago
- An interactive tutorial to get you up and running with Starknet☆307Updated 2 years ago
- ☆434Updated this week
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆694Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆239Updated last week
- A curated list of zkVM, zero-knowledge virtual machine☆254Updated last month
- A study group learning about Ethereum and building protocol wiki☆225Updated last week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170Updated 4 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆316Updated 5 months ago
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆554Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack☆187Updated this week
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆253Updated this week
- ☆177Updated 3 months ago
- Synthetics platform for Starknet, inspired by GMX v2 design.☆112Updated last year
- A local testnet for Starknet☆211Updated last year
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆190Updated last week