There is an increasing amount of conversation related to the emerging technology called by the now over-used name of Blockchain. It seems an ironic use of that name since much of the actual news these ...
Blockchain security firm CertiK has released a demo and language reference manual for its smart contract-focused DeepSEA programming language. Both CertiK and its affiliated R&D academic projects have ...