TL;DR :
- Morpho Midnight est construit autour de la simplicité, de l’immuabilité et de la non-conservation, l’ensemble du protocole étant limité à 1 100 lignes de code.
- Le protocole comprend des primitives de crédit à taux fixe et à échéance fixe, des contrats immuables, une gouvernance étendue et aucune possibilité de suspendre, de modifier ou de mettre à niveau les déploiements.
- Morpho a eu recours à une vérification formelle continue, à des ingénieurs internes et Certora, à quatre audits externes et à un concours d’audit public Cantina avec jusqu’à 400 000 $ de prix pour les chercheurs en sécurité du monde entier.
Morpho Midnight est présenté comme un protocole de crédit axé sur la sécurité dont les choix les plus importants ont été faits avant le début du développement. Morpho affirme que le produit a été conçu autour de trois principes fixes : simplicité, immuabilité et non-conservation. Ce cadre est important car les protocoles de prêt DeFi deviennent généralement complexes à mesure qu’ils ajoutent des fonctionnalités, des intégrations et des contrôles de gouvernance. Midnight va dans le sens inverse, avec l’ensemble du protocole limité à 1 100 lignes de code. La thèse de la sécurité commence avec moins de surfacefaisant de la retenue la décision d’ingénierie centrale plutôt qu’une réflexion après coup pour les développeurs, les conservateurs et les futurs intégrateurs évaluant les risques.
La sécurité commence par la discipline de portée
Morpho indique que Midnight ne contient que les primitives de base nécessaires à un réseau de crédit à taux fixe et à échéance fixe, tandis que des cas d’utilisation spécifiques sont construits au-dessus de ces primitives et n’affectent pas la sécurité de la couche de base. Ses contrats sont immuables et non évolutifs, ce qui signifie que personne ne peut les suspendre, les modifier ou les mettre à niveau une fois déployés. La gouvernance est également très limitée : les détenteurs de MORPHO ne peuvent augmenter les valeurs LLTV et LIF autorisées et activer les frais de protocole que dans des limites immuables. Le protocole est conçu pour minimiser le contrôle discrétionnairece qui constitue une réponse frappante aux attaques récentes ciblant les couches de contrôle d’accès.
La sécurité a également façonné le processus de construction lui-même. Morpho affirme qu’il n’y a pas de séparation entre la conception et la mise en œuvre, avec une seule équipe responsable de la conception, des tests et du codage du protocole. Chaque ligne devait justifier sa place, et la réponse par défaut aux nouvelles fonctionnalités était non, à moins que les exigences ne puissent être satisfaites proprement sans elles. L’équipe a donné la priorité à la conception selon les premiers principes, à la portée minimale, à la simplicité plutôt qu’à l’optimisation et à la durabilité à long terme. Minuit traite la complexité comme un handicapd’autant plus que les contrats immuables doivent rester fiables pendant des années sous l’évolution des marchés, des oracles et des intégrations.
Morpho a également intégré la vérification formelle continue dans le développement, au-delà des tests unitaires, du fuzzing et de l’analyse IA. Des ingénieurs internes dédiés et des ingénieurs Certora ont travaillé aux côtés de l’équipe du protocole dès le début, permettant aux problèmes d’apparaître alors que la refonte était encore possible plutôt qu’après le déploiement. Comme Midnight est petit, Morpho affirme que la vérification formelle peut couvrir l’intégralité de la base de code. Après un travail interne, le protocole a fait l’objet de quatre audits externes par Spearbit, Stermi, Trust Security et Blackthorn, ainsi que d’un concours d’audit public Cantina avec jusqu’à 400 000 $ de prix. Le modèle de sécurité final combine un petit code, une vérification mathématique et un examen contradictoiremais l’exécution déterminera si cette discipline survivra à son utilisation réelle une fois que les capitaux commenceront à circuler sur les marchés réels.
