# 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 $n$Lab:certified programming