Ethereum Foundation und The DAO Sicherheitsfonds finanzieren die Verifizierung des Vyper Compilers

Der DAO Sicherheitsfonds arbeitet mit der Ethereum Foundation zusammen, um die formale Verifizierung des Vyper Compilers zu finanzieren. Die Ethereum Foundation hat sich verpflichtet, 100.000 USD bereitzustellen. Derzeit bleibt die Prüfung und Verifizierung von Vyper Smart Contracts auf der Quellcodeebene, während Ethereum tatsächlich den kompilierten Bytecode ausführt, wobei die Konsistenz zwischen beiden von dem Compiler abhängt. Das Projekt zielt darauf ab, durch maschinelle Beweise sicherzustellen, dass der Vyper-Kompilierungsprozess die ursprüngliche Bedeutung des Codes nicht verändert und schließlich ein verifiziertes Kompilierungsmodell im offiziellen Vyper-Compiler eingeführt wird. Der DAO Sicherheitsfonds wurde aus unbeanspruchtem ETH, das aus dem DAO-Hackereignis von 2016 stammt, eingerichtet und hat ein Volumen von etwa 250 Millionen USD, um die Sicherheit von Ethereum zu stärken.

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.