Philip Polkovnikov
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?).

    Philip Polkovnikov

    Written by