lambdaclass / concrete
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
☆123Updated 3 months ago
Related projects: ⓘ
- Lambda Ethereum Rust Execution client☆113Updated this week
- ⚡ Cairo VM in Zig ⚡☆79Updated last month
- ☆39Updated this week
- A Rust implementation of Starknet execution logic☆171Updated last month
- 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
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆115Updated this week
- STARK 101 Workshop in Rust 🐺🦀☆134Updated last year
- Noname: a programming language to write zkapps☆178Updated this week
- Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance☆96Updated this week
- Rust Uint crate using const-generics☆170Updated this week
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated last year
- A Cairo VM prover implemented using Winterfell☆156Updated 2 years ago
- An EVM written with MLIR☆71Updated this week
- Cryptography Educational Foundations☆169Updated last week
- Multi-party computation libraries written in Rust 🦀☆182Updated this week
- A STARK-based VM focused on code reuse, performance, and modularity☆273Updated 2 months ago
- DSL for Halo2 circuits☆185Updated 3 weeks ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆64Updated last year
- Patricia Merkle Tree implementation in Rust☆154Updated 2 weeks ago
- ☆119Updated this week
- ☆226Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆183Updated this week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆198Updated 9 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated 11 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆126Updated 9 months ago
- Madara is a powerful hybrid Starknet client written in Rust.☆71Updated this week
- An advanced fork of Nova (contact:@huitseeker)☆74Updated 2 weeks ago
- Bridge from Mina to Ethereum☆77Updated this week
- ☆170Updated last week
- Experimental folding schemes library☆186Updated this week