lambdaclass / starknet_in_rust
A Rust implementation of Starknet execution logic
β171Updated last month
Related projects: β
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.β115Updated this week
- STARK 101 Workshop in Rust πΊπ¦β134Updated last year
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β170Updated 3 weeks ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wrβ¦β56Updated 4 months ago
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β163Updated 3 weeks ago
- Complete Starknet library in Rustβ’β277Updated last week
- β‘ Cairo VM in Zig β‘β79Updated last month
- Madara is a powerful hybrid Starknet client written in Rust.β71Updated this week
- A local testnet for Starknet... in Rustβ104Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.β183Updated this week
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.β54Updated 8 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β77Updated 11 months ago
- Shenlong is a blazingly fast β‘ tool to generate LLVM IR from Cairo, written in Rust π¦β64Updated last year
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β228Updated 2 weeks ago
- Multi-signature functionality for StarkNetβ92Updated last year
- β59Updated last month
- β91Updated this week
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β156Updated 6 months ago
- cairo-by-example.comβ38Updated 5 months ago
- A collection of examples of Cairo smart contracts for Starknet.β110Updated this week
- β244Updated this week
- Resources for Cairo 1.0 development.β169Updated 7 months ago
- β73Updated this week
- A virtual machine for Cairo written in Goβ81Updated this week
- Kakarot zkEVM - rewrite in the latest version of Cairoβ132Updated this week
- πΊ Starknet Rust types π¦β62Updated this week
- Synthetics platform for Starknet, inspired by GMX v2 design.β111Updated last month
- DSL for Halo2 circuitsβ185Updated 3 weeks ago
- β40Updated last month
- Source code for cairovm.codes β a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.β30Updated 2 weeks ago