详细内容
区快洞察消息，区块链安全公司成都链安宣布推出针对「Fabric 链码」的自动形式化验证工具「Beosin-VaaS for Fabric」，链安表示这将会为链码提供「军事级」的安全验证。HyperLEDger Fabric 是 Linux 基金会旗下的开源区块链平台，IBM 、AWS、SAP、Oracle、蚂蚁金服、腾讯、百度、华为等企业均推出了基于 Fabric 的区块链解决方案。据成都链安介绍，智能合约在 Fabric 中被称为「链码」（Chaincode），由于区块链的分布式特性，如果链码存在安全问题将直接导致企业遭受损失，链码的更新和维护均需要较大成本，如果链码因为安全问题需要更新，也将使企业花费较大的人力和物力，所以成都链安推出了全球首个 Fabric 链码自动形式化验证工具。Fabric-VaaS 服务将针对 Hyperledger Fabric 智能合约，利用形式化验证对合约源码进行检测，可以验证 20 余种人工难以察觉的风险，这一技术已经在以太坊、本体、EOS 等公链以及蚂蚁 BaaS 等联盟链上有成熟的应用。
区快洞察消息，加密货币交易所 BitGoGo 发布公告称，为了保障用户资产安全，暂将部分数字资产按照 180 天且年化 20% 收益进行「冻结理财」，包含的数字资产为 BTC、ETH、EOS、LTC、BCH、BSV、ETC 以及 USDT。BitGoGo 表示，以上数字资产将于新加坡时间 2019 年 12 月...
区快洞察消息，Binance Research 发布 Staking 相关研究报告 The Rise of Staking ，报告对 14 个 项目的预计年收益率进行分析。根据该报告显示，基于 Cosmos 的跨链 DeFi 平台 Kava 的 Staking 预计年收益率最高，约 14-16%，其次分别为 Algorand 预计年化收益率的 ...
该企业最新头条微商机