Cardano is a highly secure blockchain written in Haskell. It allows formal verification of code, and easy extensibility through a layered architecture. Cardano's technology is built from peer-reviewed research at some of the world's foremost universities.
how are they formally verifying that their blockchain is 'secure' when the secutrity of blockchain depends on the strength of its cryptography, and verification of practical cryptosystem is not a solved problem? is it yet another case of typefags who think that just because their programs are 'type safe' and 'memory safe' they must also be 'secure'?
Name:
Anonymous2018-01-26 2:12
U MENA HASKAL
Name:
Anonymous2018-01-29 2:53
Real World Haskell
Haskell is only used for writing clever one liners. It has no real world function.