📢@PortaltoBitcoin vient de terminer un audit avec Grey Swan : 15 constatations dans les contrats principaux, 7 dans Solana HTLC → toutes critiques et à haut risque corrigées. Mises à jour : Délégation plus sûre, Verrouillages dynamiques, Mathématiques sécurisées, Contrôle d'accès optimisé. Résolution critique <72h, patch à haut risque dans quelques jours. Portal n'est pas seulement un DEX → mais une couche d'exécution inter-chaînes avec : BTC natif (Lightning) Échanges HTLC Consensus Cosmos + EVM Orientation des validateurs décentralisés Résultat : l'un des systèmes inter-chaînes audités les plus complets en DeFi, axé sur la sécurité, à l'épreuve du futur. Je pensais que @Lombard_Finance était comme d'autres protocoles LST. Mais en regardant de plus près, j'ai réalisé qu'ils jouent sur un terrain complètement différent. LST n'est qu'un sous-produit, un outil pour absorber la liquidité. Le cœur de Lombard est l'infrastructure pour pousser le BTC vers plusieurs chaînes, similaire à ce que font WBTC ou cbBTC - et en fait, c'est leur véritable concurrent. Dans cette perspective, Lombard ressemble plus à un émetteur de stablecoin qu'à un protocole LST. Circle ou Tether émettent des USD onchain, Lombard fait de même avec le Bitcoin. Cela est clairement démontré par katana $BTCK - un produit complètement nouveau basé sur l'infrastructure de Lombard. Cela prouve que Lombard n'est pas simplement un LST, mais un protocole infra BTC - une catégorie séparée. Et la chose intéressante est : en allant dans cette direction, Lombard n'a presque aucune limite de croissance. Écoutez Balajis sur @a16z dire quelque chose de tout à fait vrai : "L'IA ne fonctionne pas de début à fin. Elle fonctionne seulement de milieu à milieu. Vous devez la solliciter puis la vérifier vous-même." C'est en fait le plus grand goulot d'étranglement de l'IA : la validation des résultats. Et c'est aussi pourquoi je trouve @Mira_Network intéressant, ils transforment la vérification en quelque chose qui peut être fait automatiquement, avec du code, au lieu de compter sur des humains. Si l'IA peut être "en boucle fermée" avec une validation programmable, le jeu sera différent.