Hotmoka is an implementation of a blockchain and IoT node whose smart contracts are programmed in a subset of Java known as Takamaka. Users add smart contracts dynamically. There is no need to reboot the blockchain to install new contracts. Hotmoka verifies the code before installation, in particular to ensure determinism.