Daniele Gorla

Dieses Papier behandelt die Absicherung von Smart Contracts durch ein Typsystem, das auf Integrität fokussiert ist.

Ein Blick darauf, wie verschiedene Überwachungssysteme komplexe Verhaltensweisen überprüfen.

Neues Typsystem sorgt dafür, dass Smart Contracts reibungslos laufen, ohne Gasprobleme.