Fausto Spoto, Universita' di Verona
Abstract:
This talk presents the ideas and the architecture underlying Hotmoka, a
novel blockchain with smart contracts expressed in a subset of Java
called Takamaka. It presents the main features of Takamaka with concrete
examples of smart contracts. It introduces a distinguishing feature of
Hotmoka, that is, the automatic static verification of code at
installation time, that is used for instance to guarantee determinism
for the smart contracts. Finally, it concludes with examples of smart
contracts for tokens and governance.
Lingua
L'evento si terrà in italiano
Organizzatore
Pietro Ferrara
https://www.unive.it/data/agenda/9/58553
