Microsoft veröffentlicht neues Tool, um Ethereum Smart Contracts zu überprüfen

Microsoft veröffentlicht neues Tool, um Ethereum Smart Contracts zu überprüfen. Microsoft hat ein neues Open-Source-Tool veröffentlicht, das die Überprüfung und Analyse von Smart Contracts ermöglicht, die in der beliebten Solidity-Programmiersprache geschrieben wurden, die üblicherweise auf der Ethereum Blockchain verwendet wird.
Das neue Tool heißt VeriSol - kurz für Verifier for Solidity - und ermöglicht es Entwicklern, die „wünschenswerten Verhaltensweisen von Smart Contracts, die in einer Teilmenge der beliebten Solidity-Sprache geschrieben sind“ auszudrücken und dann „mathematische Logikmaschinen“ zu verwenden, um eine Spezifikation gegen eine bestimmte intelligente Contract-Implementierung zu überprüfen.
VerISOL wurde auch in die kontinuierliche Integrationspipeline von Azure Blockchain für die intelligente Vertragsentwicklung integriert.
Senior Software Engineer des Azure Blockchain-Teams Cody Born sagte: „VeriSol ermöglicht es uns, aufgrund der automatischen und kontinuierlichen Überprüfung schneller zu iterieren, und es ermöglicht uns, Fehler schneller zu erfassen, ohne sich Sorgen machen zu müssen, dass Kunden potenziell betroffen sind.“
Förderung der Open-Source-Zusammenarbeit
Während VeriSol noch immer ein Prototyp ist, der in erster Linie durch intelligente Verträge in Azure gesteuert wurde, haben die Forscher sehr gute Ziele für das Verifizierungstool und sagen, dass sie „eine offene Zusammenarbeit fördern wollen, um Fortschritte bei der formalen Verifizierung in die Mainstream-Entwicklung von intelligenten Kontrakten zu bringen“.
Microsoft Principal Researcher Shuvendu Lahiri schloss: „Wir stellen uns vor, nicht nur Azure Blockchain-Entwickler und -Kunden zu unterstützen, sondern einen Beitrag zu einem vollständigen Blockchain-Ökosystem zu leisten, das sicherer ist und den Menschen dabei hilft, das volle Potenzial der Technologie zu nutzen, ohne von den kostspieligen Fehlern in Smart geplagt zu werden. Verträge.“
Für weitere Neuigkeiten, technische Analysen und Kryptowährungen klicken Sie hier.