lambdaclass / spawnedLinks
A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM
β22Updated 2 weeks ago
Alternatives and similar repositories for spawned
Users that are interested in spawned are comparing it to the libraries listed below
Sorting:
- STARK 101 Workshop in Rust πΊπ¦β140Updated 2 years ago
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.β133Updated this week
- π§ Mate Queue Organizer GUIβ11Updated 9 months ago
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.β261Updated this week
- A STARK-based VM focused on code reuse, performance, and modularityβ337Updated 4 months ago
- β16Updated last year
- Noname: a programming language to write zkappsβ226Updated last month
- Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.β798Updated last week
- A collection of lints to catch common mistakes and improve your Cairo code.β30Updated this week
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcampβ147Updated last year
- WHIR πͺοΈ: ReedβSolomon Proximity Testing with Super-Fast Verificationβ179Updated 3 weeks ago
- β470Updated this week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to useβ55Updated 8 months ago
- Cryptography Educational Foundationsβ332Updated last month
- Useful tools for developing on Ethereum powered by Ethrexβ18Updated this week
- 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
- A Rust implementation of Starknet execution logicβ171Updated last year
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max powerβ50Updated last month
- Monorepo of halo2 cratesβ300Updated 4 months ago
- Minimalist, fast and modular implementation of the Lean Ethereum client written in Rustβ35Updated 3 weeks ago
- cairo-rs-py adds Python bindings to the cairo-rs Cairo VMβ23Updated 2 years ago
- Experimental folding schemes libraryβ259Updated this week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β75Updated 2 years ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.β204Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β146Updated 2 weeks ago
- A curated list of awesome projects using STWO.β37Updated 6 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocolβ130Updated this week
- A performant and modular zkVM framework built for customization and extensibility.β299Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.β249Updated 3 weeks ago
- β13Updated 10 months ago