A verified permissioned centralized Blockchain for Isabelle/HOL
In a modern world, where Things™ are internetworked, distributed, smart, low-power, and pervasive, modern technologies are needed for the progress of society and survival of humanity. Of all generic multi-purpose accounting technologies, blockchains may the the most hyped and medicore technology of our decade. Since the incubation of bitcoin is to celebrate its tenth anniversary soon, the FUD decided not to limb behind and announces the launch of our own blockchain today.
Be part of the next generation of distributed hyper blockchain technologies! Add a block to our blockcahin. Send pull requests here.