加载中…
共 51 条相关内容
二十五位菲尔兹奖获得者警告人工智能与数学之间的不一致
OpenAI 的数学突破暴露了加密安全的下一个薄弱环节
应用材料公司首席执行官表示人工智能热潮远未结束。他的订单就是证据
随着研究人员提出数据担忧，OpenAI 面临对纳维-斯托克斯问题主张的审查
奇妙的证明？ Ripple 荣誉首席技术官表示 XRP 账本已达成共识
Cardano 创始人评估 OpenAI 的数学突破
Arthur Hayes 推出 FLOP 代币经济学和推理网络证明
QuFi 推出使用比特币测试网证明的后量子验证平台
怀俄明州将其稳定币储备放到链上，未偿还金额不足 100 万美元
Ripple 新闻：BIS 转向 XRP Ledger 进行 3-5 秒数据验证
怀俄明州采用 Chainlink FRNT 储备证明
怀俄明州为州稳定币代币添加 Chainlink 储备证明
怀俄明州需要国家发行的稳定代币的 Chainlink 证明
怀俄明州为州发行的稳定代币添加了 Chainlink 储备验证
怀俄明扩大与 Chainlink 合作，引入 FRNT 链上储备核验与安全铸造机制
CoinGecko 使用 Core3 基础设施更新了交易所网络安全分数
储备证明：如何检查交易所的储备健康状况
Zcash 私人交易可能会降至 200 毫秒以下
Deribit 将 90% 的客户资产转移到 Coinbase，然后取消了每日的准备金证明检查
Blockstream提交比特币抗量子升级提案SHRINCS
类人猿和瓦普人
人工智能公司正在优化速度，声称在数学问题上取得突破的速度超出了社区验证它们的能力。该声明指出，最近发生了一些人工智能系统对长期存在的数学问题提出索赔的事件，其中包括千年奖类别的问题。《莱顿宣言》广泛涉及多个专业，而这封新信则重点关注人工智能公司的市场驱动时间表如何具体破坏数学完整性。
也记录加密货币到加密货币的交换 比特币可能不是直接兑欧元购买的。投资者应保护这些记录 对于可靠的比特币税务文件，以下内容特别有用： 完整的交易历史， 购买和销售报表， 钱包地址， 交易 ID， 自行转账， 购置成本， 收购日期， 费用， 使用的汇率， 税务报告， 银行存款和取款。奥地利税务局必须能够
未解决的测试是定理证明系统是否能够适应生产软件，同时生成开发人员和审计人员可以检查的证明。OpenAI 最新的数学突破可以使自动化定理证明更接近智能合约安全工作流程。下一个测试是能够处理研究数学的系统是否可以适应生产软件并生成开发人员和审计人员可以进行有意义的检查的证明。
应用材料公司将领先的代工逻辑、DRAM 和先进封装列为增长最快的三个领域，预计将占 2026 年和 2027 年晶圆厂设备增长的 80% 左右。应用材料公司（纳斯达克股票代码：AMAT）的客户正在向该公司提供八个季度的滚动预测和更长的工具发货承诺。我们的分析师梳理了整个股市，并列出了目前最值得买入的
OpenAI 表示，它解决了数学中最难解决的问题之一。9月8日，OpenAI宣布其内部人工智能模型已经解决了纳维-斯托克斯存在性和平滑性问题，这是克莱数学研究所设立的七个千年奖问题之一。研究人员提出了这样的疑问：OpenAI 的人工智能系统是否可能在他们自己在平台上进行讨论的过程中无意中访问了他们存
EIP-8288 由 Vitalik Buterin 创作，于 2026 年 9 月 9 日合并到以太坊 EIP 存储库中，引入了递归 STARK 聚合框架，可以从根本上重塑网络处理加密证明的方式。区块构建者和内存池运营商处理递归证明组合，然后提交验证者可以廉价验证的单个聚合证明。遗漏责任解决了当区
作为 XRP Ledger 的原始架构师，施瓦茨回应说，他“发现了 XRPL 共识算法形式有效性的绝佳证明”。我发现了 XRPL 共识算法形式有效性的绝佳证明，但 X 的帖子长度限制使得帖子太小而无法包含它。它可能是对 XRPL 使用的先进形式验证技术的一种有趣的认可，或者它可能表明 XRP Led
霍斯金森对研究人员将未发表的工作在线输入集中式云人工智能系统提出了保密问题。在他发表评论之前，OpenAI 声称内部系统为纳维-斯托克斯千禧年奖问题提供了解决方案。OpenAI 声称其系统解决了 Navier-Stokes 问题 OpenAI 于 9 月 8 日发布了其研究报告。
SitusAMC Holdings Corporation 的索赔网站称，2025 年 11 月 12 日的事件涉及未经授权的访问和从其系统中泄露数据。不要错过任何一个节拍 – 订阅即可将电子邮件提醒直接发送到您的收件箱 免责声明：The Daily Hodl 表达的观点不构成投资建议。The Da
该基准报告了 190,628 个 Gas 用于证明验证，高于提议的 100,000 个 Gas 限额。拟议的 100,000 Gas 保证仍然低于新隐私基准中报告的证明验证成本。mmjahanara 9 月 2 日的基准测试报告称，优化的 Groth16 证明验证器需要 190,628 个 Gas。
摘要 Arthur Hayes 发布了 FLOP 白皮书，详细介绍了一个区块链，其中人工智能代理以 FLOP 方式向矿工支付推理和计算资源费用。根据 Hayes 分享的 FLOP 网络详细信息，该协议旨在让自主人工智能代理直接向矿工支付推理费用，并由验证者解决已完成计算工作的证明。该提案描述了矿工的
据 QuFi 称，该方法是围绕将“验证”与“结算”分离而构建的，以便可以使用后量子密码学来验证交易，而价值最终在熟悉的网络上结算。要点 QuFi 的平台在将交易结算到现有区块链网络之前使用后量子加密技术验证交易，避免直接在链上部署后量子签名。uBTC 是测试网上以比特币为中心的概念证明，验证 BTC
Anthropic 的 Claude 使用 Lean 4 生成了费马大定理的第一个完整的机器检查形式化，Lean 4 是一个证明助手，其功能就像一位残酷诚实的数学老师，拒绝让你跳过任何步骤。形式化实际上意味着什么 安德鲁·怀尔斯 (Andrew Wiles) 于 1995 年证明了费马大定理，数学界
与 SVM 兼容的工作量证明链使用新颖的“Logits 证明”机制来大规模加密验证 AI 输出 Ambient 构建了第 1 层区块链，其中工作量证明中的“工作”被经过验证的人工智能推理所取代。矿工不处理哈希，而是处理通过链上拍卖系统提交的人工智能查询。去中心化推理网络将处理分布在多个独立的矿工之间
怀俄明州稳定代币委员会于 9 月 2 日采用了 Frontier 稳定代币的 Chainlink 储备证明。监管与政治 怀俄明州稳定代币委员会于 9 月 2 日采用 Chainlink 储备证明作为 Frontier 稳定代币的独家链上验证层，将 The Network Firm 检查的储备和供应余
发现：最佳代币预售 在瑞波币利好消息的推动下，XRP 价格本周能否触及 2 美元？XRP 价格为 1.36 美元，刚刚经历了 48 小时的剧烈波动。追逐不对称上涨的交易者越来越多地关注早期阶段的交易，围绕 XRP 的机构流动数据表明资本正在轮换，而不仅仅是持有。
怀俄明州稳定代币委员会于 9 月 2 日采用 Chainlink 储备证明，发布州发行的 Frontier 稳定代币（FRNT）的近实时储备和供应数据。摘要 怀俄明州采用 Chainlink 储备证明在链上发布经过验证的 FRNT 储备和供应数据。您可能还喜欢：怀俄明州在安全审查后将 FRNT 移至
怀俄明州稳定代币委员会表示，它已扩大与 Chainlink 的整合，以使用 Chainlink 储备证明发布经过验证的储备和代币供应数据。要点 怀俄明州稳定代币委员会表示，它采用了 Chainlink 储备证明来在链上发布经过验证的 FRNT 储备和供应数据。该委员会的新公告以 Chainlink
国际清算银行 (BIS) 已测试 XRP Ledger 作为经济统计的公共验证层。验证问题 下载官方统计文件的人如何确定它与发行人发布的文件相同？BIS 原型通过保留数据集指纹的独立记录，在区块链的帮助下增加了验证。
怀俄明州稳定代币委员会表示，它采用了 Chainlink 储备证明，在区块链上发布有关 FRNT 储备和代币供应的经过验证的信息。要点 怀俄明州委员会采用 Chainlink 储备证明，近乎实时地在链上发布经过验证的 FRNT 储备和供应数据。怀俄明州稳定代币委员会表示，它已经发布了 FRNT 的每
随着预言机提供商扩大其在代币化金融市场的足迹，怀俄明州正在使用 Chainlink 为 FRNT 带来近乎实时的链上储备验证。怀俄明州稳定代币委员会周三表示，它采用了 Chainlink 储备证明来发布有关 FRNT 储备和链上代币供应的经过验证的数据。根据 CoinGecko 的数据，Chainl
据The Block报道，美国怀俄明州稳定币委员会宣布采用 Chainlink Proof of Reserve，为州官方稳定币 Frontier Stable Token（FRNT）提供近实时的链上储备核验，并在此前将跨链基础设施从 LayerZero 迁移至 Chainlink CCIP 的基础
近一半的接受评估的加密货币交易所缺乏基本的安全措施，例如新评分框架下的储备证明、渗透测试和错误赏金 CoinGecko 已经更换了其中心化交易所 Trust Score 背后的引擎，从旧的 CER.live 平台迁移到了由区块链安全公司 Hacken 构建的风险情报工具 CORE3。根据 CORE3
准备金证明（PoR）是一种验证交易所资产并将其与客户负债进行比较的方法。目的是提供证据证明交易所持有足够的资产来覆盖评估范围内的客户负债。储备证明可以提供证据，证明交易所拥有足够的资产来承担评估中包含的负债。
区块链网络将为巴西公司平台上的供应链记录提供加密证明 Blockforce 自 2018 年以来一直在构建基于区块链的供应链解决方案，主要服务于巴西的时尚和农业行业。该公司的一个大型项目涉及巴西主要零售商 Riachuelo，该公司推出了据称为 100% 可追溯的农业生态棉服装。卡尔达诺基金会一直在构建远远超出 DeFi 和 NFT 范围的现实世界用例，过去的举措涉及农业和葡萄酒认证等领域，这些领域的来源数据被锚定到卡尔达诺的区块链上以验证原产地声明。竞争格局包括以太坊、Polygon 和唯链等专门构建的供应链网络，所有这些都针对类似的企业供应链用例。
Zakura 于 8 月 29 日发布了一个开源加密工具包，据称可以将构建一些私人 Zcash 交易所需的时间从超过 3 秒减少到 200 毫秒以下。摘要 开发人员声称，Zakura Common 将交易构建时间从超过 3 秒缩短至 200 毫秒以下。钱包开发人员可以采用开源库，而无需首先协调 Zcash 网络升级。您可能还喜欢：Zcash 价格目标为 840 美元，因为看涨趋势保持不变 Zcash 钱包更快地生成隐私证明 Zcash 屏蔽交易隐藏了发送者、接收者和转账金额。
VARA 规则仍然要求 1:1 准备金、每日对账以及至少每六个月进行一次独立审计。这一变化结束了客户端级别的默克尔检查，但本身并不表明储备金短缺。监管机构要求的准备金、对账和审计控制仍将保留，但它们不会提供相同的日常公众可见性。迪拜虚拟资产监管局要求受监管的虚拟资产服务提供商维持相当于客户负债 100% 的准备金，一对一地持有同一资产，每天进行核对，并至少每六个月进行一次独立的第三方准备金审计。
据Cointelegraph报道，Blockstream已提交比特币改进提案（BIP），为其后量子签名方案SHRINCS发布具体升级建议。SHRINCS已在Blockstream的Liquid侧链上完成生产环境测试，签名最小548字节，约为比特币现有Schnorr签名（64字节）的九倍，但远小于NIST批准的SPHINCS+等方案。Blockstream研究显示，若采用SHRINCS，比特币吞吐量可维持在约3 TPS，接近当前水平；若采用NIST批准的方案则可能降至0.36-0.5 TPS。
类人猿和瓦普人 目前有很多关于 NFT（不可替代代币）的讨论。NFT 是一种加密技术或 web3 技术，可以被视为“原始”技术。在这种情况下，原语意味着基础结构或新网络基础设施的一部分。
In February, we launched Linea Park — an immersive onchain gaming experience.
