Microsoft kündigt VeriSol an, eine auf Ethereum-basierende Smart Contract Verifikationssoftware. Die Open-Source-Software wurde speziell für Ethereum und die Programmiersprache Solidity vorgestellt.
Das auf dem Microsoft-Blog vorgestellte Tool trägt den Namen “VeriSol-Verifier for Solidity”. Mit VerSol können Entwickler Spezifikationen für Smart Contracts in einer Zwischensprache schreiben, die anschließend in die bestehenden mathematischen Strukturen eingebaut und getestet werden kann. Microsoft führt dazu aus (frei übersetzt):
Das VeriSol-Team hat den Prüfer verwendet, um die Spezifikationen der intelligenten Verträge zu formalisieren und zu überprüfen, die für Konsortialmitglieder in Ethereum für Azure und Azure Blockchain Service gelten.
Zur Zeit ist VeriSol ein Prototyp, jedoch arbeitet das Team eifrig daran, die meisten Unternehmensanwendungen von Smart Contracts abzudecken. Das Scheme ist das Produkt einer Zusammenarbeit zwischen den Microsoft-Teams “Azure Blockchain” und “Research”. Sicherheit ist seit langem ein heiß diskutiertes und immer wieder auftretendes Thema im Bereich der Smart Contracts. Dies zeigt sich bereits durch den andauernden Diebstahl von Kryptowähurngen und Hacks verschiedener Kryptobörsen. Mit der formalen Verifizierung erhalten Entwickler ein Protokoll zur Überprüfung der Sicherheit kritischer Komponenten innerhalb des Smart Contracts Ökosystems.
Die Ausführung dieses Prozesses erfordert in der Regel sehr versierte Entwickler und einen langen Zeitraum. Daher ist es vorerst nur für die wichtigsten Teile eines Produkts vorbehalten. Smart Contracts haben bestimmte vorgefertigte Eigenschaften, die die formale Überprüfung erleichtern. Shuvendu Lahiri von Microsoft erklärt (frei übersetzt):
Die bescheidene Codegröße und die Semantik der sequentiellen Ausführung von Smart Contracts ermöglichen eine skalierbare Überprüfung, und die offene Betriebsumgebung reduziert die Notwendigkeit, die Umgebung, in der ein intelligenter Vertrag ausgeführt wird, manuell zu modellieren, erheblich.
VeriSol ergänzt das Azure Blockchain SDevelopment Kit und die Workbench von Microsoft,die Entwicklungsvorlagen und -integrationen für gängige Azure-Dienste wie Schlüsselverwaltung und Identität bieten. Formelle Überprüfungswerkzeuge wie VeriSol erleichtern Entwicklern das Überprüfen ihrer Arbeit und das Erkennen von Fehlern. Solidity ist nach wie vor die meistgenutze Programmiersprache für die Programmierung von Smart Contracts in Ethereum. Ein voll autamatisiertes Tool zur formellen Verifizierung soll es Entwicklern erleichtern, die Sicherheit ihrer dApps zu verbessern.
Ripple GmbH gründet in der Schweiz
Das amerikanische Startup aus San Francisco, dass grenzüberschreitende Transaktionen für Finanzinstitutionen bereitstellt, hat eine Tochterfirma in der Schweiz registriert, Die Ripple Switzerland GmbH (Ripple Switzerland LLC) wurde am 27.05.2019 von Ripple Labs Inc. gegründet. Laut der Anmeldung soll der Unternehmensumzug den Umsatz von XRP steigern (frei übersetzt):
Der Zweck des Unternehmens ist der Verkauf von digitalen Assets XRP an institutionelle Käufer. Die Gesellschaft kann Zweigniederlassungen und Tochtergesellschaften im In- und Ausland errichten, andere Geschäftstätigkeiten im In- und Ausland ausüben und alle mit dem Zweck direkt oder indirekt verbundenen Geschäfte tätigen.
Ripple veröffentliche vor kurzem eine ausführliche Erklärung dazu, wie Marktdaten und Volumenberichte auf den neuesten Stand gebracht werden, nachdem bekannt wurde, dass die Zahlen hierbei leicht verfälscht waren. Ziel ist es, das Vertrauen in die Branche zu stärken, um das Interesse zu wecken, Investitionen voranzutreiben und die Adaption von XRP und digitalen Assets positiv zu beeifnlussen (frei übersetzt):
Wir hoffen, dass wir die Messlatte auf längere Sicht branchenweit höher legen können, indem wir unsere erwarteten Standards für Marktstruktur und Berichterstattung höher legen.
Featured Image: Bluemoon 1981 | Shuttersstock