lambdaclass / spawnedLinks
A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM
☆28Updated this week
Alternatives and similar repositories for spawned
Users that are interested in spawned are comparing it to the libraries listed below
Sorting:
- Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and eas…☆314Updated 6 months ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Updated 10 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆188Updated this week
- Cryptography Educational Foundations☆338Updated 2 months ago
- Multi-party computation libraries written in Rust 🦀☆284Updated 2 weeks ago
- 🧉 Mate Queue Organizer GUI☆11Updated 10 months ago
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆137Updated this week
- A performant and modular zkVM framework built for customization and extensibility.☆306Updated last week
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆572Updated this week
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆157Updated 10 months ago
- A STARK-based VM focused on code reuse, performance, and modularity☆338Updated 6 months ago
- Noname: a programming language to write zkapps☆230Updated last week
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆267Updated this week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆132Updated this week
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆271Updated last week
- Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.☆840Updated this week
- A Rust implementation of Starknet execution logic☆171Updated last year
- Commonware Library Primitives and Examples☆505Updated this week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆141Updated this week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆151Updated this week
- A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)☆17Updated last year
- ⚡ Cairo VM in Zig ⚡☆85Updated last year
- Minimalist, fast and modular implementation of the Lean Ethereum client written in Rust☆68Updated last week
- ☆20Updated 7 months ago
- Madara is a powerful hybrid Starknet client written in Rust.☆121Updated this week
- FN-DSA (Falcon) signature scheme☆49Updated 10 months ago
- Making learning sh*t less annoying☆42Updated last year
- ☆331Updated this week
- Rust Uint crate using const-generics☆201Updated last week
- Binary Proofs, Blazing Fast☆111Updated this week