4月15日，成都链安智能合约安全负责人Zachary受邀参加信链财经第七期《如何解决智能合约安全问题》直播讨论。Zachary表示，智能合约的安全性问题的焦点在于智能合约代码的安全性，此外也存在运行环境和区块链平台的安全性问题。
Beosin-VaaS“一键式”智能合约自动形式化验证工具，可精确定位到有风险的代码位置并指出风险原因，有效的检测智能合约常规安全漏洞、安全属性和功能正确性，精确度高达95%以上，为智能合约代码提供“军事级”的安全验证。

上一篇：灰度旗下BCH和LTC信托产品已可在场外市场中交易

美国资产管理机构灰度投资（Grayscale Investment）宣布旗下的比特币现金信托和莱特币信托已经获得了许可，将可以在场外市场中进行交易。灰度表示，任何接入美国证券市场的投资者，将可以自由的通过经纪商交易这两个

下一篇：BTC短时触及11300 USDT后回落

OKEx行情显示，BTC继续拉升，短时触及11300 USDT，随后回落。现报11264.61 USDT，日内涨幅1.0%。