表现
比較
子組織
跟隨更新
跟隨列表
人物
關於LambdaClass
LambdaClass 是一家風險工作室，專注於為「出錯成本高昂」的系統打造高可靠度軟體，涵蓋零知識證明系統、以太坊基礎設施、形式化驗證編譯器以及高效能分散式系統。其核心差異在於形式化驗證：團隊不依賴測試，而是使用 Lean 4 以數學方式證明程式行為符合規格，再從這些證明中生成生產級程式碼。這之所以重要，是因為 AI 現今撰寫更多程式碼而人工審查者更少，測試可能遺漏案例，而審查可能忽略假設。該工作室也使用 Rust 與 Erlang/Elixir 進行開發，其軟體運行於約 40% 的以太坊驗證節點上。 在過去六個月（2026 年 3 月至 9 月），LambdaClass 推出了 CommitLLM，這是一套實用的可驗證 LLM 推理方案，讓用戶能確認服務提供商確實運行了所聲稱的模型，僅產生 12–14% 的線上開銷以及每次回應約 300 KB 的分攤頻寬。團隊也成為 Miden 網絡上首批 Guardian 運營商之一，並在羅馬舉辦的 zkSummit 14 上展示了 Lambda VM（一款後量子 RISC-V zkVM），同時持續推進 Propia 的開發——這是一個與 Sovra 和 Aligned 共同構建的可驗證數位憑證公開協議。
LambdaClass於2014年在阿根廷布宜諾斯艾利斯創立，專注於分散式系統、機器學習、編譯器與密碼學，以Rust、Erlang/Elixir及Lean 4建構關鍵基礎設施。該公司為Starknet開發了cairo-rs與starknet_in_rust，將Starknet V0.12.0的吞吐量從每秒30K提升至220K Cairo步驟，確立了其在零知識證明領域的專業能力。2023年8月，該公司終止了與Starknet基金會的協議，隨後轉向zkSync生態系統，反映其對獨立決策的追求。其以太坊驗證者側車運行於約40%的網路上，共識用戶端Ethlambda則以後量子就緒為設計目標。作為風險工作室，該公司投資了Fermah、Yeet與Lemon，投資組合中的Clave於2026年被收購並成功退出。其長期意義在於從一家軟體精品店轉型為零知識證明與以太坊基礎設施的核心貢獻者。
在過去六個月，LambdaClass 在以太坊基礎設施與零知識證明領域取得了進展。其 PropAMM Router 已在主網上線，處理超過 5.46 億美元的交易量，涵蓋 6.8 萬筆兌換，報價比中心化交易所更緊湊。Ethlambda 共識客戶端已成為互操作開發網路中最穩定的客戶端，率先通過所有規範測試，並以 1 Ggas/s 的速度支援 Fusaka 硬分叉。LambdaVM（RISC-V 零知識虛擬機）通過了全部 72 項 RISC-V 合規測試，成為首個達成此成就的零知識虛擬機。LambdaClass 也以守護者運營商身份加入 Miden，獲得了隱私優先基礎設施的實戰經驗。 未來優先事項包括：將 Ethlambda 過渡至後量子共識（Goldfish/BFT 最終性）、利用 LambdaVM 實現以太坊區塊的即時證明，以及擴展 PropAMM 生態系統。
Federico Carrone：LambdaClass 創辦人（2014年11月至今）。畢業於布宜諾斯艾利斯大學；持有英國開放大學數學理學士學位，以及MITx統計與數據科學微碩士學位。曾任職於Inaka、WILLDOM、Enratio、Avaya、Hewlett-Packard、Sun Microsystems及TECNA S.A.工程師，專精於Rust、Erlang/Elixir、Python、Go、分散式系統、數據工程與區塊鏈。亦為Ergodic Group創辦人。 Pablo Enrique Perelló：LambdaClass 執行長（2022年9月至今）。畢業於布宜諾斯艾利斯大學。曾任Accenture Ventures客戶財務管理高級分析師（2020年1月至9月）；此前任職於HSBC。