공연
RD 인기지표
RD 성장지표
비교
하위 조직
업데이트 따라가기
팔로우 목록
인물
LambdaClass 소개
LambdaClass는 버그로 인한 비용이 큰 시스템, 즉 영지식 증명 시스템, 이더리움 인프라, 형식 검증 컴파일러, 고성능 분산 시스템을 위한 고신뢰성 소프트웨어를 구축하는 벤처 스튜디오입니다. 핵심 차별점은 형식 검증입니다. 팀은 테스트에 의존하는 대신 Lean 4를 사용하여 프로그램이 명세대로 동작함을 수학적으로 증명하고, 그 증명으로부터 프로덕션 코드를 생성합니다. 이것이 중요한 이유는 이제 AI가 더 적은 인간 검토자로 더 많은 코드를 작성하고, 테스트는 사례를 놓치며 검토는 가정을 놓치기 때문입니다. 이 스튜디오는 또한 Rust와 Erlang/Elixir로 작업하며, 그 소프트웨어는 약 40%의 이더리움 검증자에서 실행됩니다. 지난 6개월(2026년 3월9월) 동안 LambdaClass는 검증 가능한 LLM 추론을 위한 실용적인 방식인 CommitLLM을 출시했습니다. 이를 통해 사용자는 공급자가 주장한 모델을 실제로 실행했는지 확인할 수 있으며, 단 1214%의 온라인 오버헤드와 응답당 약 300KB의 상각 대역폭만 사용합니다. 팀은 또한 Miden 네트워크에서 최초의 Guardian 운영자 중 하나가 되었고, 로마에서 열린 zkSummit 14에서 포스트퀀텀 RISC-V zkVM인 Lambda VM을 발표했으며, 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 생태계로 방향을 전환하며 독립적인 의사 결정을 추구하는 모습을 보여주고 있습니다. 이더리움 검증자 사이드카는 네트워크의 약 40%에서 실행되며, 합의 클라이언트 Ethlambda는 포스트퀀텀 대비가 되어 있습니다. 벤처 스튜디오로서 Fermah, Yeet, Lemon에 투자했으며, 포트폴리오 회사 Clave는 2026년에 인수되어 엑시트했습니다. 장기적 의의는 소프트웨어 부티크에서 ZK 및 이더리움 인프라의 핵심 기여자로 진화한 데 있습니다.
지난 6개월 동안 LambdaClass는 이더리움 인프라와 ZK 전반에서 발전을 이루었습니다. PropAMM Router는 메인넷에서 운영 중이며, 68,000회 이상의 스왑을 통해 5억 4,600만 달러 이상이 거래되어 중앙화된 거래소보다 더 좁은 호가를 제공합니다. Ethlambda 합의 클라이언트는 인터롭 데브넷에서 가장 안정적인 클라이언트가 되었으며, 모든 사양 테스트를 가장 먼저 통과하고 1 Ggas/s 속도로 Fusaka 하드포크를 지원합니다. RISC-V zkVM인 LambdaVM은 72개 RISC-V 준수 테스트를 모두 통과한 최초의 zkVM이 되었습니다. LambdaClass는 또한 Miden의 가디언 운영자로 합류하여 프라이버시 중심 인프라에 대한 실무 경험을 쌓았습니다. 향후 우선순위는 다음과 같습니다: Ethlambda를 포스트퀀텀 합의(Goldfish/BFT 파이널리티)로 전환, LambdaVM을 통한 이더리움 블록의 실시간 증명 달성, 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에서 일했다.