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

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

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

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

相关文章

发表评论

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

星期一 2019-03-04 13:07:45

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