Quels services propose MLabs ?

D'après ses informations publiques, MLabs propose : Développement et Audit.

Quels langages de smart contracts utilise MLabs ?

MLabs travaille en Plutus et Rust.

Où est basée MLabs ?

Le siège de MLabs se trouve dans le pays suivant : Royaume-Uni.

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

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

Comment obtenir un devis de MLabs ?

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.

Prestataire

MLabs

Conseil en ingénierie haute assurance à Londres, en Haskell et Rust, avec audits Cardano

Informations publiques

Présentation

MLabs (MLabs LTD) est un cabinet d'ingénierie logicielle haute assurance établi à Londres. Il travaille surtout en Haskell et en Rust, avec une pratique des méthodes formelles, et structure son offre en quatre volets : conseiller les fondateurs sur l'architecture et les risques techniques, développer (y compris avec l'IA, sous la même exigence de revue), prouver la correction par la revue des tests, les tests de propriétés, la spécification et la preuve formelle, et exploiter l'infrastructure d'identité, de secrets et de certificats. Une grande partie de son activité concerne l'écosystème Cardano, où il maintient les projets open source Plutarch, Lambda Buffers et CTL. Il audite des smart contracts Cardano écrits en Aiken, Plutarch ou Plinth : validateurs, politiques de mint, scripts de staking, construction des transactions hors chaîne et conception du protocole. L'audit suit cinq phases : revue de la spécification et de la couverture de tests, examen manuel du code, rapport provisoire par gravité, réaudit des correctifs et rapport final. Chaque vulnérabilité signalée est démontrée par un test qui reste dans la suite du client.

En bref

Cabinet londonien (MLabs LTD) travaillant en Haskell et en Rust
Maintient les projets open source Cardano Plutarch, Lambda Buffers et CTL
Audite des contrats Cardano en Aiken, Plutarch ou Plinth, dans et hors chaîne
Chaque vulnérabilité signalée s'accompagne d'un test ajouté à la suite du client
Vérification formelle, tests de propriétés et spécification sur toute technologie

Services: Développement
Audit
Blockchains: Cardano
Langages: Plutus, Rust
Siège: Royaume-Uni
Site web: mlabs.city(s'ouvre dans un nouvel onglet)

MLabs : questions fréquentes

Quels services propose MLabs ?: D'après ses informations publiques, MLabs propose : Développement et Audit.
Sur quelles blockchains travaille MLabs ?: MLabs travaille sur Cardano.
Quels langages de smart contracts utilise MLabs ?: MLabs travaille en Plutus et Rust.
Où est basée MLabs ?: Le siège de MLabs se trouve dans le pays suivant : Royaume-Uni.
MLabs est-elle vérifiée sur smart-contract.com ?: Pas encore. Cette fiche a été établie à partir d'informations publiques et MLabs ne l'a pas revendiquée ni passé le processus de vérification de smart-contract.com.
Comment obtenir un devis de MLabs ?: 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.

D'où viennent ces informations

Cette fiche a été établie à partir des pages publiques ci-dessous et relue pour la dernière fois le 24 septembre 2026. La société ne l'a pas encore revendiquée, n'est pas partenaire de smart-contract.com et n'a pas été vérifiée.

Décrivez votre projet une fois. Comparez en toute confiance.

Recevez des devis comparables de développeurs vérifiés, puis sécurisez votre code avec un auditeur indépendant.

Recevoir des devis

Gratuit pour les clients. Sans engagement.