A empresa de segurança blockchain CertiK lançou um manual de referência de demonstração para sua linguagem de programação DeepSEA, focada em smart contracts (contratos inteligentes).