06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，11月30日消息，分析师Ali在X平台援引Glassnode数据称，过去一个月，流入加密货币市场的资金约从600亿美元下降到约100亿美元。
12 分钟前
火讯财经讯，11月30日消息，比特币技术公司JAN3首席执行官SamsonMow在X平台发文表示，合作伙伴告知所有DolphinCards被暂停使用，此事非常突然且出于意料，用户资金安全且所有测试用户都将获得退款。JAN3团队目前正在与服务提供商协商具体的退款流程，退款事宜将通过JAN3账户对应电邮进行沟通，此外后续将寻找替代供应商以恢复服务。
12 分钟前
火讯财经讯，11月30日消息，据官方消息，GateAlpha将于11月30日14:00（UTC+8）开启积分夺宝第25期活动。用户持有≥100GateAlpha积分可参与积分夺宝活动，用户可投入1-10Alpha积分来参与每轮次的抽奖竞争，赢奖概率与投入积分的数量成正比。积分夺宝共20轮，每轮次单人可获3,000ADO。 GateAlpha现已支持SOL、ETH、GateLayer、BNBChain、Base、SUI、ARB、WorldChain、AVAX、Polygon、LINEA、ZK、OP和Berachain等热门公链，并可通过合约地址搜索功能实现全链代币无缝交易，打通跨链交易链路，实现链上代币一键尽有。
12 分钟前
火讯财经讯，11月30日消息，据Lookonchain监测，HyperLiquid团队近期解除了260万枚$HYPE（价值8920万美元）的质押。其中： 1,088,822枚$HYPE（价值3740万美元）重新质押； 900,869枚$HYPE（价值3090万美元）仍保留在钱包中； 609,108枚$HYPE（价值2090万美元）已发送至Flowdesk； 1,200枚$HYPE以41,193.45美元USDC的价格售出。
42 分钟前
火讯财经讯，11月30日消息，Aster在X平台更新Stage3的空投时间表，S3空投检查器将于12月1日20:00开放，空投代币申领时间范围为12月15日20:00至2026年1月15日20:00。
42 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
