06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月19日消息，Aptos宣布将进行APT的代币经济模型更新，转向由绩效驱动的代币供给机制，将APT的供给与网络实际使用率挂钩。具体而言，本次更新主要有以下七项内容： 1.降低质押奖励率并激励长期质押者。Aptos基金会已提案将年化质押奖励率从5.19%降低至2.6%。此外Aptos基金会正在探索一项治理提案，以改变质押框架，更好地将激励与长期网络参与对齐。 2.将Gas费用提高10倍。Aptos目前是成本最低的区块链之一，鉴于当前交易费用如此之低，Aptos基金会将通过治理提议将Gas费用提高至当前金额的10倍，提高之后倍该网络上的稳定币转账费用仍将低至约0.00014美元。 3.交易利用率与费用。通过Aptos链上的去中心化交易所协议Decibel引入新型通缩机制，高频交易活动将大规模地消耗并销毁APT。 4.硬性供给上限固定为21亿枚APT。一旦得到社区批准，超过此上限将无法铸造任何新代币。 5.基金会永久锁定2.1亿APT。Aptos基金会将确保2.1亿APT被锁定并永久质押在网络中。这些代币永远不会被出售或分发，并被永久锁定。 6.与绩效挂钩的赠款发行。未来Aptos基金会将主要专注于提供未来的赠款和奖励，这些赠款和奖励只有在达成与Aptos作为“全球交易引擎”角色相关的关键里程碑后才会兑现。 7.启动程序化回购计划。Aptos基金会已承诺探索一个协议回购计划或储备，该计划将根据市场机会在公开市场上程序化地回购APT。
12 分钟前
火讯财经讯，2月19日消息，以太坊基金会发布2026协议优先级更新，其中指出将围绕三条轨道推进： 扩容（整合L1执行与Blob扩容） 改进用户体验（聚焦原生账户抽象与跨链互操作） 加强L1层（强化安全性、抗审查与网络韧性） 不仅如此，以太坊基金会表示将继续推动GasLimit向100M及以上提升、推进ePBS与进一步Blob参数上调、推进zkEVMattesterclient、以及抗审查与后量子相关安全工作；下一次主要升级Glamsterdam目标为2026年上半年，Hegotá计划于年内后续跟进。
42 分钟前
火讯财经讯，2月19日消息，据OnchainLens监测，某个与Pump.fun关联钱包已售出20.7亿枚PUMP代币，获得价值455万美元的USDC，该钱包还持有16.76亿枚PUMP，价值约合338万美元。
42 分钟前
火讯财经讯，2月19日消息，据链上数据监测，麻吉大哥已平仓BTC、HYPE和VVV多单，亏损27.57万美元，目前仅持25倍杠杆以太坊仓位，总亏损超2815万美元。
42 分钟前
火讯财经讯，2月19日消息，比特币财库公司Strategy创始人MichaelSaylor在X平台转发特朗普次子EricTrump在WorldLibertyForum中接受CNBC采访，其表示，基于历史平均年涨幅70%，比特币将达100万美元。
42 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
