TechFlow, d'après un message publié sur son compte officiel WeChat, l'entreprise mondiale de sécurité pour la blockchain et les contrats intelligents CertiK a terminé la vérification formelle avancée de HyperEnclave, environnement d'exécution confidentiel (TEE) ouvert et multiplateforme innovant du groupe Ant.
HyperEnclave, un environnement logiciel d'exécution fiable multiplateforme ouvert développé par l'équipe des technologies natives fiables du groupe Ant, vise à améliorer l'efficacité et la compatibilité des charges de travail liées au calcul avec protection de la vie privée du groupe Ant.
Le processus de vérification formelle mené par CertiK consiste à appliquer des preuves vérifiées par machine afin de garantir la correction et la sécurité du code de HyperEnclave, notamment de sa composante la plus critique : RustMonitor. Utilisant sa méthode exclusive de vérification du code système avancé, CertiK a développé un cadre personnalisé dédié à la vérification du code écrit en Rust.
