「干得好,小伙子!」杨霞拍着研发组同学的肩膀,高兴地说道。今年11月6日,她创办的Beosin完成了智能合约形式化验证平台VaaS2.0的研发,把行业内智能合约审计的准确度提高到95%以上。
统计数据显示,2011年~2018年间,智能合约安全事件损失金额达12.4亿美元,占该期间区块链安全事件总损失金额的1/3。2016年下半年,杨霞便从智能合约安全入手,采用形式化验证方法解决区块链安全问题。此前,形式化验证多用于安全系数要求较高的航空、航天等关键领域。
历时近2年,杨霞带领团队发布VaaS平台。用户只需把公链的合约代码导入VaaS自动验证平台,点击「开始审计」按钮,平台便会审查智能合约的漏洞,审查结果可精确到代码所在的具体某行,提醒用户存在安全隐患。
目前,Beosin已与Huobi、OKEx、KuCoin、LBank、ONT、Qtum、比原链等国内40多家区块链行业公司建立长期战略合作。截至11月末,公司已完成超500份智能合约的审计工作,实现收支平衡。
Injective升级代币经济学,将大幅增加每周销毁INJ数量:8月16日消息,去中心化交易协议Injective今天发布了代币经济学升级,所有基于 Injective 构建的 dApp 都可以为 INJ 销毁拍卖做出贡献,并且对其希望销毁的费用没有限制。这可以使由INJ驱动的链上经济更加强大,销毁拍卖现在可以从快速增长的 Injective 生态系统中的所有 dApp 中获取价值。
Injective 的代币燃烧拍卖是一种非常独特的机制,它收集协议费用并将其转化为协议的集体价值。在最初的构想中,代币燃烧拍卖拍卖了在 Injective 上构建的交易 dApp 收取的所有费用的 60%,然后燃烧用于支付拍卖篮子的代币。
在每周的燃烧事件中,每个交易 dApp 将其交易费的 60% 投入到一个拍卖篮子中,为社区成员提供通过竞标争夺当周完整收益的机会。为拍卖篮子支付的费用在拍卖结束后立即被燃烧,从而减少了整体代币供应量。[2023/8/17 18:04:12]
今年11月初,该公司获得了界石资本和盘古创富的数百万美元天使轮投资,资金主要用于全生态区块链安全产品的开发和全球化市场布局。
报告:4月份加密投资产品平均每周资金流出总额为7950万美元:4月29日消息,据区块链数据公司CryptoCompare的报告,受市场下跌影响,4月份加密投资产品平均每周资金流出总额为7950万美元,这是2022年迄今为止最大的一次流出。记录的最大周流出量是截至4月8日的一周,共有1.34亿美元流出加密投资产品。
CryptoCompare研究人员表示,多资产加密投资产品的表现要好于单一资产产品。过去三个月,多资产产品都有资金流入,4月份迄今平均每周资金流入达到423万美元。 此外,4月份加密交易所日均交易量下降16.3%至2.44亿美元,连续六个月交易量下降。
总体而言,自2021年10月(8.41亿美元)以来,交易量下降了71.0%,自2021年1月创下历史新高(1.51亿美元)以来下降了83.8%。[2022/4/29 2:38:37]
注:杨霞承诺文中数据无误,为内容真实性负责。铅笔道作客观真实记录,已备份速记录音。
18年的「安全啄木鸟」
动态 | 灰度2018年第四季度平均每周投资200万美元:据CCN报道,跟据加密资产管理公司灰度(Grayscale)的季度报告,在2018年第四季度灰度平均每周投资了200万美元。灰度的数字资产投资中有88%是比特币,只有12%的投资是针对其他数字资产的,因此灰度在其季度报告中宣布这是“比特币极端主义者的回归”。GBTC产品显然对投资者最具吸引力,但是该公司认为其他数字资产将来也会蓬勃发展。此外,灰度第四季度大约40%的投资来自退休账户。[2019/2/17]
安全,一直是杨霞职业生涯的关键词。前18年是面向安全关键嵌入式系统,后3年则是区块链安全。
读书期间,杨霞是名副其实的学霸,一路被保送读到博士。毕业后,她一边在大学任教,一边在系统安全领域从事研究和创业。这期间,杨霞从事形式化验证、内核安全、移动设备安全、TEE等安全技术研究长达18年,担任CC国际安全标准成员、CCF区块链专委会委员、CCF形式化验证专委会委员,发表学术论文30多篇,申请专利20多项。同时,她还围绕安全领域进行了3次创业。
她所做的形式化验证,就是用数学和逻辑学的方法对代码的安全属性进行证明或证伪,通过判断代码问题,从而证明这个代码的实现是否能满足用户需求。这种方法相较传统审计代码方法具有更高效、更安全的特点,多用于对安全系数要求较高的航空、航天等关键领域。
杨霞称自己是「安全啄木鸟」。在她看来,做安全研究就像是啄木鸟,要不断地找出bug解决它,保障系统安全,「这个过程就像是啄木鸟要不断啄虫子,才能让树木健康一样。」
2015年下半年,区块链项目大量涌现的同时,也出现不少安全问题。2016年6月,黑客利用TheDAO项目的智能合约安全漏洞,导致项目方损失约5000万美元资产。当时,「TheDAO」事件被认为是最大的以太坊智能合约漏洞事件。
「TheDAO」事件后,早已入局区块链的朋友们问起杨霞,可不可以用形式化验证的方法进行区块链安全的防护?这使杨霞意识到区块链安全问题已经成为一个普遍现象,安全问题将影响区块链行业的发展。她对区块链安全开始产生兴趣。
于是,2016年下半年,杨霞便从航空、航天安全转向了区块链安全研究。通常来说,区块链安全问题主要包括共识机制安全、智能合约安全、钱包安全和交易平台安全等方面。
对于Beosin为何选择智能合约安全方向,杨霞解释说,智能合约安全事件在区块链安全中影响比较严重,由它导致的损失占总损失金额的近1/3;另外,形式化验证是个复杂的过程,代码量太大的话会使验证周期变得很长,刚好智能合约的代码量都不大,这使得用形式化验证进行安全审计非常可行。
智能合约安全事件损失金额约占总损失金额的1/3
目前,针对智能合约的安全验证主要有两种。一种是渗透测试,另一种是形式化验证。渗透测试只能测出某些已知Bug,未知的Bug显示不出来。形式化验证则通过数学推理进行,可保证一定不存在指定属性的安全问题,或者一定存在指定安全属性的问题。
建VaaS平台
从安全级别最高的军工方向「降级」到区块链方向,虽然后者在安全程序上趋向于简单,但杨霞在这条路上走得也并非一帆风顺。
事实上,直到2017年上半年,杨霞都是带着学生采用人工建模的方式进行验证。在近一年的研究中,她发现,形式化验证在审计智能合约安全上确有成效,但人工建模代价大、效率低,人工参与对人员的素质要求很高,形式化验证方面的人才很紧缺。
于是,2017年下半年,杨霞决定向自动化方向发展,降低人工成本的同时,减少人为误判,提高形式化验证的准确度。约1年后,今年5月,Beosin发布了智能合约形式化验证平台VaaS1.0,可同时支持EOS和ETH的智能合约形式化验证。
VaaS的5项技术优势
VaaS是一个智能合约安全验证平台,主要来检验智能合约的安全属性和功能正确性,功能正确性是指智能合约的代码实践符合用户的预期功能需求。
在使用上,用户只需把公链的合约代码导入VaaS自动验证工具,点击「开始审计」按钮,工具就会开始审查智能合约的漏洞,并且精确到代码的哪一行存在常规安全隐患。不过,对于复杂的功能逻辑的正确性验证则需要部分人工的参与。
VaaS1.0的安全检测准确度达80%以上,但杨霞并不满意。「误报率是我们非常头疼的问题。我们需要尽可能提高精确度,降低误报率。」于是,杨霞和团队紧接着就开始了VaaS2.0的研发。
11月,Beosin发布VaaS2.0,其安全检测准确度可达95%以上。杨霞自信地说,「有些客户的智能合约在其他平台上检测没有问题,在我们的平台上却被检测出了漏洞。这种情况已经至少发生了5次了。」
当前,国内外从事VaaS形式化验证平台研发的有四家公司,包括Beosin、Certik、Securify.ch和RuntimeVerification。杨霞认为,相较于其他三家,Beosin的特色在于能够提供除ETH、EOS之外的多个区块链平台的验证工具,且准确率较高。
截至目前,Beosin已经与国内40多家区块链行业公司,如Huobi、OKEx和KuCoin等建立长期战略合作,其用户包括了交易所、项目方、公链及所有区块链从业者、开发者等。另外,Beosin的核心业务包括安全审计和定制化应用开发两方面。其中,安全方面包括智能合约安全审计、智能合约开发审计一条龙、钱包安全加固与审计、DApp安全加固与审计、区块链平台安全检测、交易所安全检测、企业级安全服务等。
杨霞介绍,作为一家区块链安全服务商,Beosin的盈利点主要有两个,分别是安全审计的服务费和应用开发的开发费用。截至11月末,Beosin已审计超过500份智能合约,实现了收支平衡。
今年3月,Beosin获得了分布式资本的种子轮融资。11月,杨霞团队又获得界石资本、盘古创富数百万美元天使轮融资,资金主要用于全生态区块链安全的产品开发和全球化市场布局。
对于现在持续的熊市,杨霞则认为,安全在任何时候都是刚需。「熊市只是相对于币圈市场来讲,但市场上除了发币合约还有落地应用合约。未来,随着落地应用越来越多,智能合约的数量肯定会爆发性增长,项目方也会越来越重视合约的安全。」
本文来源于非小号媒体平台:
Beosin成都链安
现已在非小号资讯平台发布1篇作品,
非小号开放平台欢迎币圈作者入驻
入驻指南:
/apply_guide/
本文网址:
/news/3627100.html
免责声明:
1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险
2.本文版权归属原作所有,仅代表作者本人观点,不代表非小号的观点或立场
上一篇:
利用比特币回款,横扫全球银行的黑客组织「Carbanak」
下一篇:
再提Mt.Gox,糟糕的「里程碑事件」正提升区块链世界的安全意识
标签:区块链EOSSIN非小号影视币区块链有哪些LEOS价格BusinessmanTokenonly币价格非小号2022
随着区块链技术在各个行业中的深入应用,关于该技术对于企业经营和管理带来的颠覆性的变化也在更多的被认识.
社交网络推特的首席执行官杰克·多尔西(JackDorsey)正在采取进一步措施,将比特币和其它加密货币融入他的支付业务Square。Square是一家很流行的美国移动支付公司.
尊敬的ZT用户: 为了满足ZT用户交易需求,ZT.COM结合了众多用户及项目方的意见反馈。为了给用户提供更多优质的项目,促进行业的健康发展和生态发展.
本期AMA项目为NuCypher,分享嘉宾为NuCypher的加密算法工程师JohnPacific,分享的主题为如何安全地存储、共享和管理链上私人数据.
现实总是很残酷,一年的时间足已改变一切。当你聚焦于区块链行业时,这一现象尤为明显。过去一年,随着加密数字货币的监管趋严,不少声势巨大的区块链企业已经销声匿迹;BTC行情在沉寂了一年后,似乎又坐上.
为了庆祝LBank期权交易火热上线,并拓展PHV的交易场景。我们启动了预算共10BTC的「PHV期权补偿基金」激励补偿活动.