06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月13日消息，据CriptoNoticias报道，玻利维亚区块链协会成员计划向总统提交方案，旨在将黄金和其他贵金属在以太坊网络上代币化。拟在以太坊上对黄金及其他贵金属进行代币化，实现从矿山开采到国家储备的全流程可追溯，以期遏制腐败。拟议的模式效仿了不丹王国的做法，不丹王国于2025年12月在Solana网络上发行了一种以其主权储备为支撑的黄金代币。
18 分钟前
火讯财经讯，12月13日消息，根据SoSoValue数据，昨日（美东时间12月12日）XRP现货ETF总净流入2017万美元。 昨日（美东时间12月12日）单日净流入最多的XRP现货ETF为FranklinXRPETFXRPZ单日净流入870万美元，历史累计净流入达1.85亿美元。 其次为BitwiseXRPETFXRP，单日净流入为785万美元，目前XRP历史累计净流入达2.13亿美元。 截至发稿前，XRP现货ETF总资产净值为11.8亿美元，XRP净资产比率0.98%，历史累计净流入已达9.75亿美元。
18 分钟前
火讯财经讯，12月13日消息，香港金融管理局发布声明，“香港云泊控股/云泊控股2.0”与金管局不存在任何合作关系，该平台不受其监管。金管局目前尚未向任何稳定币发行人发出牌照，建议公众对稳定币推广宣传保持警惕，并可通过官网查阅受监管机构及相关名册。
18 分钟前
火讯财经讯，12月13日消息，据链上分析师余烬监测，在3-9月份以2.98美元的均价囤积了411.4万枚PENDLE(1226万美元)的机构，应该是PolychainCapital。这些PENDLE在8小时前被全部转进了FalconX，不过现在的PENDLE价格已经跌到2.19美元。也就是说这些PENDLE亏损了325万美元。
48 分钟前
火讯财经讯，12月13日消息，据Decrypt报道，佛罗里达州检察官查获了与海外嫌疑人（中国公民TuWeizhi）有关的约150万美元加密货币，钱包里有AVAX、DOGE、PEPE和SOL。州检察署网络欺诈执法部门已获得法院命令，可以查封TuWeizhi名下的资产。TuWeizhi目前被控洗钱、重大盗窃和有组织诈骗。佛罗里达州当局表示，如果TuWeizhi试图入境美国，将被逮捕。 调查人员指出，此次查封行动源于一项调查。该调查始于2024年7月，当时柑橘县一名居民报案称自己损失了47,421美元。这名居民将钱汇入了一个看似在线投资的项目。调查最终将这笔资金与TuWeizhi控制的一个钱包联系起来。
48 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
