Tezos, a cr*ptocurrency designed from start to avoid the recent problems in B*tcoin and Eth*reumit's written by a few OCamlPro folks, so I at least know they have language design sorted out, unlike Eth*reum