近日，本体生态伙伴成都链安（Beosin）推出以太坊全球第二个高度自动化智能合约形式化验证平台VaaS-ONT，已在本体智能合约集成开发环境SmartX中深度集成。相较于人工审计智能合约的传统安全防护手段，VaaS-ONT “一键式”形式化验证工具能够精确定位到有风险的代码位置，找出原因，有效验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性。2018年，成都链安加入本体“共建者计划”。（本体Ontology）
本体与成都链安推出形式化验证平台VaaS-ONT
2019/04/19 21:09
最新快讯
20:43
数据：Base月度新增用户飙升56倍，比特币新增用户每月仅增长约93.5万人
20:35
分析师：比特币此次回调与Coinbase自10月26日以来的抛售高度相关
20:30
SOL跌破190 USDT，24H涨幅收窄至3.94%
20:24
CryptoQuant：币安比特币、以太坊和USDT储备远高于其未平仓合约
20:18
USDC Treasury在以太坊上增发5000万枚USDC
Group Channel
