全球首个EOS安全管家:区块链形式化验证平台VaaS

简介:


全球首个EOS安全管家:区块链形式化验证平台VaaS

近年来,随着The DAO、Parity钱包、Coincheck等一系列区块链平台安全事件的频繁爆发,区块链平台特别是智能合约的安全问题成为这项新技术向前发展的障碍。针对这一安全性问题,国内外研究学者一致认为,严格的形式化验证方法能够有效地提高区块链生态系统的安全性。

为此,兼具中国“985工程”与“双一流”称号的电子科技大学信息与软件工程学院杨霞副教授带领一支区块链形式化验证团队,经过近2年的研究和努力,研制出了一套高度自动化的区块链形式化验证平台VaaS(Verification as a Service)。该团队由20多名具有海外知名高校(如耶鲁、UCLA)留学经历的副教授、博士、硕士组成,具有多年的形式化验证经验。自2013年起,杨霞副教授所带领的团队也已经为航天、国防等领域的安全关键软件提供了专业的形式化验证服务。

VaaS形式化验证平台,采用了多种形式化验证方法,具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多个合约开发语言、可支持大容量区块链底层平台的形式化验证等优点。VaaS提供了针对智能合约的形式化验证工具,极大提高了智能合约的安全性与可靠性。产品通过对合约代码进行严格的安全验证,杜绝逻辑漏洞,确保合约安全,在满足实际应用效率需求的同时,达到有效控制漏洞风险的目的。目前,VaaS平台已支持主流区块链平台(如以太坊等)智能合约的形式化验证,并且已与国内10多家区块链行业的知名企业建立了合作关系。

近期,VaaS将重点专注于EOS区块链平台的形式化验证工作,为EOS提供全面的形式化验证服务,包括EOS智能合约的形式化验证,EOS平台底层软件的形式化建模和验证。未来,VaaS平台将逐步支持其它主流区块链平台的形式化验证工作,将为更多的区块链平台提供形式化验证服务。

目前,杨霞副教授的团队已经得到分布式资本的投资,并成立了成都链安科技有限公司。链安科技因此成为中国首个专门从事区块链安全的团队,也是分布式资本资助的唯一一个致力于区块链平台安全的公司。成都链安科技现正与LongHash、Cybex共同建立服务于EOS生态系统的形式化验证社区,为EOS的安全运行保驾护航!

小科普——你知道什么是形式化验证方法吗?

所谓形式化验证方法,即指在计算机科学领域,特别是软件工程和硬件工程中,一种特殊的基于数学的技术,用于规范、开发和验证软件和硬件系统,以提高系统的安全性、可靠性和鲁棒性。形式化方法可以形容为建立在相当广泛的理论计算机科学基础上的应用,特别是逻辑演算,形式语言、自动机理论、离散事件动态系统和程序的语义,还包括类型系统和代数数据类型等理论。一般这类研究主要应用于昂贵的航空、航天、军事器材的操作系统、危险的医疗设备的程序之中。



原文发布时间为:2018-04-02
本文作者:36氪的朋友们
本文来源:36氪,如需转载请联系原作者。

目录
相关文章
|
6月前
|
存储 安全 区块链
区块链游戏系统开发(开发详细)/案例开发/设计功能/逻辑方案/源码平台
  区块链游戏系统开发是一个复杂而精密的过程。首先,需要进行需求分析和规划,确定游戏系统的功能和特性。然后,进行技术选型和架构设计,选择适合的区块链平台和开发工具。接下来,进行系统的搭建和编码,实现游戏逻辑和用户交互功能。最后,进行测试和优化,确保系统的稳定性和性能。
|
6月前
|
存储 前端开发 JavaScript
区块链交易所系统开发(海外版)丨交易所系统开发详细规则/方案介绍/项目逻辑/源码平台
  区块链是一种基于分布式账本技术的去中心化数据库系统。它通过一系列的区块(blocks)来记录和存储交易和数据,形成一个连续的、不可篡改的链式结构。
|
7月前
|
开发框架 安全 前端开发
区块链财务管理平台如何开发?区块链财务管理平台开发源码规则解析
开发一个区块链财务管理平台需要多个方面的技术和知识,以下是一些可能的步骤和考虑因素:
|
9月前
|
NoSQL 区块链 Redis
区块链聚合交易所平台开发源码实例分析
区块链聚合交易所平台开发源码实例分析
|
10月前
|
安全 算法 区块链
区块链金融交易借贷平台开发技术实现去中心化
传统的金融交易清算周期长和成本高昂,引入区块链技术,能够加快传统金融交易中心化的交易缓慢和低效的后端运作,并且重塑交易和结算流程。一个共享的数字公开账本能够持续被维护,确认所有参与链上的交易,防止欺诈,对全球金融交易、清算和结算带来了一个重大的改观机会。
|
存储 测试技术 区块链
区块链交易所搭建开发_平台_测试_系统智能合约ATOM代示例
Cosmos(ATOM)没有传统意义上的原生智能合约,因为它没有自己的图灵完备编程语言。 相反,Cosmos 使用区块链间通信 (IBC) 协议来允许不同区块链之间的通信和价值转移。 这允许开发人员构建跨越多个区块链的去中心化应用程序。
|
算法 区块链 数据安全/隐私保护
对标以太坊的EOS再火,也拼不过InterValue的区块链4.0
EOS带来的新一轮币市疯狂,甚至成为“温州帮”继炒煤、炒房、炒股之后的新营生——4月20日,“温州帮”携40多亿资金闯入EOS全球21个超级节点竞选,使得EOS持续了多天的上涨。从4月11日到24日,EOS中国超级节点数量已经从18个增加到27个,大佬与大财团的节点竞选参与,加上名人背书,EOS的疯狂简直“令人发指”。 然而,从技术层面上,圈内人却看的很清楚。EOS虽号称可以“干掉以太坊”,却仍旧是对标以太坊的区块链产品。在各种币各种ICO各种做局各种割韭菜的同时,其实区块链技术已经迭代了4次,EOS也只是在区块链2.0-3.0之间。
152 0
对标以太坊的EOS再火,也拼不过InterValue的区块链4.0
|
存储 数据采集 供应链
金融创新,Eximchain为中小进出口商提供简易高效的区块链信用平台
麻省理工学院中国创新与创业论坛(简称 MIT-CHIEF) 是美东地区最大的创新创业平台,汇集了美国最尖端的人才和项目,融合了中国和美国的各项优势资源。在刚刚过去的七月里,十六支涵盖医疗健康,新能源,教育及金融等领域的创业团队和 MIT-CHIEF 一起,走访了北京,上海,深圳和成都四大城市和与其相关的创业合作基地,与当地的政府,企事业单位代表进行了卓有成效的合作与交流。机器之心有幸采访到了其中的十一支团队,这是该系列采访的最后一篇。
142 0
金融创新,Eximchain为中小进出口商提供简易高效的区块链信用平台
|
算法 区块链
BC之CM:区块链之共识机制——深入浅出以及国内外当下主流区块链平台共识机制纵向、横向比较相关配图
BC之CM:区块链之共识机制——深入浅出以及国内外当下主流区块链平台共识机制纵向、横向比较相关配图
BC之CM:区块链之共识机制——深入浅出以及国内外当下主流区块链平台共识机制纵向、横向比较相关配图
|
城市大脑 安全 物联网
数字政府 | 区块链平台
本文介绍了数字政府 | 区块链平台的方案概述,方案价值及优势以及最佳实践。
数字政府 | 区块链平台

热门文章

最新文章