Agenda

17 Mar 2022 11:00

Hotmoka: a novel blockchain with verified smart contracts in Java

Sala riunioni B, edificio ZETA - Campus Scientifico via Torino

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

Cerca in agenda