パフォーマンス
RD 人気指数
RD 成長指数
比較
サブ組織
更新をフォローする
フォローリスト
キャラクター
LambdaClassについて
LambdaClassは、バグが高くつくシステム向けに高保証ソフトウェアを構築するベンチャースタジオです。具体的には、ゼロ知識証明システム、イーサリアムインフラ、形式検証されたコンパイラ、高性能分散システムなどです。中核となる差別化要因は形式検証です。テストに頼るのではなく、チームはLean 4を使用してプログラムが仕様どおりに動作することを数学的に証明し、その証明から本番コードを生成します。これは重要です。なぜなら、AIがより多くのコードをより少ない人間のレビュアーで書くようになり、テストはケースを見逃し、レビューは前提条件を見逃すからです。このスタジオはまた、RustとErlang/Elixirでも開発しており、そのソフトウェアはイーサリアムのバリデーターの約40%で稼働しています。 過去6か月間（2026年3月～9月）に、LambdaClassはCommitLLMをリリースしました。これは検証可能なLLM推論のための実用的なスキームで、ユーザーがプロバイダーが主張するモデルを実際に実行したことを確認できるようにし、オンラインオーバーヘッドはわずか12〜14%、応答あたりの償却帯域幅は約300KBです。チームはまた、Midenネットワークで最初のGuardianオペレーターの1つとなり、ローマで開催された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 Foundationとの契約を終了し、その後zkSyncエコシステムへと軸足を移し、独自の意思決定を追求している。同社のイーサリアムバリデータサイドカーはネットワークの約40%で稼働しており、コンセンサスクライアントEthlambdaはポスト量子対応を意図して設計されている。ベンチャースタジオとして、Fermah、Yeet、Lemonに出資し、ポートフォリオ企業のClaveは2026年に買収された。長期的な意義は、ソフトウェア専門企業からZKおよびイーサリアムインフラの中核的貢献者へと進化した点にある。
過去6か月間、LambdaClassはEthereumインフラとZKの分野で進歩しました。PropAMM Routerはメインネットで稼働しており、68,000件以上のスワップで5億4,600万ドル以上が取引され、中央集権型取引所よりも狭いスプレッドを提供しています。Ethlambdaコンセンサスクライアントは、相互運用性devnetで最も安定しており、すべての仕様テストに最初に合格し、Fusakaハードフォークを1 Ggas/sでサポートしました。RISC-V zkVMであるLambdaVMは、72件すべてのRISC-V適合性テストに合格し、これを達成した最初のzkVMとなりました。LambdaClassはまた、MidenのGuardianオペレーターとして参加し、プライバシー重視のインフラに関する実践的な経験を積んでいます。 今後の優先事項には、Ethlambdaのポスト量子コンセンサス（Goldfish/BFTファイナリティ）への移行、LambdaVMによるEthereumブロックのリアルタイム証明の実現、PropAMMエコシステムの拡大が含まれます。
Federico Carrone: LambdaClassの創業者（2014年11月～現在）。ブエノスアイレス大学卒業。The Open Universityで数学の学士号、MITxで統計学とデータサイエンスのMicroMastersを取得。以前はInaka、WILLDOM、Enratio、Avaya、Hewlett-Packard、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でも勤務経験あり。