06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月7日消息，据Cointelegraph报道，以太坊第二次BPO硬分叉已将blob上限提高到21，从而提升网络可扩展性并降低成本。
21 分钟前
火讯财经讯，1月7日消息，据官方公告，币安已对各项资产的储备证明（PoR）展示方式进行了更新。此次更新涉及对储备金证明中的储备资产计入范围的调整，旨在更准确的展示币安账户资产余额，减少误解并帮助用户更清晰地理解储备证明1:1支持的含义。
21 分钟前
火讯财经讯，1月7日消息，据Cointelegraph报道，周三，RAKBank获得阿联酋央行（CBUAE）发行阿联酋迪拉姆锚定支付代币的原则性批准后，正准备加入阿联酋稳定币生态系统。该银行在周三新闻稿中表示，即将推出的稳定币将由存放在独立监管账户中的迪拉姆进行1:1全额担保，并由经过审计的智能合约管理，且具备实时储备证明。此次稳定币的推出标志着RAKBank数字资产战略进入新阶段，此前该银行于2025年采取行动，允许零售客户通过受监管的经纪合作伙伴进行加密货币交易。
21 分钟前
火讯财经讯，1月7日消息，据Cointelegraph报道，巴克莱银行（Barclays）首次对一家与稳定币相关的公司——美国稳定币清算平台Ubyx进行了投资，不过未透露此次投资的具体规模。巴克莱银行数字资产与战略投资主管RyanHayward表示：“随着代币、区块链和钱包领域持续发展，专业技术将在提供连接性和基础设施方面发挥关键作用，助力受监管的金融机构实现无缝交互。此次投资符合巴克莱银行探索基于新型数字货币（如稳定币）机遇的做法。” 此前去年6月份消息，稳定币初创公司Ubyx完成1000万美元种子轮融资，GalaxyVentures领投。
21 分钟前
火讯财经讯，1月7日消息，据HyperInsight监测，0x3e56开头鲸鱼于20分钟前平仓4133万美元BTC空单头寸，获利12.8万美元，目前地址内已无持仓，暂时保持观望。
51 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
