Attraverso la tecnica descritta nel precedente articolo qui , è spiegato come ottenere uno Smart Contract Solidity, per la blockchain di Hotmoka (Takamaka), che a differenza dell'originale non presenta le stesse vulnerabilità e gli stessi costi di funzionamento (gas). Grazie a questa implementazione è possibile ottenere in maniera estremamente efficiente, lo stato di un determinato Smart contract utilizzando i metodi propri del linguaggio Hotmoka. Il linguaggio Java, fortemente tipato, dissuade da alcuni dei principali attacchi presenti su solidity, qui infatti le vulnerabilità note non possono avere luogo.