A proof of space blockchain
with smart contracts in Java
Hotmoka allows development and composition of complex smart contracts, thanks to the strongly-typed nature of Java. The underlying Mokamint engine allows Hotmoka to be mined in a completely decentralized, anonymous and ecological way.
Reliable smart contracts
Java supports the creation of statically typed, composable smart contracts, that can be dynamically and anonymously deployed in blockchain.
Comfortable development
Smart contracts can be developed with your preferred Java IDE. No need to learn a new programming language nor to hire specialized developers.
Ecological mining
Proof of space does not require computational power. You can mine on your ordinary hardware and even on your mobile phone.
Fully decentralized
Mining peers are all anonymous and equal. Forget about validators. Specialized, expensive hardware does not help mining.
Hotmoka: Object-oriented blockchain transactions
Everything is an object in Hotmoka: contracts are objects, as well as accounts or the same manifest of the blockchain. Objects can be composed, redefined, modified but never deleted. Typed references identify objects in blockchain, so that it is not possible to cast references to arbitrary types, as it happens in other blockchains. This simplifies the assessment of the correctness of the smart contracts and reduces the risk of bugs. Hotmoka implements a software layer for the execution of object-oriented transactions: code storage in blockchain, object creations and method calls.
Mokamint: An ecological and decentralized mining algorithm
Mokamint implements a proof of space blockchain consensus algorithm. Instead of granting the right of creation of new blocks to the miner that performs that hardest work, Mokamint selects the miner that pre-allocates more disk space for mining. This makes mining more ecological and allows it to run on standard hardware and even on a mobile phone, therefore cutting down electrical and ecological costs. Moreover, mining is completely decentralized, instead of being limited to a set of validators. Mokamint is generic wrt the supported blockchain application. It integrates with Hotmoka but could also be used to build new, vertical blockchain applications.
