Cardano is a blockchain with emphasis on scientific and verified approach. Most of the algorithms are intended for peer reviewed publication, open source and formal verification methods are used. The cryptocurrency on Cardano blockchain is called Ada.
Cardano introduced the first proof of stake algorithm with formally verified security, see
See also blockchain, virtual machine, smart contract, cslinks.
They used systematic way to develop the compiler and the virtual machine, with semantic specifications of languages as an input to the compiler. See
See also Lab:certified programming
Last revised on May 30, 2019 at 10:02:17. See the history of this page for a list of all contributions to it.