LambdaClass
An engineering team building verifiable, high-performance blockchain infrastructure
Performances
Comparison
Details
This content is generated by RD AI and is for reference only
LambdaClass is a deep technology R&D company focused on building verifiable, high-performance blockchain infrastructure and tooling. Its core activities include developing Ethereum execution (ethrex) and consensus (ethlambda) clients, zero-knowledge proof (ZK) libraries (e.g., Lambdaworks, Cairo VM), and formal verification tools (Lean 4). The team leverages Rust, Erlang/Elixir, and other languages to provide engineering implementations for distributed systems, cryptography, and compilers. Their work is applied to staking infrastructure, rollups, and decentralized networks, with a strong emphasis on code correctness and verifiability.
Investment
Sub Organizations
Follow Updates
Follow Lists
People
About LambdaClass
LambdaClass is a venture studio that builds high-assurance software for systems where bugs are expensive: zero-knowledge proof systems, Ethereum infrastructure, formally verified compilers, and high-performance distributed systems. Its core differentiator is formal verification: instead of relying on tests, the team uses Lean 4 to mathematically prove that programs behave as specified, then generates production code from those proofs. This matters because AI now writes more code with fewer human reviewers, and tests miss cases while reviews miss assumptions. The studio also works in Rust and Erlang/Elixir, and its software runs on roughly 40% of Ethereum validators.
In the past six months (March–September 2026), LambdaClass shipped CommitLLM, a practical scheme for verifiable LLM inference that lets users confirm a provider actually ran the claimed model, with only 12–14% online overhead and roughly 300 KB amortized bandwidth per response. The team also became one of the first Guardian operators on the Miden network, presented Lambda VM (a post-quantum RISC-V zkVM) at zkSummit 14 in Rome, and continued work on Propia, a public protocol for verifiable digital credentials built with Sovra and Aligned.
LambdaClass was founded in 2014 in Buenos Aires, Argentina, focusing on distributed systems, machine learning, compilers, and cryptography, building critical infrastructure with Rust, Erlang/Elixir, and Lean 4. It developed cairo-rs and starknet_in_rust for Starknet, boosting Starknet V0.12.0 throughput from 30K to 220K Cairo steps per second, establishing its ZK expertise. In August 2023, it terminated its agreement with the Starknet Foundation and later shifted toward the zkSync ecosystem, reflecting its pursuit of independent decision-making. Its Ethereum validator sidecar runs on roughly 40% of the network, and its consensus client Ethlambda is designed to be post-quantum ready. As a venture studio, it invested in Fermah, Yeet, and Lemon, with portfolio exit Clave acquired in 2026. The long-term significance lies in its evolution from a software boutique into a core contributor to ZK and Ethereum infrastructure.
In the past six months, LambdaClass has advanced across Ethereum infrastructure and ZK. Its PropAMM Router is live on mainnet, with $546M+ traded across 68k+ swaps, offering tighter quotes than centralized venues. The Ethlambda consensus client has become the most stable in interop devnets, passing all spec tests first and supporting the Fusaka hard fork at 1 Ggas/s. LambdaVM, the RISC-V zkVM, passed all 72 RISC-V compliance tests, the first zkVM to do so. LambdaClass also joined Miden as a Guardian operator, gaining hands-on experience in privacy-focused infrastructure.
Future priorities include: transitioning Ethlambda to post-quantum consensus (Goldfish/BFT finality), achieving real-time proving of Ethereum blocks with LambdaVM, and expanding the PropAMM ecosystem.
Federico Carrone: Founder of LambdaClass (Nov 2014–present). Graduated from Universidad de Buenos Aires; holds a BSc in Mathematics from The Open University and an MITx MicroMasters in Statistics and Data Science. Formerly an engineer at Inaka, WILLDOM, Enratio, Avaya, Hewlett-Packard, Sun Microsystems, and TECNA S.A., specializing in Rust, Erlang/Elixir, Python, Go, distributed systems, data engineering, and blockchain. Also founder of Ergodic Group.
Pablo Enrique Perelló: CEO of LambdaClass (Sep 2022–present). Graduated from Universidad de Buenos Aires. Formerly Senior Analyst, Client Financial Management at Accenture Ventures (Jan–Sep 2020); previously worked at HSBC.