表现
对比
旗下组织
关注更新
关注列表
人物
关于LambdaClass
LambdaClass是一家风险工作室，专门为“出错代价极高”的系统构建高保障软件，业务涵盖零知识证明系统、以太坊基础设施、形式化验证编译器和高性能分布式系统。其核心竞争力是形式化验证：团队不依赖测试，而是用Lean 4在数学上证明程序符合规格，再从证明中生成生产代码。这之所以关键，是因为如今AI写代码越来越多、人工审查越来越少，而测试会漏掉用例、审查会漏掉假设。工作室也使用Rust和Erlang/Elixir，其软件运行在约40%的以太坊验证节点上。
近半年（2026年3月至9月），LambdaClass发布了CommitLLM——一种可验证大模型推理的实用方案，让用户确认服务商确实运行了所声称的模型，在线开销仅12–14%，每条响应摊薄带宽约300 KB。团队还成为Miden网络首批Guardian运营商之一，在罗马zkSummit 14上展示了Lambda VM（一个后量子RISC-V zkVM），并继续与Sovra和Aligned合作开发Propia——一个用于可验证数字凭证的公共协议。
LambdaClass 2014年成立于阿根廷布宜诺斯艾利斯，专注分布式系统、机器学习、编译器与密码学，以Rust、Erlang/Elixir和Lean 4构建关键基础设施。其为Starknet开发cairo-rs与starknet_in_rust，使Starknet V0.12.0吞吐量从30K提升至220K Cairo步/秒，奠定ZK领域地位。2023年8月终止与Starknet基金会协议，转向zkSync生态，体现独立决策。其以太坊验证器sidecar运行于约40%网络，共识客户端Ethlambda具备后量子就绪设计。作为风险工作室，投资Fermah、Yeet、Lemon等，2026年Clave被收购实现退出。长期意义在于从软件工作室演变为ZK与以太坊基础设施核心贡献者。
近半年，LambdaClass在以太坊基础设施和ZK领域取得多项进展。其PropAMM Router已部署主网，累计交易额超5.46亿美元，处理超6.8万笔交易，报价优于中心化交易所。共识客户端Ethlambda在互操作开发网中表现最稳定，率先通过所有规范测试，并支持Fusaka硬分叉，吞吐量达1 Ggas/s。ZK虚拟机LambdaVM通过全部72项RISC-V合规测试，成为首个达标的zkVM。此外，LambdaClass成为Miden网络Guardian运营商，深入隐私基础设施。
未来重心包括：推进Ethlambda的后量子共识（Goldfish/BFT最终性）、实现LambdaVM对以太坊区块的实时证明，以及扩展PropAMM生态。
Federico Carrone：LambdaClass创始人（2014年11月至今）。毕业于布宜诺斯艾利斯大学，获英国开放大学数学学士学位及MITx统计学与数据科学MicroMasters。曾任Inaka、WILLDOM、Enratio、Avaya、惠普、Sun Microsystems、TECNA S.A.工程师，擅长Rust、Erlang/Elixir、Python、Go，专注分布式系统、数据工程与区块链。兼任Ergodic Group创始人。
Pablo Enrique Perelló：LambdaClass CEO（2022年9月至今）。毕业于布宜诺斯艾利斯大学。曾任Accenture Ventures客户财务管理高级分析师（2020年1月至9月），并曾在HSBC任职。