CertiK, a blockchain security firm, has released a demo and language reference manual for its smart contract-focused DeepSEA programming...