Verifikation von Smart Contracts

Aufzeichnung

📺 Hier befindet sich ein externes Video. Du kannst den untenstehenden Button klicken, um es zu laden, aber dadurch könnte es zu Übermittlung von personenbezogenen Daten an YouTube und/oder Vimeo kommen. Konsultiere diese Seite für Details (Englisch).

Zusammenfassung

Smart Contracts sind eine Technologie, mit der man Code auf Blockchains ausführt. Eine Vielzahl von Geschäftsfällen werden inzwischen durch solche Verträge abgebildet. Ethereum ist dafür eine beliebte Plattform. In diesem Vortrag wollen wir uns anschauen, wie man die Qualität des Codes sicherstellen kann.

Folien

Download (PDF)
Klicke zum Fokussieren. Dann kannst du mit den Pfeiltasten navigieren. Bei Mobilgeräten einfach wischen.

Events

Artikel

Zu diesem Thema habe ich auch einen Artikel geschrieben, der frei online verfügbar ist (English version of the article).