06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月2日消息，据OnchainLens监测，“7Siblings”鲸鱼又以1500万USDT购入了6820枚ETH。过去两天，该鲸鱼总共以2332美元的价格购入了30959枚ETH，总价值达7221万美元。
24 分钟前
火讯财经讯，2月2日消息，LiquidCapital创始人JackYi（易理华）在X平台发文承认过早看多ETH是错误判断。“作为现在全网压力最大的人，首先必须承认：自从顶部清仓后，确实过早看多ETH是错误的，因为BTC在10万美元左右，ETH一直在3000美元，我们认为被低估。目前上一轮利润回吐，仓位决定思路，在控制风险的情况下，继续等待行情向上，谢谢大家关心，投资和交易是最难的，身处行业中，总是时刻忍不住看多。”
24 分钟前
火讯财经讯，2月2日消息，Cobo&F2pool联合创始人神鱼（DiscusFish）在X平台发文表示，比特币本周下跌近15%。当比特币价格达到7.5万美元时，单台功率为23.3W/T的矿机将达到盈亏平衡点（即关机价）。
24 分钟前
火讯财经讯，2月2日消息，链上信息显示，币安SAFU基金地址约27分钟前发起授权交易，先将1个地址改为“移除接收者白名单”后又重新将该地址添加至"允许接收者白名单"。或为增持比特币做准备。 此前消息，币安将对SAFU基金10亿美元稳定币储备转换为比特币储备。
24 分钟前
火讯财经讯，2月2日消息，据TheDataNerd监测，两小时前，某巨鲸开始平仓一些以太坊空头头寸。截至目前，其以太坊空头头寸未实现盈利约为850万美元。
24 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
