06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月14日消息，彭博ETF分析师EricBalchunas发文称，Roundhill已递交多只ETF申请，拟通过掉期或直接持有政治选举“事件合约”获取敞口（如“民主党总统合约”，以2027年1月20日就职者党派判定yes/no）；若获批或为预测市场资产证券化打开新通道。
26 分钟前
火讯财经讯，2月14日消息，链上数据显示，比特币巨鲸GarrettJin（BitcoinOG1011short）疑似已卖出其此前转入Binance的5,000枚BTC，约合3.49亿美元。其后他从Binance提现5,312万枚USDT，被认为与本次BTC变现相关。目前该地址仍持有逾30,000枚BTC，按现价约合20.9亿美元。
56 分钟前
火讯财经讯，2月14日消息，美国怀俄明州稳定币委员会在发行州支持稳定币FrontierStableToken（FRNT）后，正招聘两名2026年暑期法律实习生，协助完善法律与合规框架。该岗位为无薪或学分制，面向具备较强调研与写作能力、关注加密货币与区块链监管的法律专业学生。
1 小时前
火讯财经讯，2月14日消息，据OnchainLens报道，比特币早期地址“BitcoinOG(10/11)”刚刚向币安转入5,000枚BTC，按当前价格约合3.85亿美元。
1 小时前
火讯财经讯，2月14日消息，据OnchainLens报道，比特币早期地址“BitcoinOG(10/11)”刚刚向币安转入5,000枚BTC，按当前价格约合3.85亿美元。
2 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
