06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，11月2日消息，据链上分析师Ai姨监测，在Aave循环做多ETH的大户0xC26...7869C于8小时前抛售2500ETH（约967万美元），卸掉了一部分杠杆。其在10.13-10.27期间并以均价4197美元买入2989枚ETH，这次卖出将亏损82万美元；目前在Aave仍抵押13,504.56ETH并借出3724万枚稳定币，健康度1.16。
31 分钟前
火讯财经讯，11月2日消息，据Techinasia报道，印尼央行将推出印尼盾数字版（RupiahDigital），这是印尼盾证券（SekuritasRupiahBankIndonesia，SRBI）的数字化版本，并将在2030年前分阶段推广。 印尼央行计划逐步推进，首先在2025年至2026年间进行数字证券发行、转账和取款的试验。2027年至2028年间，将进一步测试货币操作和金融市场交易，随后在2029年至2030年间推出可编程性、可组合性和代币化等高级功能。根据印尼央行的《2030年支付系统蓝图》，印尼盾数字版将基于分布式账本技术构建。
31 分钟前
火讯财经讯，11月2日消息，据欧易OKX行情显示，日内涨幅排名靠前的几个代币为：MINA现报0.126美元，日内涨幅19.29%；LPT现报6.285美元，日内涨幅14.44%；BLUR现报0.05美元，日内涨幅3.95%；ZK现报0.0451美元，日内涨幅3.58%；TIA现报0.963美元，日内涨幅2.34%。 此外，日内跌幅排名靠前的几个代币为：WLD现报0.851美元，日内跌幅3.03%；HBAR现报0.195美元，日内跌幅2.64%；ICP现报3.401美元，日内跌幅1.62%；XTZ现报0.575美元，日内跌幅1.30%；1INCH现报0.167美元，日内跌幅1.24%。
1 小时前
火讯财经讯，11月2日消息，KITEFoundation发推表示，现已上线KITE代币空投查询，空投领取将在11月3日20:00（UTC+8）开放。 此前消息，Kite已完成测试网和NFT快照，48%的KITE代币将分配给社区和生态。
1 小时前
火讯财经讯，11月2日消息，美国SEC于10月31日对《全国市场体系规则》（RegulationNMS）的若干合规日期给予临时豁免。该豁免令为交易所提供了一个先例，当规则处于变化之中，监管机构无法提供明确的指导时，执法行动应当暂停，直到监管机构制定出切实可行的标准。公告中提到拨款中断，以及在法院驳回暂缓执行申请后，需要“促进市场有序运作”。加密货币交易所Coinbase、Kraken和币安等或许会适用同样的逻辑。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
