Compound avait : ☑️ Plusieurs audits ☑️ Vérification formelle ☑️ Code éprouvé en conditions réelles ☑️ Équipe de développement de premier plan ☑️ Tests approfondis Mais ils avaient aussi une faute de frappe d'un caractère qui a mis en danger plus de 100 millions de dollars.

Les invariants sont puissants. Les assertions sont encore plus puissantes.

Notre Manifeste en réponse au Groupe de travail présidentiel sur les actifs numériques : La Maison Blanche nous a donné le plan pour développer la DeFi tout en satisfaisant les régulateurs. Pour la finance basée sur des contrats intelligents, elle recommande aux développeurs de "considérer des arrêts d'urgence et des coupe-circuits pour des problèmes inattendus de contrats intelligents." C'est exactement ce que nous avons construit chez Phylax. La finance traditionnelle a des garde-fous : des agents de risque, des coupe-circuits et des bureaux de conformité. Ils existent pour empêcher qu'une mauvaise journée ne devienne une catastrophe. Bien avant ce rapport, nous avons vu la direction que prenaient les choses. La DeFi a besoin de protections équivalentes pour garantir la sécurité. Mais elles doivent être décentralisées, transparentes et programmables. La DeFi ne pouvait pas croître sans gestion des risques programmable. Les outils n'existaient pas, alors nous les avons construits. Ils doivent être : • décentralisés afin que les utilisateurs ne fassent pas confiance à un tiers qui peut échouer, compromettant ainsi leur sécurité • transparents afin qu'ils soient audités et donc dignes de confiance • programmables afin qu'ils puissent être utilisés pour prévenir un large éventail de problèmes de sécurité, ou selon les mots de l'administration, afin que vous puissiez écrire "[tout] coupe-circuit pour [tout] problème inattendu de contrat intelligent." La Couche Crédible permet aux développeurs d'écrire des assertions : des règles basées sur des contrats intelligents qui définissent comment leurs protocoles doivent se comporter. Ces assertions sont appliquées par le réseau lui-même. Si une transaction viole une règle, elle est bloquée avant d'atteindre la chaîne. Les fonds restent en sécurité. Les invariants restent intacts. Pas de retours en arrière. Pas d'interrupteurs centralisés. Pas de compromis. Les assertions sont transparentes, composables et vivent sur la chaîne. Elles peuvent être vérifiées. Elles peuvent être testées. Elles ne nécessitent pas de mises à jour de protocole ou de votes de gouvernance. Et elles ne reposent pas sur la confiance. Nous n'avons pas attendu que les régulateurs décrivent cet avenir. Nous l'avons prédit. Et nous avons construit l'infrastructure pour y faire face directement. Le message est simple : Si vous construisez dans la DeFi, les règles réglementaires sont là. Phylax vous donne les outils pour les respecter sans sacrifier les principes et garanties qui rendent votre produit différent.

Allez-vous vraiment être la dernière chaîne sans sécurité native au réseau ?

Utiliser des outils de sécurité qui ajoutent des points de défaillance est un peu contre-intuitif. C'est pourquoi avec le Credible Layer, vous faites simplement confiance au réseau sur lequel vous êtes déjà pour faire respecter vos affirmations.

Tellement optimiste sur Phylax après avoir appris ce que c'est de @odysseas_eth

Voulez-vous vraiment être la dernière chaîne sans sécurité native au réseau ?

Pas de verrouillage. Parce qu'une fois que le réseau est intégré, il peut faire fonctionner le logiciel indéfiniment, et les dApps peuvent écrire des assertions indéfiniment, le tout sans notre aide. Une solution de sécurité qui n'est pas neutre n'en vaut pas la peine.

Les audits sont essentiels. La surveillance est cruciale. La prévention est la pièce manquante.

- Notations de sécurité et financières vérifiables pour les DApps et les actifs (bientôt)