Ethereum Research Forum veröffentlicht Artikel über den Ethereum TCB-Client

Die Mitglieder der Ethereum Foundation, George Kadianakis und Kev Wedderburn, haben im Ethereum Research Forum den Artikel „Ethereum TCB, Teil 1: Client“ veröffentlicht. Der Artikel definiert die Trusted Computing Base (TCB) als Komponenten, Spezifikationen, Werkzeuge und Annahmen, die als vertrauenswürdig, aber nicht bewiesen gelten, und untersucht, wie die TCB des abstrakten Ethereum-Clients nach der Verbreitung der formalen Verifikation verkleinert werden kann. Der Artikel plädiert dafür, Software in leicht verifizierbare „reine“ Module (wie Kryptographie, SSZ) und „schmutzige“ Module (wie Netzwerke), die Nebenwirkungen haben und schwer zu verifizieren sind, zu unterteilen. Schmutzige Module werden als nicht vertrauenswürdig betrachtet, während reine Module zentral verifiziert werden, und es wird angestrebt, die verifizierten Grenzen auf Netzwerkparsing, Gossip und Synchronisationslogik zu verschieben. Der Artikel unterscheidet auch zwischen „Spezifikationen in Lean4 schreiben und Eigenschaften beweisen“ und „beweisen, dass die Implementierung dieser Spezifikation entspricht“. Der spezifische Weg umfasst die Übersetzung von Implementierungen wie Rust in Lean4 (der Übersetzer und der Rust-Compiler gehen weiterhin in die TCB), das Schreiben von Modulen in Lean4 und deren Extraktion in C, die möglichst in Lean4 geschriebenen Clients, die Verwendung von RISC-V-Assembly zur Umgehung des regulären Compilers (ISA-Modelle usw. gehen weiterhin in die TCB) oder die Verwendung von verifiziertem Compiler.

Dieser Inhalt wird nur zu allgemeinen Informationszwecken bereitgestellt und stellt keine finanzielle, Anlage-, Rechts- oder Steuerberatung dar. Alle erwähnten Ereignisse, Prämien, Online-Aktionen oder zugehörige Informationen sollten nicht als Empfehlung, Aufforderung oder Einladung zum Kauf, Verkauf, Handel oder anderweitigem Umgang mit Krypto-Assets betrachtet werden. Krypto-Assets sind sehr volatil und können zu Verlusten führen. Die Verfügbarkeit von WEEX Services, Produkten und zugehörigen Aktionen kann je nach Region unterschiedlich sein. Sie sind dafür verantwortlich sicherzustellen, dass Ihre Teilnahme mit geltenden lokalen Gesetzen und Vorschriften übereinstimmt.