LambdaClass

About

LambdaClass (Lambda) is an engineering firm with teams in Buenos Aires, Montevideo and Barcelona, and part of Ergodic Group. It builds software where bugs are costly, using Rust for performance-critical systems, Lean 4 for formal verification and Erlang/Elixir for fault-tolerant distributed systems. Its blockchain work covers zero-knowledge proof systems, Ethereum execution and consensus clients, custom virtual machines and on-chain market making. The firm takes ownership of hard technical systems for clients, often acting as the entire technical team over the long term, and states that it does not do simple staff augmentation. Its open-source output includes ethrex, a zk-native Ethereum execution client written in Rust; Ethlambda, a consensus client designed to be post-quantum ready; lambdaworks, a cryptographic proof library; Commit-Boost, a validator sidecar it builds and maintains; and CairoVM, the Rust Cairo virtual machine that powers the Starknet sequencer, alongside Cairo Native, a compiler from Cairo's Sierra IR to MLIR. Its blog publishes engineering write-ups and a responsible disclosure of an exploit found in a zkVM.

At a glance

• Builds zero-knowledge proof systems, Ethereum clients and custom VMs
• Develops ethrex, an open-source Ethereum execution client in Rust
• Maintains lambdaworks, an open-source cryptographic proof library
• Built CairoVM and Cairo Native for the Starknet ecosystem
• Uses Lean 4 for formal verification of production code
• Published a responsible disclosure of a zkVM exploit

LambdaClass: frequently asked questions

What services does LambdaClass offer?

According to its public information, LambdaClass offers: Development.

Which blockchains does LambdaClass work with?

LambdaClass works with Ethereum and Starknet.

Which smart contract languages does LambdaClass use?

LambdaClass works with Rust.

Is LambdaClass verified on smart-contract.com?

Not yet. This listing was compiled from public information and LambdaClass has not claimed it or gone through the vetting process of smart-contract.com.

How can I get a quote from LambdaClass?

Describe your project once on smart-contract.com: you receive comparable quotes from vendors that match it, in the same format. Development and audit are always entrusted to two independent companies.