Publication d'un article sur le client TCB d'Ethereum par le Forum de recherche Ethereum

Les membres de la Fondation Ethereum, George Kadianakis et Kev Wedderburn, ont publié un article intitulé « Ethereum TCB, Partie 1 : Client » sur le Forum de recherche Ethereum. L'article définit la base de calcul de confiance (TCB) comme des composants, des spécifications, des outils et des hypothèses qui sont dignes de confiance mais non prouvés, et explore comment l'abstraction du TCB du client Ethereum peut être réduite après la généralisation de la vérification formelle. L'article plaide pour la séparation des logiciels en modules « purs » faciles à vérifier (comme la cryptographie, SSZ) et en modules « sales » difficiles à vérifier (comme le réseau), considérant les modules sales comme non fiables, en vérifiant principalement les modules purs et en essayant de repousser les limites vérifiées vers la logique de résolution de réseau, de gossip et de synchronisation. L'article distingue également entre « écrire des spécifications et prouver des propriétés avec Lean4 » et « prouver que l'implémentation respecte cette spécification ». Les voies spécifiques incluent la traduction d'implémentations en Rust, etc., vers Lean4 (le traducteur et le compilateur Rust étant toujours inclus dans le TCB), l'écriture de modules dans Lean4 et leur extraction en C, en essayant de coder le client en Lean4, en utilisant l'assemblage RISC-V pour contourner le compilateur conventionnel (le modèle ISA, etc., étant toujours inclus dans le TCB), ou en utilisant un compilateur vérifié.

Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, promotions en ligne ou informations mentionnées ici ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, trader ou effectuer toute autre opération sur des actifs crypto. Les actifs crypto sont très volatils et peuvent entraîner des pertes. La disponibilité des services, produits et événements liés à WEEX peut varier selon les régions. Veuillez vous assurer que votre participation respecte les lois et réglementations locales applicables.