Небольшая обзорная статья про Кардано
Cardano (ADA), академическая и научная исследовательская платформа Smart Contract Platform ....
Cardano отличается от подавляющего большинства других смарт-платформ контрактов тем, что его архитектура основана на математических и научных исследованиях. Проект твердо верит, что его академический подход к блокчейну поможет ему способствовать более широкому внедрению новых технологий.
Академическая строгость проекта можно оценить из того факта, что на сегодняшний день IOHK (в тексте статьи написано что такое IOHK) опубликовала более 60 научных работ, в которых излагается технологическая инфраструктура, лежащая в основе Кардано. Кроме того, фирма также подписала академические партнерские отношения с многочисленными престижными университетами по всему миру.

IOHK выбрал Haskell в качестве языка кодирования для Cardano, поскольку он предлагает беспрецедентную безопасность. Для тех, кто не знает, язык программирования Haskell широко используется в информационно чувствительных отраслях, таких как банковское дело, финансы и оборона.
......