lambdaclass / lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
☆623Updated this week
Related projects ⓘ
Alternatives and complementary repositories for lambdaworks
- A toolkit for polynomial IOPs (PIOPs)☆477Updated this week
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆522Updated this week
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆415Updated this week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆381Updated last week
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆685Updated this week
- ☆782Updated this week
- A curated list of awesome things related to learning and programming in Noir.☆353Updated last week
- ethrex: Ethereum Execution and L2 client in Rust☆214Updated this week
- Zero-Knowledge Proof Systems Circuit Compiler☆295Updated 3 weeks ago
- A STARK-based VM focused on code reuse, performance, and modularity☆291Updated 4 months ago
- A hardware acceleration library for compute intensive cryptography☆338Updated this week
- A Rust Implementation of the PLONK ZKP System and Extensions☆407Updated this week
- A curated list of ZK/FHE resources and links. 👇 Click below for the website version.☆709Updated 3 weeks ago
- A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.☆513Updated last month
- ☆260Updated 2 months ago
- ☆249Updated this week
- ☆208Updated this week
- Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.☆365Updated 2 weeks ago
- ☆296Updated 2 months ago
- Cryptography Educational Foundations☆190Updated 3 weeks ago
- ☆334Updated 4 months ago
- Complete Starknet library in Rust™☆286Updated 2 weeks ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆275Updated 3 weeks ago
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆347Updated this week
- Multi-party computation libraries written in Rust 🦀☆210Updated last week
- Noir is a domain specific language for zero knowledge proofs☆899Updated this week
- ☆489Updated this week
- List of halo2-related resources☆188Updated 9 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆234Updated last month
- A curated list of Zero Knowledge links, mostly focusing on blockchain.☆299Updated this week