What LambdaClass does

LambdaClass is a private software engineering firm founded in 2014 by Federico Carrone and headquartered in Buenos Aires, Argentina, with additional engineering teams in Montevideo and Barcelona. The company operates as a long-term engineering partner rather than a product vendor, taking ownership of technically difficult systems and frequently becoming the full technical team for clients in regulated industries, financial infrastructure, and other environments where software failure carries material cost. LambdaClass is part of the Ergodic Group portfolio, alongside sister companies FuzzingLabs (security research and fuzzing) and 3MI Labs (theoretical cryptography).

The firm's technical foundation rests on three pillars: Lean 4 for formal verification, Rust for performance-critical systems, and Erlang/Elixir for fault-tolerant distributed infrastructure. LambdaClass has built and maintains an extensive portfolio of open-source projects, most notably Ethrex (a minimalist Rust Ethereum execution client and L2 rollup stack), ethlambda (a post-quantum-ready Lean Ethereum consensus client), Lambdaworks (a cryptographic proof library in production use), Commit-Boost (an Ethereum validator sidecar running on approximately 40% of the network), Concrete (a Lean 4-integrated programming language), LambdaVM (a RISC-V zkVM), CommitLLM (AI inference verification via zero-knowledge proofs), and 30+ additional projects published on GitHub. The firm employs 100+ engineers with deep specialization in formal verification, cryptography, distributed systems, and high-performance software, with notable performance results including a 20x throughput improvement on Ethrex and a Cairo VM throughput increase from 30K to 220K steps per second for Starknet.

LambdaClass generates revenue through bespoke professional services engagements with named enterprise clients including Levenue (Europe's largest revenue-based financing platform at $1B in annual loans), PropAMMs (onchain market making with ~$10M daily volume), Starknet, Polygon Miden, Nous Research, Aligned, and others. Pricing is not publicly disclosed and the model is engagement-based rather than standardized SaaS. The firm also operates an AI-infrastructure vertical through partnerships with Nous Research (Hermes Agent, Psyche) and internally developed tools (CommitLLM, Tekton, eth-agent). In October 2025, LambdaClass participated as an investor in Lemon's $20M Series B round, marking the firm's first disclosed capital deployment into an external company.

Name

LambdaClass

Legal name

LambdaClass

Website

https://lambdaclass.com

Company type

Private

Founded year

2014

Operating status

Operating

Headcount range

11–50 employees

Short description

LambdaClass is a Buenos Aires-based software engineering firm (founded 2014) that builds formally verified, high-performance systems using Lean 4, Rust, and Erlang for clients in blockchain infrastructure, financial systems, and other domains where software correctness is critical.

Ownership category

akta.pro rank

Product category

Formal Verification Engineering Services & Blockchain Infrastructure

NAICS

Custom Computer Programming Services (541511), Software Publishers (5132)

SIC

Services-Computer Programming Services (7371), Services-Computer Programming, Data Processing, Etc. (7370)

akta.pro primary industry

Smart Contract Frameworks & SDKs (developer kits, templates, standards) (FSAPABAB)

akta.pro secondary industries

Deployment, Automation & DevOps (build pipelines, contract deployment tools) (FSAPABAH), Model Serving, Inference & Deployment Platforms (APIs, Edge/On-Prem) (HDAEANAC)

Keywords

• Formal verification services
• Zero-knowledge proof systems
• Ethereum execution client
• High-performance distributed systems
• Cryptographic proof libraries

Headquarters

HQ city

Buenos Aires

HQ country

Argentina

HQ region

Latin America

Offices3 records

Markets served

GTM type

B2B

Offering type

Services

Cost components

Personnel, Technology or R&D, Infrastructure, Operations, Marketing or Sales, Others

Revenue model

1. Engineering Partnership / Client Services: LambdaClass takes ownership of hard technical systems as long-term partners, often becoming the entire tech team for clients. Works with regulated industries, financial infrastructure, and systems where failure is measured in dollars or lives.

Go-to-market motion1 record

Distribution channels1 record

Marketing channels7 records

Core offering

LambdaClass is a software engineering firm that builds formally verified, high-performance systems using Lean 4, Rust, and Erlang/Elixir. It operates as a long-term engineering partner for enterprises, taking ownership of hard technical systems and shipping open-source products such as the Ethrex Ethereum execution client, Commit-Boost validator sidecar, Lambdaworks cryptographic library, Concrete programming language, and LambdaVM zkVM. The firm's work spans verifiable computation, Ethereum infrastructure, formal verification for safety-critical software, and AI infrastructure.

Product overview

LambdaClass is a software engineering firm specializing in formally verified, high-performance systems. They operate as a unified services company rather than a platform-plus-modules architecture, providing custom engineering services where software correctness is critical. Their product portfolio consists of open-source infrastructure projects and client work across blockchain infrastructure (Ethrex execution client, ethlambda consensus client), cryptographic libraries (Lambdaworks), validator tools (Commit-Boost, running on 40% of Ethereum validators), ZK proving systems, AI systems (Nous Research's Hermes Agent, Psyche training network, Tekton coding agent), and programming language tools (Concrete with Lean 4 integration). They engage as long-term engineering partners rather than selling products directly.

Differentiator

Problem solved

Functional benefit

Brands

• Ethrex: A minimalist, zk-native Ethereum execution client built from scratch in Rust, supporting both L1 and L2. Approximately 62,000 lines of code, achieving 20x performance improvement in block execution throughput.
• Commit-Boost
• Lambdaworks
• ethlambda
• Concrete
• CommitLLM

Products and services

• Ethrex Minimalist, zk-native Ethereum execution client built from scratch in Rust, functioning as both L1 execution client and L2 (ZK-rollup) client. Achieved 20x improvement in block execution throughput through profiling-driven optimization. Supports multi-prover architecture with SP1, RISC Zero, and TEE attestation.
• ethlambda Minimalist, post-quantum ready Ethereum Lean Consensus client built in Rust. Implements 3SF-mini finality gadget and LMD-GHOST fork choice in a 10-crate architecture. Participates in Lean Consensus devnets.
• Lambdaworks Cryptographic proof library written in Rust that runs in production systems moving real money. Supports SNARKs, STARKs, and composable components for building custom proof systems.
• Commit-Boost Open-source Ethereum validator sidecar built and maintained by LambdaClass. Runs on approximately 40% of Ethereum validators. Grant-funded, no token. Standardizes communication between validators and third-party protocols.
• Concrete Programming language with Lean 4 integration for scalable, formally verifiable systems. Verification is part of the language and the build process, allowing proofs to be embedded directly.
• LambdaVM RISC-V zkVM designed to power Ethereum, built by LambdaClass as part of Aligned's rollup infrastructure. Minimalistic and performant, following same principles as Ethrex.
• CommitLLM Platform that proves an AI inference provider actually ran the claimed model inference, without requiring recomputation of the inference, enabling verification of AI outputs.
• CairoVM Rust implementation of the Cairo VM for provable programs, powering Starknet's sequencer. Achieved performance of 30K to 220K Cairo steps per second.
• Cairo Native Compiler from Cairo's Sierra IR to MLIR for native execution of provable programs.
• AMO-Lean Verified mathematical optimizations in Lean 4 with code generation for production use. Provides proofs that compiler transformations preserve semantics.
• Lambda Compiler Kit Formally verified toolkit for building compilers with verified passes and transformations in Lean 4.
• Spawned Erlang-style actor model for Rust that enables writing sequential code and getting concurrency for free.
• Tekton Self-hosted AI coding agent platform that accepts tasks and returns pull requests. Runs on NixOS with isolated containers on bare metal.
• eth-agent One-liner Ethereum interactions for AI agents, supporting stablecoin transfers, token swaps, and cross-chain bridging with built-in spending limits.
• Lambda Ethereum Consensus Ethereum consensus client implemented in Elixir, leveraging BEAM VM's fault tolerance and distributed system capabilities for high availability and predictable latency.
• Dedaliano Browser-based structural analysis tool for modeling, calculating, and visualizing 2D/3D bar structures using the Direct Stiffness Method.
• Ethrex L2 Rollup stack built on top of Ethrex supporting multi-prover architecture (SP1, RISC Zero, TEE), EVM equivalence, L1/L2 bridging, and based rollup development. Deployable as a single binary.
• Miden Client Execution and proving of transactions for the Polygon Miden network. LambdaClass built this client over an 18+ month engagement.
• Lean Ethereum Consensus Tooling Supporting tooling for the Lean Consensus ecosystem, including leanSig, leanMultisig, and leanMetrics specifications, plus devnet infrastructure.
• Engineering Partnership Services Long-term enterprise engineering partnership engagements where LambdaClass takes ownership of hard technical systems, fixes problems, rebuilds teams if needed, and often becomes the entire tech team for clients in regulated industries, financial infrastructure, and systems where failure is measured in dollars or lives.

Quantifiable outcome

• 40% of Ethereum validators run LambdaClass code through Commit-Boost
• +3 more outcomes

Named customers8 records

Segments3 records

Ideal customer profiles1 record

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

AI capability8 records

Feature10 records

Scale indicators4 records

Recent moves6 records

Expansion highlights5 records

Broad incumbents

• Paradigm: Paradigm is a crypto-native investment and research firm that funds and publishes significant Ethereum protocol and ZK research. It is not a direct engineering services peer but is a broad incumbent whose investments (e.g., in RISC Zero, Succinct) shape the competitive landscape LambdaClass operates in.
• Polygon: Polygon is a large, well-funded Ethereum scaling ecosystem (Polygon PoS, zkEVM, Miden, AggLayer). LambdaClass has been an 18+ month engineering partner building the Miden client, while Polygon as a whole competes across the broader ZK and L2 space that LambdaClass targets with Ethrex L2.

Direct peers

• Axiom: Axiom builds a ZK coprocessor for Ethereum that enables smart contracts to compute over arbitrary on-chain data with verifiable proofs. It competes with LambdaClass in the ZK proving infrastructure and verifiable-compute space, and shares the same ZK-on-Ethereum developer-tooling category.
• Trail of Bits: Trail of Bits is a security research and engineering firm known for formal verification, smart contract audits, and high-assurance software. It competes with LambdaClass in formal verification services for blockchain and security-critical clients, overlapping on Lean 4 / Coq / Certora-style verification work.
• Nethermind: Nethermind builds one of the leading Ethereum execution clients in C#/.NET and offers a broad suite of Ethereum infrastructure and engineering services. It competes directly with LambdaClass in Ethereum execution client development (Nethermind's client vs. Ethrex) and in providing blockchain engineering services to enterprises.
• Starkware: Starkware builds the Starknet L2 and the Cairo/STARK proving stack. LambdaClass built the Rust Cairo VM that powers Starknet's sequencer and develops Lambdaworks for STARK/SNARK proofs, putting both firms in the same ZK proving and L2 execution-client category.
• Offchain Labs (Arbitrum): Offchain Labs develops Arbitrum, a leading Ethereum L2, and invests heavily in formal verification of its protocols (notably with Certora). It competes with LambdaClass's Ethrex L2 stack, Commit-Boost middleware, and broader Ethereum L2/infrastructure engineering engagements.
• RISC Zero: RISC Zero develops a RISC-V-based zkVM (zkMIPS/r0VM) for verifiable compute. It directly competes with LambdaClass's LambdaVM, Ethrex's multi-prover architecture, and Lambdaworks in the zkVM and proof-systems space, and is integrated as one of Ethrex's supported provers.
• Aligned Layer: Aligned Layer builds ZK rollup infrastructure and a verification layer for Ethereum. LambdaClass performs ZK security research for Aligned, integrates Ethrex into Aligned's rollup stack, and is building LambdaVM as part of Aligned's infrastructure, making Aligned both a partner and a direct ecosystem peer.
• Succinct Labs: Succinct builds the SP1 zkVM, a leading general-purpose zero-knowledge prover. SP1 competes with LambdaClass's LambdaVM and Lambdaworks in the same zkVM market, and LambdaClass famously discovered and responsibly disclosed a critical exploit in SP1, underscoring the direct peer relationship.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat5 records

Key risks6 records

Key highlights6 records

Customer concentration

• Xx.com/classlambda
• GitHubgithub.com/lambdaclass
• YouTubeyoutube.com/@lambdaclass
• LinkedInlinkedin.com/company/lambdaclass

Revenue estimate

Valuation estimate

Number of profiles

Profiles1 record

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments7 records

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about LambdaClass