06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月6日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓2.95亿美元，其中多单爆仓2.32亿美元，空单爆仓6277.19万美元。BTC爆仓总金额1.09亿美元，ETH爆仓总金额6758.10万美元。
27 分钟前
火讯财经讯，12月6日消息，据BitcoinMagazine在X平台披露信息称，哈佛大学持有的比特币ETF多于其持有的谷歌股票。
57 分钟前
火讯财经讯，12月6日消息，富兰克林邓普顿（FranklinTempleton）旗下XRP现货ETF上市首周持仓已增至近6300万枚，截至12月5日该ETF的XRP持仓量已达到62,994,999.475枚（由CoinbaseCustody负责托管），持仓市值约合127,838,272.22美元，此外目前该ETF的总净资产规模为1.2563亿美元，流通股数量也已扩大到570万份。
1 小时前
火讯财经讯，12月6日消息，币安联系CEO何一在X平台发文表示：“币安的官推用什么称呼自己，发帖的风格，是他们的日常工作的自由，但币安的员工不能参与任何代币项目的发行与推广。目前社区以币安官推、我的言论、发帖中截取词汇进行发币是社区行为和币安无关。但我们不能因为有人会来找角度就不发推。表达的宿命是曲解。鼓励员工创新、尝试特指他们的日常工作，和任何发币项目无关，请大家注意投资风险。DOYR！”
1 小时前
火讯财经讯，12月6日消息，据金十报道，马斯克表示欧盟应当被废除，主权应归还给各个国家，这样政府就能更好地代表其民众了。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
