Blockchain security company CertiK releases reference manual to introduce its smart contract programming language

According to Cointelegraph, blockchain security company CertiK has released a demo and language reference manual introducing its DeepSEA programming language with a focus on smart contracts, which is designed to give developers a deeper understanding of the language's design.