March 18, 2019 The Ethereum Foundation contributes funds for further development of DeepSea – a Smart Contract language for the Ethereum Virtual Machine aiming to ‘provide formal verification’ – from researchers at Yale (and Columbia following the new funding)