Verifikation von Smart Contracts

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.

Ein Vortrag von Dr. Lars Hupel.
https://twitter.com/larsr_h

#StayHome – einfach aus dem Homeoffice teilnehmen!
Livestream mit anschließender Q&A am 10. Februar von 12:15–13:00

Hier geht's zum Livestream: https://youtu.be/MI-EnUq_yFA.

Für die Veranstaltung gilt der Berlin Code of Conduct (https://berlincodeofconduct.org/de/). Bei Fragen wende Dich gerne an technologynight@innoq.com.

Eine Übersicht aller bisherigen Streams gibt es unter: https://www.innoq.com/de/technology-lunch/