Buổi biểu diễn
Chỉ số Phổ Biến RD
Chỉ số Tăng Trưởng RD
So sánh
Đầu tư
Các tổ chức con
Theo dõi cập nhật
Theo dõi danh sách
Nhân vật
Về LambdaClass
LambdaClass là một venture studio chuyên xây dựng phần mềm có độ đảm bảo cao cho các hệ thống mà lỗi phần mềm rất đắt đỏ: hệ thống bằng chứng không tiết lộ, hạ tầng Ethereum, trình biên dịch được kiểm chứng hình thức, và hệ thống phân tán hiệu năng cao. Điểm khác biệt cốt lõi của họ là kiểm chứng hình thức: thay vì dựa vào kiểm thử, nhóm sử dụng Lean 4 để chứng minh toán học rằng các chương trình hoạt động đúng như đặc tả, sau đó tạo mã sản xuất từ những chứng minh đó. Điều này quan trọng vì AI hiện nay viết nhiều mã hơn với ít người rà soát hơn, và kiểm thử bỏ sót các trường hợp trong khi rà soát bỏ sót các giả định. Studio cũng sử dụng Rust và Erlang/Elixir, và phần mềm của họ chạy trên khoảng 40% số validator của Ethereum. Trong sáu tháng qua (tháng 3 đến tháng 9 năm 2026), LambdaClass đã phát hành CommitLLM, một giải pháp thực tế cho suy luận LLM có thể xác minh, cho phép người dùng xác nhận rằng nhà cung cấp thực sự đã chạy đúng mô hình đã công bố, với chỉ 12–14% chi phí trực tuyến và khoảng 300 KB băng thông trung bình cho mỗi phản hồi. Nhóm cũng trở thành một trong những nhà vận hành Guardian đầu tiên trên mạng lưới Miden, trình bày Lambda VM (một zkVM RISC-V hậu lượng tử) tại zkSummit 14 ở Rome, và tiếp tục công việc trên Propia, một giao thức công khai cho chứng chỉ số có thể xác minh được xây dựng với Sovra và Aligned.
LambdaClass được thành lập vào năm 2014 tại Buenos Aires, Argentina, tập trung vào các hệ thống phân tán, học máy, trình biên dịch và mật mã học, xây dựng cơ sở hạ tầng quan trọng với Rust, Erlang/Elixir và Lean 4. Đơn vị này đã phát triển cairo-rs và starknet_in_rust cho Starknet, giúp tăng thông lượng của Starknet V0.12.0 từ 30.000 lên 220.000 bước Cairo mỗi giây, khẳng định chuyên môn về ZK. Vào tháng 8 năm 2023, họ chấm dứt thỏa thuận với Nền tảng Starknet và sau đó chuyển hướng sang hệ sinh thái zkSync, phản ánh việc theo đuổi quyền tự chủ trong ra quyết định. Trình giám sát trình xác thực Ethereum của họ chạy trên khoảng 40% mạng lưới, và ứng dụng khách đồng thuận Ethlambda được thiết kế để sẵn sàng cho hậu lượng tử. Là một venture studio, họ đã đầu tư vào Fermah, Yeet và Lemon, với khoản đầu tư Clave được mua lại vào năm 2026. Ý nghĩa dài hạn nằm ở sự phát triển từ một cửa hàng phần mềm thành một đóng góp cốt lõi cho cơ sở hạ tầng ZK và Ethereum.
Trong sáu tháng qua, LambdaClass đã tiến bộ trên hạ tầng Ethereum và ZK. PropAMM Router của họ đã hoạt động trên mainnet, với hơn 546 triệu đô la được giao dịch qua hơn 68.000 lần swap, cung cấp báo giá chặt chẽ hơn các sàn tập trung. Trình khách đồng thuận Ethlambda đã trở nên ổn định nhất trên các devnet tương tác, vượt qua tất cả bài kiểm tra spec đầu tiên và hỗ trợ hard fork Fusaka ở tốc độ 1 Ggas/s. LambdaVM, zkVM RISC-V, đã vượt qua tất cả 72 bài kiểm tra tuân thủ RISC-V, là zkVM đầu tiên làm được điều này. LambdaClass cũng tham gia Miden với vai trò Guardian operator, có được kinh nghiệm thực tế trong hạ tầng tập trung vào quyền riêng tư. Các ưu tiên tương lai bao gồm: chuyển Ethlambda sang đồng thuận hậu lượng tử (Goldfish/BFT finality), đạt được chứng minh thời gian thực các khối Ethereum với LambdaVM, và mở rộng hệ sinh thái PropAMM.
Federico Carrone: Người sáng lập LambdaClass (tháng 11 năm 2014 đến nay). Tốt nghiệp Đại học Buenos Aires; có bằng Cử nhân Toán học tại Đại học Mở (The Open University) và chứng chỉ MicroMasters của MITx về Thống kê và Khoa học dữ liệu. Từng là kỹ sư tại Inaka, WILLDOM, Enratio, Avaya, Hewlett-Packard, Sun Microsystems và TECNA S.A., chuyên về Rust, Erlang/Elixir, Python, Go, hệ thống phân tán, kỹ thuật dữ liệu và blockchain. Cũng là người sáng lập Ergodic Group. Pablo Enrique Perelló: CEO của LambdaClass (tháng 9 năm 2022 đến nay). Tốt nghiệp Đại học Buenos Aires. Từng là Chuyên viên phân tích cấp cao về Quản lý tài chính khách hàng tại Accenture Ventures (tháng 1 đến tháng 9 năm 2020); trước đó làm việc tại HSBC.