Jul 21, 2017 · 1 min read
There is a plenty of programming languages specifically designed with proofs in mind, including security proofs, and Haskell is their little brother. Coq, Agda, Idris, Epigram and ATS are waiting for massive success, and every time Ethereum struggles to achieve security, that day becomes even closer. I’m pretty sure Coq already has some popular libraries for certified programming (CertiCrypt?).
