BE THE PLAN

  linkedin.com/feed/update/ur n:li:activity:6910491552578510848 #Hotmoka provides a general interface for a node, that can be a node of a Blockchain or an #IoT device. Nodes can collaborate and be programmed in a language that is a subset of Java. In case of Blockchain nodes, this language allows one to write #SC Java. https://issues.sonatype.org/browse/OSSRH-68750?attachmentSortBy=dateTime

  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