表现
RD 热度指数
RD 增长指数
对比
关注更新
关注列表
人物
关于LambdaClass
LambdaClass 是一家以形式化验证为核心的工程公司，为客户构建对正确性要求极高的系统，主要语言为 Rust、Lean 4 与 Erlang/Elixir。它的工作方式不是外包人力，而是接管整套技术栈：先写出可机器检验的规范，再用 Lean 4 证明优化与编译变换等价，最后由证明生成生产代码，使关键路径的正确性由机器检查而非靠测试覆盖。区块链方向覆盖零知识证明系统、执行与共识客户端、自定义虚拟机。
在基础设施分工中，它更像底层组件的承包方与维护者：为 Starknet 编写的 Rust Cairo VM 驱动其排序器，lambdaworks 提供 SNARK 与 STARK 原语，ethrex 是面向 ZK 的以太坊执行客户端，Commit-Boost 作为验证人 sidecar 被大量节点采用。客户集中在需要审计级保证的链、Rollup 与金融系统，交付物多为开源代码与长期维护合同。
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与以太坊基础设施核心贡献者。
2026 年，LambdaClass 的公开产出集中在以太坊客户端 ethrex 与密码学库 Lambdaworks：团队把 ethrex 同时用作执行层与 zk 证明目标，公布基于区块级访问列表的并行执行与实时证明实验，并继续维护 Rust 与 Erlang 的底层库。7 月 29 日，机构以太坊组织 Ethereum Institutional 完成种子轮，LambdaClass 作为投资方参与，这是其 2026 年公开的第六笔投资。
LambdaClass 作为布宜诺斯艾利斯的软件工作室，其投资组合覆盖 Lemon Cash、Clave、Radius、Electron 与 Yet Another，单笔多在 100 万至 170 万美元的前种子与种子阶段，行业集中在区块链、金融科技与交易处理；团队同时为协议方提供后端与密码学工程外包，并长期参与 Starknet 与以太坊核心标准讨论。同月参与的 Ethereum Institutional 以种子轮形式募资，向银行、资管与托管机构输出中立的以太坊研究与部署指南。
LambdaClass 把 ethrex 推向可验证执行与 zk 证明共用一套代码，同时用基金与工作室双线押注拉美与欧洲的基础设施团队。
Federico Carrone：LambdaClass 创始人，布宜诺斯艾利斯大学毕业，主导 Ethrex、Lambdaworks 等密码学基础设施研发。
Pablo Enrique Perelló：首席执行官 CEO，曾任 Accenture Ventures 高级分析师，布宜诺斯艾利斯大学毕业生。