06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月20日消息，美股开盘，道指跌0.23%、标普500指数跌0.28%、纳指跌0.58%。科技股走软，甲骨文(ORCL.N)跌2.5%、英特尔(INTC.O)跌2.3%、AMD(AMD.O)跌1.4%。区块链概念股涨跌不一。
3 分钟前
火讯财经讯，2月20日消息，美国总统特朗普表示，他正在考虑对伊朗发动有限打击。
3 分钟前
火讯财经讯，2月20日消息，据WhaleAlert监测，CoinbaseInstitutional向一未知新钱包转出30,213枚ETH，目前金额约为5,890万美元。
3 分钟前
火讯财经讯，2月20日消息，现货黄金向上触及5060美元/盎司，日内涨1.29%。现货白银日内大涨4.00%，现报81.62美元/盎司。纽约期银日内大涨5.00%，现报81.55美元/盎司。
3 分钟前
火讯财经讯，2月20日消息，据OnchainLens报道，JamesWynn（@JamesWynnReal）在合约平台开立一笔40倍杠杆的BTC小额空头头寸。
33 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
