Programming Hotmoka
A tutorial on Hotmoka and smart contracts in Takamaka
1.8 Acknowledgments
I thank the people at Ailia SA, in particular Giovanni Antino, Mario Carlini, Iris Dimni and Francesco Pasetto, who decided to invest in the Takamaka project and who are building their own open-source blockchain that can be programmed in Takamaka. My thank goes also to all students and colleagues who have read and proof-checked this book and its examples, finding bugs and inconsistencies; in particular to Luca Olivieri and Fabio Tagliaferro. Ch. 6 is shared work with Marco Crosara, Filippo Fantinato, Luca Olivieri and Fabio Tagliaferro. Ch. 8 has been inspired by previous work with Dinu Berinde. Sec. 8.1.1 is shared work with Andrea Benini, Mauro Gambini and Sara Migliorini.
Hotmoka enjoys being a Docker-sponsored open source project (https://docs.docker.com/trusted-content/dsos-program/). DockerHub (https://hub.docker.com/) provides for free a repository for the distribution of the docker images of Hotmoka.
GitHub (https://github.com) is hosting the code of Hotmoka for free, running tests and packaging actions at each commit and hosting its releases for download.
Hotmoka benefits from the use of a free license of the YourKit profiler for Java. YourKit supports open source projects with innovative and intelligent tools for monitoring and profiling Java and .NET applications. YourKit is the creator of YoutKit Java Profiler (https://www.yourkit.com/java/profiler/), YourKit .NET profiler (https://www.yourkit.com/.net/profiler/) and YourKit YouMonitor (https://www.yourkit.com/youmonitor/).



