06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月6日消息，欧易OKX行情显示，ETH刚刚跌破3000美元，现报2997.38美元/枚，日内下跌3.51%。
2 小时前
火讯财经讯，12月6日消息，欧易OKX行情显示，BTC刚刚跌破89000美元，现报88937.00美元/枚，日内下跌1.68%。
5 小时前
火讯财经讯，12月5日消息，LiquidCapital创始人易理华在X平台发文称，以太坊Fusaka升级后blobbasefee暴涨1500万倍，核心原因是EIP-7918新增blob费用“保底机制”——此前blob费无最低限制，长期卡在1wei（几乎免费），导致节点承担KZG验证等成本却无合理收益；升级后blob费需≥L1执行basefee的1/15.258，直接锚定真实网络成本。这一设计既让价格反映实际资源消耗（避免L2无偿占用网络资源），又能通过价格波动调节blob流量、预防拥堵，同时PeerDAS技术提升了blob存储容量；此外，blob费用纳入ETH销毁机制，据测算未来或多烧毁8倍ETH，2026年有望贡献总烧毁量的30-50%（具体取决于L2交易量增长）。
5 小时前
火讯财经讯，12月5日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓3.35亿美元，其中多单爆仓2.49亿美元，空单爆仓8549.90万美元。BTC爆仓总金额1.13亿美元，ETH爆仓总金额8229.71万美元。
5 小时前
火讯财经讯，12月5日消息，据金十报道，Cloudflare(NET.N)表示，12月5日的宕机事件总共造成约25分钟的影响，此次宕机并非由网络攻击所致。
5 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
