Quellcode-Verifizierung

Ein Vertrag wird als kompilierter Bytecode ausgerollt; das ist, was die Kette ausführt und was ein Block-Explorer immer anzeigen kann. Quellcode-Verifizierung ist das Veröffentlichen des ursprünglichen, menschenlesbaren Quelltextes daneben, sodass jeder mit den angegebenen Compiler-Einstellungen neu übersetzen und prüfen kann, ob das Ergebnis dem ausgerollten Bytecode Byte für Byte entspricht. Stimmt es überein, markiert der Explorer den Vertrag als verifiziert und zeigt den lesbaren Quelltext. Diese Aussage ist eng und genau: Sie belegt, dass der veröffentlichte Quelltext das ist, was läuft — und sonst nichts. Sie sagt nichts darüber, ob der Code gut geschrieben ist, ob er geprüft wurde oder ob er tut, was die Kommunikation des Projekts behauptet. Ein nicht verifizierter Vertrag ist eine andere Lage — kein Beweis böser Absicht, aber die Verweigerung der billigsten verfügbaren Transparenz: Niemand außer dem Ausrollenden kann vorher lesen, was der Code tut.