Zcash 称 Ironwood 的证明排除了不可检测的伪造漏洞

cointelegraph发布于2026-07-29更新于2026-07-29

文章摘要

Zcash研究人员已完成对Ironwood的形式化验证，发布了一份机器可验证证明，确认该网络的新匿名资产池在其声明的密码学假设下不存在不可检测的伪造漏洞。该项目周二宣布，该证明使用Lean编程语言编写，包含超过2700条定理，由三组研究人员和密码学家耗时一个多月完成。这项工作确立了一项名为"余额完整性"的安全特性，旨在确保匿名池支付的总价值不会超过公开转入的价值。证明涵盖了实现该特性所需的组件，包括Ironwood的零知识证明系统、电路规则和账本级会计处理，但未涉及Ironwood独立的隐私保障功能。 Ironwood通过Zcash的NU6.3升级引入，旨在修复其Orchard匿名池中发现的一个理论上可能允许不可检测地伪造ZEC的漏洞。开发者表示未发现该漏洞被利用的证据。新池的设计旨在恢复对Zcash供应完整性的信心。从Orchard迁移的资金必须经过一个称为"转闸"的公共会计检查点，该机制旨在防止任何假设中多出的代币进入Ironwood。随着资金离开Orchard，此过程也可能为旧池是否曾被利用提供越来越多的证据。

Zcash 研究人员已经完成了对 Ironwood 的形式化验证，发布了一份机器可检查的证明，表明该网络的新匿名池在其声明的密码学假设下不包含不可检测的伪造漏洞。

周二，Tachyon 项目表示，这份用 Lean 编程语言编写的证明包含了超过 2，700 个定理，由三组研究人员和密码学家花费了一个多月时间完成。这项工作建立了一个名为 "余额完整性" 的安全属性，旨在确保匿名池不能支付超出公开存入总值的资产。

研究人员表示，该证明涵盖了实现该属性所需的组件，包括 Ironwood 的零知识证明系统、电路规则和账本级会计处理。它不涵盖 Ironwood 独立的隐私保证。

Ironwood 是通过 Zcash 的 NU6.3 升级引入的，旨在应对在其 Orchard 匿名池中发现的一个漏洞，该漏洞理论上可能实现不可检测的 ZEC 伪造。Zcash 开发人员表示，没有发现该漏洞曾被利用的证据。新匿名池旨在恢复人们对 Zcash 供应完整性的信心。

从 Orchard 迁移的资金必须通过一个被称为 "旋转门" 的公共会计检查点，该检查点旨在防止任何假想的超额币进入 Ironwood。随着资金离开 Orchard，该过程也可能提供越来越多的证据，以表明旧的匿名池是否曾被利用。

相关：为何 ZEC 在 Zcash 修复匿名池漏洞后仍下跌 40%

你可能也喜欢

Virtuals 推出 Hyperboost：给每个毕业代币续 14 天奖励，对抗「首日见顶」魔咒

Virtuals Protocol于7月27日推出“Hyperboost”机制，旨在缓解其平台上AI Agent代币在从bonding curve“毕业”后交易量迅速衰减的问题。该机制将毕业时代币闲置的部分供应，自动转化为为期14天的每日奖励池，用于激励交易和社交媒体内容创作。平台数据显示，超过75%的代币在毕业24小时内交易量即见顶。Hyperboost试图通过持续奖励延长市场热度窗口。然而，机制上线初期，部分新毕业代币（如AMARA、MAGE）仍出现“毕业后暴跌”的典型走势，其实际效果有待更长时间观察。社区主要关切点在于：交易奖励按交易量分配可能诱发刷量交易；内容奖励的评估标准不够透明。官方回应称奖励池总量固定，可抑制无限刷量，但具体参数未公开。 Virtuals生态目前拥有超1.8万个AI Agent代币，总市值约4亿美元。Hyperboost是其近期一系列产品更新的一部分，长远看或有助于提升平台交易活跃度及原生代币VIRTUAL的需求，但短期受整体市场情绪影响，VIRTUAL价格仍承压。

marsbit6分钟前

Virtuals 推出 Hyperboost：给每个毕业代币续 14 天奖励，对抗「首日见顶」魔咒

marsbit6分钟前

虚假创业潮：美国每年注册 580 万家新公司，70% 永远不会雇人

美国去年新注册企业数量创历史新高，近600万份申请背后却隐藏着尴尬的现实：其中高达70%的新公司被归类为“可能的非雇主企业”，意味着它们预计永远不会创造任何就业岗位。这并非创业精神的真正繁荣，而是一种“虚假创业潮”。过去二十年间，不打算雇人的新企业比例翻了一番，而可能招聘的“高倾向性”企业比例却减半，数量停滞不前。这种趋势始于新冠疫情之前，并非由AI驱动。作者指出，如今成立一家有限责任公司（LLC）仅需约15分钟和130美元，比一次约会的花费还低，这使得“创业”成了最易上手的“爱好”。大量新企业几乎没有销售额，实质上是将个人爱好或社交媒体账号包装成了公司。这股潮流的背后是“创始人崇拜”的社会风气。“创始人”头衔象征着独立、勇敢与成功，在社交媒体上备受追捧。数据显示，去年在LinkedIn个人资料中添加“创始人”头衔的美国人激增了69%。许多年轻人追求的是“创始人”身份带来的社会资本与自我认同，而非经营一份实质的事业。然而，真实的创业艰难且成功率低：约20%的企业在第一年倒闭，五年内失败率高达50%，仅有极少数能获得风险投资且实现回报。虚假创业潮推广了“创业很容易”的误导性观念，可能使许多人低估了创业所需的全情投入与巨大牺牲。文章最后呼吁，无论是选择创业还是就业，都应做出清醒、坚定的选择，而非在“副业”或“情景关系”中悬而未决。真正的意义来源于全身心投入的过程和愿意为之付出的牺牲，而非一个空洞的头衔。

marsbit8分钟前

marsbit8分钟前

Opus 5游戏提示词爆火，24小时复刻3A巨作

最近，一个名为“挑战循环”的Opus 5游戏提示词在社交媒体上爆火。该提示词的核心是利用多智能体协作与严格的质量审核机制，驱动AI在极短时间内开发游戏原型。其运作逻辑是：一个主智能体将开发任务分解，分配给多个子智能体执行，同时引入一个独立的“评委”智能体进行质量监督。该评委会将AI生成的内容与真实的3A游戏（如《使命召唤》、《星空》）进行并排对比，若质量不达标，则要求返工迭代，直至满足要求。效果显著：网友Anshu运用此方法，仅用24小时就从零开发出了一款名为《The Long Silence》的太空探索游戏，其视觉效果向3A大作看齐。原作者Matt Shumer也用它快速生成了《使命召唤》风格的游戏原型，且所有贴图、动画、声音均由AI生成，未使用外部素材。具体流程通常分为几步：首先给出基础游戏目标；然后设定一个长时间（如24小时）的持续优化目标，由多智能体并行工作提升视觉质量；最后开发者进行手动微调、代码清理和部署。Opus 5在此过程中甚至自行创建了一套包含17项校验流程的自动化验收工具。此方法迅速引发社区模仿，网友们用它成功开发出了卡丁车游戏、“Claudepunk 2077”等多种类型的游戏原型。即使在GPT-5.6 Sol等其他大模型上尝试，效果也相当不错。这印证了Opus 5在长程、多步骤任务中自我检查与迭代的能力。“挑战循环”提示词本质上是为模型的这种能力套上了一个更严格的校正与驱动机制。

marsbit11分钟前

marsbit11分钟前

凯文·沃什领导的美联储决议即将公布：TD Securities认为美元仍可能下跌的原因

根据CME FedWatch数据，美联储在周三会议上维持利率不变的概率高达95%-98%，这将是凯文·沃什接任主席以来的第五次按兵不动。市场已部分消化此预期，比特币周二一度跌至62,684美元，单日清算多头头寸1.34亿美元。 TD Securities指出，尽管市场强烈预期利率不变，但交易员仍低估了加息风险。该行认为，一旦美联储确认维持利率，美元将开始下跌，因为当前定价过度反映了加息概率。这一溢价源于地缘政治紧张和油价上涨，但TD认为美联储在7月实际加息的可能性很低。若市场预期持续至会议日，将成为近十年来市场定价与美联储行动的最大偏差之一。该行预测，会后美元将随时间推移继续走软，到2026年下半年可能下跌约2%，因美联储在通胀和劳动力市场出现更坚实证据前将维持政策不变。对于比特币，利率决定将直接影响本周剩余时间的市场走势。若美联储维持利率并释放鸽派信号，结合强劲的AI资本支出预期和积极的PCE数据，比特币可能尝试在8月冲击68,000-70,000美元区间。反之，若出现意外鹰派转向，价格可能回落至58,000-60,000美元区域。TD对美元走弱的预期也可能对比特币等风险资产构成支撑，因美元疲软通常会改善全球金融环境。

cryptonews.ru12分钟前

凯文·沃什领导的美联储决议即将公布：TD Securities认为美元仍可能下跌的原因

cryptonews.ru12分钟前

AmericanFortress提出保护加密钱包免受量子威胁的方案

美国网络安全公司AmericanFortress发布了一份名为ZKPoSP的预印本，提出一种加密方案，旨在保护分层确定性钱包免受潜在的量子攻击，且无需更改现有钱包地址格式。该方案的核心是用非交互式零知识证明替代传统的数字签名。此外，公司还描述了QBIP32方案，旨在通过单次函数调用生成签名标量、独立的量子抗性证明和链码，并声称可适用于包括secp256k1和Ed25519在内的多种椭圆曲线。方案的后量子安全性依赖于哈希函数和零知识证明对量子攻击的抵抗能力，但需区块链节点支持验证此类证明，而比特币、以太坊、Solana等主要网络目前均不支持。根据AmericanFortress在Rust上的实现，生成签名证明约需12-13秒，验证仅需9-10毫秒。背景方面，Galaxy三月报告指出约有价值4700亿美元的比特币可能因公钥已暴露而面临量子威胁。近期，多家公司和联盟，如Freedom Factory、Bitcoin Security Consortium及Galaxy自身，均宣布了推动后量子密码学研究和开发的资助计划。AmericanFortress此次方案是其五月提出的后量子签名方案的延伸，特别专注于分层确定性钱包并提供了更通用的机制。

cryptonews.ru32分钟前

cryptonews.ru32分钟前

交易

现货

热门文章

什么是 DOGE M

Doge Matrix ($doge m)：新一代社区驱动的加密货币介绍在不断演变的加密货币领域，新项目层出不穷，每个项目都旨在吸引投资者和爱好者的关注。最新进入这一领域的项目之一是Doge Matrix，代表符号为$doge m。由于其扎根于围绕Dogecoin的流行表情包文化，该项目引起了关注，并在web3空间中确立了自己的位置。本文旨在对Doge Matrix进行全面分析，涵盖其概述、创始人、投资者、功能、时间线和显著特点。什么是Doge Matrix ($doge m)？ Doge Matrix是一个社区驱动的加密货币项目，似乎建立在Dogecoin的广泛吸引力之上，这是一种以柴犬吉祥物和表情包起源而闻名的数字货币。虽然Doge Matrix的总体目标并没有被广泛定义，但它的特点是致力于利用社区的参与和支持。与传统加密货币通常强调实用性或通过底层技术体现内在价值不同，Doge Matrix将自己定位于一个拥抱加密货币文化现象的空间，特别吸引那些与基于表情包资产的精神产生共鸣的人。 Doge Matrix借助Dogecoin社区的优势，作为更广泛生态系统的一部分运作，邀请对加密货币和数字领域感兴趣的用户参与和互动。 Doge Matrix ($doge m)的创始人是谁？ Doge Matrix的创始人身份仍然未知。这种缺乏透明度在加密货币领域并不罕见，一些项目在未透露创始人身份的情况下启动。关于创始团队缺乏信息可能会引发潜在投资者对项目的问责和方向的质疑。 Doge Matrix ($doge m)的投资者是谁？目前，没有公开的信息详细说明支持Doge Matrix的投资者或投资基金。该项目似乎主要依赖于社区支持，而不是机构投资。这一模式与该倡议的社区驱动性质相一致，营造了一个项目方向由参与者而非少数财务支持者决定的环境。 Doge Matrix ($doge m)是如何运作的？关于Doge Matrix的运营机制的具体细节有些模糊，反映了表情包币领域项目的一个更广泛趋势，即创新功能并不总是明确阐述。然而，Doge Matrix似乎旨在通过鼓励用户参与，同时利用与Dogecoin相关的熟悉文化参考，来利用现有的加密货币生态系统。其潜在的独特特征源于社区互动，而非技术进步，强调代币持有者之间的共享经验和协作。虽然确切的创新尚未明确列出，但该项目似乎创造了一个社区成员可以互动、分享想法并推动项目潜力的空间。 Doge Matrix ($doge m)的时间线回顾该项目的时间线，揭示了一些定义其迄今为止旅程的重要事件： 2024年11月25日：Doge Matrix达到了历史最高值，标志着其早期历史中的一个重要里程碑。 2025年1月1日：相反，Doge Matrix达到了历史最低值，说明了加密货币通常伴随的波动性，尤其是在项目生命周期的早期阶段。持续进行中：该项目仍在积极交易，并得到其社区的支持，尽管具体的未来里程碑或目标尚未披露。关于Doge Matrix ($doge m)的关键点社区关注 Doge Matrix的核心是对社区参与的承诺。该项目基于成员之间的合作和共同目标的前提而蓬勃发展，强调集体努力的重要性。与通常有明确领导结构的集中项目不同，Doge Matrix目前展示了一种更灵活的治理方式，每个社区成员的声音都很重要。波动性加密货币市场以其波动性而闻名，Doge Matrix也不例外。其价格历史反映了高低值之间的显著波动，这在许多新加密货币中是典型的，但也突显了投资新兴代币所带来的风险。缺乏详细信息 Doge Matrix最引人注目的特点之一是关于其技术基础和运营机制的详细信息稀缺。这种模糊性要求潜在投资者在参与该项目之前进行彻底的尽职调查。结论总之，Doge Matrix ($doge m)展示了一波新兴的加密货币项目，这些项目在很大程度上依赖于社区参与和文化相关性。尽管在某些细节上缺乏明确性——例如清晰的领导、明确的目标和详细的功能——该项目仍然成功地在加密社区中引起了兴趣，利用了表情包文化的既有吸引力。与任何加密货币投资一样，理解固有风险并进行全面研究对于潜在参与者至关重要。Doge Matrix提醒我们，加密行业的动态性和有时不可预测的特性，标志着不断的演变和对社区驱动倡议的热情。

1.1k人学过发布于 2025.02.03更新于 2025.02.03

什么是 $M

理解 Mantis ($M)：跨链互操作性的新纪元在不断发展的 Web3 和加密货币领域，新项目努力提供创新解决方案，旨在提升用户体验并扩展去中心化金融生态系统中的功能可能性。其中一个备受关注的项目是 Mantis ($M)，这是一个基于跨链互操作性和基于意图的结算原则的开创性协议。本文深入探讨 Mantis 的基本方面，包括其核心功能、创建者、投资支持、创新特性和关键里程碑。什么是 Mantis ($M)？ Mantis 被描述为一个多领域意图结算协议，简化跨链交互，使用户能够在各种区块链平台上无缝执行复杂的金融交易。该协议通过三个主要层次运作：意图表达：用户可以使用自然语言表达他们的交易目标，借助 DISE LLM，一个先进的 AI 语言模型。例如，用户可能会表达希望以 1% 的特定滑点容忍度将以太坊 (ETH) 兑换为索拉纳 (SOL)。执行：这一层利用一网络的求解者竞争以满足用户意图。交易通过需求一致性 (CoWs) 和订单流拍卖 (OFAs) 等机制执行，确保用户需求得到最佳满足。结算：利用跨区块链通信 (IBC) 协议，Mantis 实现原子跨链交易，使用户能够在包括以太坊、索拉纳和 Cosmos 在内的各种支持链上操作。 Mantis 旨在为闲置资产引入原生收益生成，利用密码学证明在整个过程中保持交易的完整性。创建者与开发团队 Mantis 由 Composable Foundation 构思，该组织以其对区块链互操作性解决方案的重视而闻名。该基金会与包括哈佛大学和里斯本大学在内的知名学术机构合作，致力于广泛的研究和开发工作，以指导 Mantis 的架构和功能。 Composable Foundation 对于促进区块链领域创新的承诺，使 Mantis 成为满足多个区块链网络间互操作性日益增长需求的强大解决方案。投资者与支持虽然关于个别投资者的具体细节尚未公开披露，但 Mantis 得到了来自多个实体的 substantial 支持，包括：来自 IBC 支持链的生态系统补助，支持协议在去中心化金融生态系统中的增长和整合。与基础设施提供商的战略合作伙伴关系，增强 Mantis 的网络能力和部署策略。通过 Composable Foundation 的财政支持，确保持续的财务支持以满足持续开发和运营成本。这些合作努力反映了利益相关者对增强跨链功能和 Mantis 基础设施创新潜在效用的重要性达成共识。关键创新 Mantis 通过几项开创性创新使其功能和效用得以提升：链无关意图：用户可以从任何支持的链发起交易，同时在另一条链上结算。这种灵活性赋予用户权力，推动不同平台之间的互动增加。 AI 驱动界面：DISE LLM 的集成使用户能够使用自然语言进行复杂的 DeFi 操作，从而简化交互，使区块链技术对更广泛的受众可及。跨域 MEV 捕获：Mantis 通过求解者之间的竞争创建了一个最大可提取价值 (MEV) 的内部市场。这种创新方法允许在复杂交易中实现更高的效率和价值提取。模块化结算层：该协议支持多种验证方法，包括零知识证明和乐观汇总，提供一个可以适应新兴区块链技术的多功能框架。历史时间线 Mantis 的发展标志着几个关键里程碑，描绘了其轨迹和增长： | 年份 | 里程碑 | |————|————————————————————————-| | 2022 | 在 Composable Foundation 的研究部门内进行初步概念开发。 | | 2024 年 Q3 | 启动具有索拉纳和以太坊之间桥接能力的测试网。 | | 2025 年 Q1 | 预计代币生成事件 (TGE) 与主网启动同时进行。 | | 2025 年 Q2 | 预计集成 DISE LLM 并扩展跨链能力。 | | 2025 年下半年 | 计划通过进一步的 IBC 升级支持超过 15 条链。 | 该时间线概述了 Mantis 的演变，从概念讨论到积极实施和未来增长阶段。生态系统增长策略 Mantis 的生态系统增长策略包括几项旨在鼓励用户参与和开发者参与的举措：积分系统：用户可以通过提供流动性和参与推荐计划获得协议积分。这些积分可在未来兑换奖励，促进一个强大的用户社区。模块化软件开发工具包 (SDK)：该工具包使开发者能够基于意图驱动模型创建应用程序，利用 Mantis 的基础设施，从而促进其生态系统内的创新。治理模型：随着协议的成熟，$M 代币持有者将对协议治理拥有发言权，允许他们对提议的升级和变更进行投票，从而增强社区参与和去中心化。 Mantis 代表了跨链架构领域的重大进展。通过无缝集成先进的 AI 算法与强大的结算框架，Mantis 旨在解决多链生态系统中的碎片化问题。其创新方法优先考虑改善用户体验，同时遵循去中心化和安全性的基本原则，为区块链技术的未来互操作性设定了新标准。随着 Mantis 继续其增长和实施之旅，它承诺成为 Web3 和去中心化金融竞争格局中值得密切关注的项目。凭借其跨越边界和提升用户参与的关注，Mantis 有望成为加密货币领域未来发展的重要组成部分。

282人学过发布于 2025.03.18更新于 2025.03.18

如何购买M

欢迎来到HTX.com！我们已经让购买MemeCore（M）变得简单而便捷。跟随我们的逐步指南，放心开始您的加密货币之旅。第一步：创建您的HTX账户使用您的电子邮件、手机号码注册一个免费账户在HTX上。体验无忧的注册过程并解锁所有平台功能。立即注册第二步：前往买币页面，选择您的支付方式信用卡/借记卡购买：使用您的Visa或Mastercard即时购买MemeCore（M）。余额购买：使用您HTX账户余额中的资金进行无缝交易。第三方购买：探索诸如Google Pay或Apple Pay等流行支付方法以增加便利性。C2C购买：在HTX平台上直接与其他用户交易。HTX场外交易台（OTC）购买：为大量交易者提供个性化服务和竞争性汇率。第三步：存储您的MemeCore（M）购买完您的MemeCore（M）后，将其存储在您的HTX账户钱包中。您也可以通过区块链转账将其发送到其他地方或者用于交易其他加密货币。第四步：交易MemeCore（M）在HTX的现货市场轻松交易MemeCore（M)。访问您的账户，选择您的交易对，执行您的交易，并实时监控。HTX为初学者和经验丰富的交易者提供了友好的用户体验。

2.7k人学过发布于 2025.07.02更新于 2026.06.18

Zcash 称 Ironwood 的证明排除了不可检测的伪造漏洞

文章摘要

热门币种推荐

相关问答