lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

Provides a way of reading a real Starknet State, so you can re-execute an existing transaction in any of the Starknet networks in an easy way

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to deliver a robust and performant implementation.

A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM

Stablecoin Operations

Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation required.

Tekton is a self-hosted platform for running background AI coding agents at scale. The goal is infrastructure that builds things for you.

A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.