CertiK研发项目DeepSEA获以太坊基金会科研奖金

浪花财经浪花财经 快讯 2019年3月4日
1.10W 0
据悉，以太坊基金会近日披露第五批科研奖金项目名单，继IBM和Qtum之后，CertiK研发项目DeepSEA又获以太坊基金会的资金支持。DeepSEA是一种用于编写已验证智能合约的语言，由CertiK

据悉，以太坊基金会近日披露第五批科研奖金项目名单，继IBM和Qtum之后，CertiK研发项目DeepSEA又获以太坊基金会的资金支持。DeepSEA是一种用于编写已验证智能合约的语言，由CertiK公司、耶鲁大学和哥伦比亚大学的科研团队共同推进。CertiK联合创始人顾荣辉表示，团队在DeepSEA研发过程中引入了形式化验证技术，以实现更可靠的智能合约和区块链生态安全保障。

生成图片
♥赞8
区块链(9086)

相关文章

发表评论

CertiK研发项目DeepSEA获以太坊基金会科研奖金

星期一 2019-03-04 12:58:14

据悉，以太坊基金会近日披露第五批科研奖金项目名单，继IBM和Qtum之后，CertiK研发项目DeepSEA又获以太坊基金会的资金支持。DeepSEA是一种用于编写已验证智能合约的语言，由CertiK公司、耶鲁大学和哥伦比亚大学的科研团队共同推进。CertiK联合创始人顾荣辉表示，团队在DeepSEA研发过程中引入了形式化验证技术，以实现更可靠的智能合约和区块链生态安全保障。