Back to Organizations
Lambda Class
Lambda builds cryptographic and blockchain solutions using zero-knowledge proofs, focusing on Rust implementations of critical infrastructure for secure and scalable blockchain systems.
Distributed
Lambdaworks
Project Links
Description
Lambdaworks implements cryptographic primitives used to build proof systems like SNARKs and STARKs, with comprehensive backends for various proving systems, field extensions, and compatibility with different frontends.Category: Developer Tooling
Cairo-VM
Project Links
Description
Cairo-VM is a Rust implementation of the Cairo virtual machine, supporting the execution of Cairo programs that can generate proofs of execution. It provides significant performance improvements over the original Python implementation.Category: Developer Tooling
STARK Platinum
Project Links
Description
A Rust implementation of the STARK proving system, compatible with Starknet's Stone prover. It enables the creation of zero-knowledge proofs of computational integrity with high performance.Category: Developer Tooling
Cairo Native
Project Links
Description
A compiler that converts Cairo's Sierra code to machine code via MLIR and LLVM, enabling much faster execution of Cairo programs through native compilation.Category: Developer Tooling