据悉，以太坊基金会近日披露第五批科研奖金项目名单，继IBM和Qtum之后，CertiK研发项目DeepSEA又获以太坊基金会的资金支持。DeepSEA是一种用于编写已验证智能合约的语言，由CertiK
据悉，以太坊基金会近日披露第五批科研奖金项目名单，继IBM和Qtum之后，CertiK研发项目DeepSEA又获以太坊基金会的资金支持。DeepSEA是一种用于编写已验证智能合约的语言，由CertiK公司、耶鲁大学和哥伦比亚大学的科研团队共同推进。CertiK联合创始人顾荣辉表示，团队在DeepSEA研发过程中引入了形式化验证技术，以实现更可靠的智能合约和区块链生态安全保障。
原创文章，作者：BlockCNN，如若转载，请注明出处：http://www.blockcnn.top/flash/21606.html
赞 (0)
BlockCNN
2019对加密货币乐观的5大理由
« 上一篇
2019年3月4日 pm12:57
比特币两度跌破3800美元关口，现价3793.27美元
下一篇 »
2019年3月4日 pm1:00
