CertiK研发项目DeepSEA荣获以太坊基金会的投资

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

上一篇:

下一篇:

发表评论

电子邮件地址不会被公开。 必填项已用*标注

联系我们

NewBlock社群

QR code