LambdaClass

Présentation

LambdaClass (Lambda) est une société d'ingénierie dont les équipes sont réparties entre Buenos Aires, Montevideo et Barcelone, et qui fait partie d'Ergodic Group. Elle construit des logiciels pour lesquels un bug coûte cher, avec Rust pour les systèmes critiques en performance, Lean 4 pour la vérification formelle et Erlang/Elixir pour les systèmes distribués tolérants aux pannes. Son activité blockchain couvre les systèmes de preuve à connaissance nulle, les clients d'exécution et de consensus Ethereum, les machines virtuelles sur mesure et la tenue de marché on-chain. La société prend en charge des systèmes techniques complexes pour ses clients, souvent en tenant lieu d'équipe technique complète sur la durée, et précise qu'elle ne fait pas de simple mise à disposition de développeurs. Son travail open source comprend ethrex, client d'exécution Ethereum orienté ZK écrit en Rust ; Ethlambda, client de consensus conçu pour résister au post-quantique ; lambdaworks, bibliothèque de preuves cryptographiques ; Commit-Boost, sidecar pour validateurs qu'elle développe et maintient ; ainsi que CairoVM, la machine virtuelle Cairo en Rust qui fait tourner le séquenceur de Starknet, et Cairo Native, un compilateur de la représentation Sierra de Cairo vers MLIR. Son blog publie des analyses techniques et la divulgation responsable d'une faille découverte dans une zkVM.

En bref

• Construit des systèmes de preuve ZK, des clients Ethereum et des VM sur mesure
• Développe ethrex, client d'exécution Ethereum open source en Rust
• Maintient lambdaworks, bibliothèque open source de preuves cryptographiques
• A construit CairoVM et Cairo Native pour l'écosystème Starknet
• Recourt à Lean 4 pour la vérification formelle du code de production
• A publié la divulgation responsable d'une faille dans une zkVM

LambdaClass : questions fréquentes

Quels services propose LambdaClass ?

D'après ses informations publiques, LambdaClass propose : Développement.

Sur quelles blockchains travaille LambdaClass ?

LambdaClass travaille sur Ethereum et Starknet.

Quels langages de smart contracts utilise LambdaClass ?

LambdaClass travaille en Rust.

LambdaClass est-elle vérifiée sur smart-contract.com ?

Pas encore. Cette fiche a été établie à partir d'informations publiques et LambdaClass ne l'a pas revendiquée ni passé le processus de vérification de smart-contract.com.

Comment obtenir un devis de LambdaClass ?

Décrivez votre projet une fois sur smart-contract.com : vous recevez des devis comparables, au même format, des prestataires qui correspondent. Le développement et l'audit sont toujours confiés à deux sociétés indépendantes.