近日，本体生态伙伴成都链安（Beosin）推出以太坊全球第二个高度自动化智能合约形式化验证平台VaaS-ONT，已在本体智能合约集成开发环境SmartX中深度集成。相较于人工审计智能合约的传统安全防护手段，VaaS-ONT “一键式”形式化验证工具能够精确定位到有风险的代码位置，找出原因，有效验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性。2018年，成都链安加入本体“共建者计划”。（本体Ontology）
本体与成都链安推出形式化验证平台VaaS-ONT
2019/04/19 21:09
最新快讯
11:47
Arthur Hayes：已关闭BTC空头头寸并获利3%，BTC或于下周上涨
11:43
Web3生态服务Nest Layer完成新一轮融资，Manta Foundation Fund参投
11:31
前Mt.Gox CEO：当前行业内中心化风险过大，骗局项目太多
11:24
JUP Catdets：PPP Token List选择流程alpha测试阶段已启动
11:08
Arbitrum发起总额500万枚ARB的Stylus开发激励计划投票
Group Channel
