以太坊基金会发放第五批科研奖金 这7个项目获得青睐

2019-04-20 13:00

在被授予资金的项目中,Certik旗下研发项目因此再获资金支持。yVK币知区块链

image.pngyVK币知区块链

继 IBM和Qtum之后,CertiK研发项目DeepSEA再获以太坊基金会(Ethereum Foundation)青睐。yVK币知区块链

近日,以太坊基金会宣布了第五批科研奖金名单,共有7个项目被给予资金支持,包括:1) The Matter,一项应用了 zkSNARK 技术的 Plasma 扩容方案;2)LeapDAO,Plasma 扩容方案“Leap”的新版设计;3) Py-libp2p,ibp2p 的 Python 语言实现,可以应用于 Eth2.0 研究;4)Ethereum on ARM ,在 ARM 设备等资源受限设备上运行以太坊客户端的方案;5)Goerli 测试网,一种跨各种客户端的以太坊测试网;6)Shadowlands,Python 语言开发的全文字界面以太坊DApp 平台;7)DeepSEA,用于编写已验证智能合约的编程语言,由安全服务商 CertiK 研发团队、耶鲁大学和哥伦比亚大学科研团队进行相关研究。yVK币知区块链

其中,CertiK主导研发的DeepSEA项目在此前已获得IBM-哥伦比亚数据中心和量子链(Qtum)给予的科研经费。此次获得以太坊基金会的资金支持,足以体现业内对区块链安全体系建设的重视程度以及推动跨行业应用场景实现的强烈愿景。yVK币知区块链

以太坊基金会是以太坊于2014年在瑞士注册成立的非营利性组织,旨在管理以太坊资金并服务于其去中心化的技术生态体系。该基金会的资助项目主要集中于探索以太坊生态更好的延展性、安全性、实用性、隐私性和教育意义等方向上。yVK币知区块链

DeepSEA项目由CertiK两位联合创始人,耶鲁大学计算机系主任邵中教授与哥伦比亚大学计算机系顾荣辉教授共同主导,致力于设计并开发针对智能合约的函数式智能合约编程语言,项目能够让开发者在智能合约中引入交互式形式化验证技术,让智能合约能够被编译成函数定义导入Coq(一种辅助证明工具),并且被自动放入相应的DeepSEA规范层(Specification Layer)中,从而用数学方式完全证明。yVK币知区块链

这个项目的诞生,使得多种用于编写智能合约的高级语言能够被编译到例如以太坊虚拟机(EVM)或超级账本(Hyperledger)等机器语言中,并能够保证编译过程不会产生任何漏洞。对跨平台智能合约的功能整合和安全验证起到了举足轻重的作用。yVK币知区块链

在2月16日召开的西雅图2019 开发者大会中,顾荣辉教授提到:在过去的一年中,虽然区块链程序漏洞的检测已经被业界高度重视,但智能合约安全事件仍旧频繁发生,因此CertiK团队产生了一个想法:“是否可以从源头处解决区块链的安全问题?是否可以通过设计新的智能合约语言在开发阶段消灭安全漏洞?”yVK币知区块链

带着这个想法,团队开始了DeepSEA项目的研发工作。yVK币知区块链

image.pngyVK币知区块链


yVK币知区块链

DeepSEA项目旨在通过DeepSEA-Blockchain框架构建跨平台的、可信赖的智能合约框架。由CertiK、哥伦比亚大学和耶鲁大学共同研发一种无漏洞的编译器,为Hyperledger、EVM等平台上的开发者提供一个值得信赖的开发环境。该编译器可以证明源代码无漏洞,同时被编译后的机器码不会存在漏洞。同时,DeepSEA源代码中的程序规范可以被手动导入Coq证明辅助器中,开发者可以在Coq中对程序进行手动或者半自动证明。yVK币知区块链

DeepSEA框架的独特属性表明该语言可以有效处理编程中的“固有冲突”,详述如下:yVK币知区块链

“如今的主流操作系统和虚拟机管理程序仍然是用类似C的底层语言编写的。我们发现,高级的形式化推理和底层系统编程之间似乎存在固有的冲突:前者依赖于高抽象级别的丰富理论,而后者必须操纵和管理低级别的影响和硬件资源。”yVK币知区块链

顾荣辉教授表示,DeepSEA项目将帮助CertiK公司进一步探索形式化验证技术在区块链领域的应用,从而更好的保护用户的数字资产安全。为了让DeepSEA项目在实际场景中更好地应用,研究人员的目标是设计和实现一个“工具链”。该工具链将会被应用于“构建经认证的操作系统内核”。CertiK将有机会把DeepSEA工具链纳入其现有的形式化验证科技中,实现更完善的智能合约和区块链生态安全验证,从而更好地保护用户的数字资产安全。根据团队披露,CertiK在2018年间共保护了价值12亿美金的数字资产免受损失,这一数字在新的一年中还在持续增长。yVK币知区块链


yVK币知区块链

声明:本站部份文章由机器搜集自互联网,若无意冒犯了您的版权或知识权利,请联系我们(bizhibtc@163.com)!我们将在最迟30个工作日内撤除您的权利内容。
警示: 阁下应知投资决策不能依赖于本网站的任何内容,并以此做为决策依据!

上一篇:比特币挖坑,电费挖阱——青海淘金的魔幻现实主义故事

下一篇:以太坊升级完成你也做不出爆款应用,因为你不知道这个!

分享到:
相关阅读
友情链接
© 2018 币知区块链 http://www.beezhi.com/ 中国互联网举报中心 京ICP备18035806号-1 网络文化经营许可证 跟帖评论自律管理承诺书 违法和不良信息举报:bizhibtc@163.com '); })();
文章评论 相关阅读
分享到:
© 2016 币知区块链 http://www.beezhi.com/ 中国互联网举报中心 京ICP备18035806号-1
违法和不良信息举报:bizhibtc@163.com '); })();