06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，3月17日消息，据OnchainLens监测，贝莱德在过去9小时内从Coinbase提取了3,719枚BTC（2.7414亿美元），并存入了2,018枚BTC（1.2488亿美元）。期间净流入2,018枚BTC（1.4953亿美元）。
4 分钟前
火讯财经讯，3月17日消息，据MLM监测，一个钱包集群在过去40天内从GalaxyDigital收到了3,523,331枚HYPE（1.44亿美元），使其成为这段时间内最大的买家之一。2小时前，GalaxyDigital向该集群进行了最后一次转账，金额为395,000枚HYPE（1,620万美元）。 该分析师曾认为可能是Multicoin将ETH换为HYPE，但未得到证实。
4 分钟前
火讯财经讯，3月17日消息，据链上分析师余烬监测，在ETH迎来8%上涨后，“Hyperliquid最大多军头子”在2小时前止盈平仓了4万枚ETH（9444万美元），获利1480万美元。 他前段时间在Hyperliquid上开设了价值2.9亿美元的多单，现在随着价格反弹已盈利高达4792万美元： 2000美元附近开多12万枚ETH，现在盈利4320万美元； 68420美元开多700枚BTC，现在盈利472万美元。 现在他还持有着8万枚ETH和700枚BTC多单。
4 分钟前
火讯财经讯，3月17日消息，据官方公告，美国证券交易委员会（SEC）今日提议对《交易法》第15c2-11条规则进行修订，明确该规则仅适用于股票证券，这意味着加密货币等资产不在该规则适用范围内。该规则规定了经纪商在报价或维持场外证券市场连续报价时的信息收集和审查要求，旨在防止场外股票市场的操纵和欺诈交易行为。提案将在联邦公报公布后开放60天公众意见征询期。
4 分钟前
火讯财经讯，3月17日消息，加密研究机构Messari联合创始人EricTurner在X平台发文宣布卸任CEO职务，由DiranLi接任。Turner将继续以顾问身份支持团队。DiranLi表示，此次过渡还包括一项艰难决定：裁撤了多名曾共同打造Messari的团队成员。Diran对他们的贡献表示感谢，并愿帮助其对接招聘团队。
4 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
