Zoran Skoda
Cardano

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

  • Aggelos Kiayias et al. Ouroboros: A provably secure proof-of-stake blockchain protocol, IACR preprint 2016/889 pdf

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 nnLab:certified programming

Last revised on May 30, 2019 at 06:02:17. See the history of this page for a list of all contributions to it.