4 ms·Not true. The Ethereum Foundation is funding Yoichi Hirai's work on formal verification.by CryptoPunk 9y agoNot true. The Ethereum Foundation is funding Yoichi Hirai's work on formal verification.exabrial 9y agoNice! I stand corrected. Do you have a citation?DennisP 9y agohttps://www.crunchbase.com/person/yoichi-hirai https://www.crunchbase.com/person/yoichi-hirai https://yoichihirai.com/ https://yoichihirai.com/