# 零知识证明的所有文章

在 HTX 新闻中心浏览与「零知识证明」相关的最新资讯与深度分析。潘盖市场趋势、项目动态、技术进展及监管政策，提供权威的加密行业洞察。

从ZEC暴涨到Vitalik力挺，隐私叙事会重新崛起吗？

ZEC的强势上涨重新将隐私板块拉回市场视野，这不仅是代币轮动，更反映了市场对链上透明性风险的深层思考。随着链上金融活动规模扩大，完全透明的环境使大额交易者的仓位、策略和清算线暴露无遗，容易成为被狙击的目标，隐私需求已从“匿名支付”扩展至交易安全和资产保护。隐私赛道目前主要分为三类：一是ZEC、XMR等老牌隐私资产，主打资产隐私与支付；二是Railgun、Aztec等隐私基础设施，旨在为DeFi等应用层嵌入隐私能力；三是Genius、SilentSwap等更注重交易隐私与合规平衡的项目，服务于专业交易场景。行业动向显示隐私正融入更广泛领域：Perp DEX如Aster推出“Shield Mode”保护交易意图；Vitalik提出以太坊需增强原生隐私；EIP-8182探讨在协议层实现标准化隐私转账。这些进展表明，隐私不再是小众功能，而逐渐成为下一代链上基础设施的重要组成部分。最终，隐私并非透明的对立面，而是在透明与保护之间寻求平衡。随着链上金融承载更大规模和更复杂的活动，如何在确保信任的同时保护用户敏感信息，将成为下一阶段的关键议题。

marsbit05/27 09:53

marsbit05/27 09:53

霍斯金森称此Cardano应用或将在2030年前成为加密货币使用最广泛的应用

卡尔·霍斯金森表示，Cardano旗下隐私生态项目Midnight的互动模拟应用Midnight.city即将进入新的测试阶段。他认为该应用有潜力在2030年前成为加密货币领域使用最广泛的应用。 Midnight.city是Midnight区块链的公开模拟层，该区块链主打可编程隐私和选择性披露。该应用并非传统的区块浏览器或钱包界面，而是一个由自主AI代理驱动的实时模拟环境。这些代理在其中工作、交易并产生持续的经济活动，旨在让零知识证明系统对用户更直观可见。霍斯金森称，新版本将引入“数千名测试者”进行压力测试，以优化其设计、功能和用户体验。他预测，通过每两周一次的开发迭代，Midnight.city有望在未来几个月内快速发展，并最终成为以隐私为核心、演化速度极快的“加密原生”新生态。 Midnight网络采用零知识证明和双状态账本模型，其专用编程语言Compact旨在降低开发者构建隐私保护应用的门槛。其经济模型包含公开的治理代币NIGHT和用于支付交易费用的 shielded代币DUST，以分离资本资产与运营成本。截至发稿时，Cardano（ADA）的交易价格为0.24美元。

bitcoinist05/26 14:32

bitcoinist05/26 14:32

链上分析师：为何大多数 Zcash 交易仍可被追踪？

Zcash（ZEC）是一种基于比特币技术但强调隐私保护的加密货币，它通过zk-SNARK零知识证明技术实现交易信息的隐藏。Zcash提供两种地址：透明地址（t地址，交易公开可见）和屏蔽地址（z地址，交易信息被加密）。根据地址组合，交易分为四种类型：t→t（完全公开）、t→z（转入金额公开，接收方隐藏）、z→t（转出金额和接收方公开，发送方隐藏）、z→z（完全私密）。尽管Zcash设计上支持强隐私，但实际应用中大部分交易仍通过透明地址进行，主要原因包括交易所和机构为满足合规要求默认使用透明地址。因此，链上分析平台（如Arkham）能够追踪大量ZEC交易，目前已标记超过一半的链上活动，关联了约4200亿美元交易量的已知实体。例如，美国政府查封的Zcash资产和个人大额获利交易均可被追踪。然而，z→z类型的屏蔽交易在密码学层面依然无法被窥探。Zcash的实际隐私保护程度取决于用户对地址类型的选择和使用方式。对于希望深度分析Zcash链上活动的用户，Arkham等工具提供了全面的数据追踪和监控功能。

marsbit05/26 06:04

marsbit05/26 06:04

以太坊原生隐私提案EIP-8182，会吸走部分其他隐私币的流动性吗？

作者蓝狐笔记探讨了以太坊原生隐私提案EIP-8182的潜在影响。该提案旨在以太坊协议层（L1）直接内置一个统一的共享隐私池和零知识证明预编译功能。目前以太坊交易完全公开，现有第三方隐私应用（如Tornado Cash）存在匿名集小、互不兼容、易受监管制裁等问题。EIP-8182的核心在于创建一个所有用户和dApp共享的超大隐私池，这将使匿名集爆炸式增长，理论上提供最强的隐私效果。它允许ETH和任意ERC-20代币直接进行隐私转账，操作简单。该池通过固定地址的系统合约和零知识证明技术实现去中心化和完全隐私，且不收取额外协议费。文章认为，若EIP-8182得以实施，以太坊将凭借其庞大的生态和流动性，转型为全球最大的隐私公链。这可能会吸引机构和用户，并从现有隐私币（如Zcash、Monero）甚至比特币的隐私需求用户中吸走部分流动性。最后提及，该方案未来可与全同态加密（如Zama）结合，在保障强隐私的同时满足合规要求。

marsbit05/26 02:56

marsbit05/26 02:56

观点：熬过死亡周期后，隐私鼻祖Zcash为何能重回主流视野？

Zcash作为隐私技术鼻祖，在经历长期市场冷落后正重新获得关注。其回归主流视野主要基于以下关键因素：首先，**技术成熟与叙事转变**。Zcash基于零知识证明（ZK）的隐私技术已从早期不成熟进入实用阶段，提供了真正密码学级别的隐私保护，与门罗币等使用“障眼法”技术的项目形成区别。同时，Zcash定位为“私有比特币”，概念简单易懂，易于被市场接受。其次，**机构化与宏观环境催化**。随着加密货币机构化进程加速（如贝莱德ETF），以及AI技术发展使得链上监控能力剧增，个人财务隐私面临前所未有的威胁。此外，全球一些地区酝酿的财富税等政策，也推升了对私密资产存储的需求。第三，**采用路径与市场定位**。Zcash独特的“透明模式”与“隐私模式”并存，形成了“特洛伊木马”策略：机构可先通过透明模式介入，带来资金与关注，进而引导部分需求转向隐私模式。其品牌强调“为普通人提供隐私”，而非服务于非法活动，更易获得主流认可。第四，**抗量子计算的前瞻优势**。Zcash在抗量子计算方面布局领先，其屏蔽池内的交易能有效抵御未来量子计算机的攻击，这为长期价值存储提供了关键的安全确定性。最后，**生态发展与用户体验改善**。近期利好包括Ledger硬件钱包即将支持隐私功能、出块时间大幅缩短、知名风投支持的钱包应用出现，以及更多开发团队加入生态建设，这些都将提升Zcash的可用性和网络效应。综上，Zcash在技术、时机、叙事和生态上汇聚了多重动力，使其从被遗忘的状态中复苏，并有望在隐私成为核心需求的当下，重新定义加密世界中的价值存储。

marsbit05/21 10:28

marsbit05/21 10:28

KalqiX 将自托管打造成主流及传统交易者的大众市场功能

多年来，Web3行业一直以实现自我托管为市场标准、彻底摆脱中心化中介的愿景而运作。然而现实并非如此，Web3始终未能构建出既能保护自我托管、又无需用户做出过多妥协的系统。正当许多专家对DeFi和Web3的未来表示怀疑时，Web3初创公司KalqiX推出了其突破性的中央限价订单簿（CLOB）去中心化交易所（DEX），旨在重振人们对链上系统的信心。目前绝大多数交易活动仍集中在中心化交易所（CEX）。交易者通常需要在便利性与托管风险之间做出选择：要么接受托管风险以获得更优的用户体验、流动性和执行速度；要么为了无需信任的操作而忍受次优的交易体验。 KalqiX的使命正是将“鱼与熊掌兼得”的梦想变为链上现实：在保持用户资产自我托管的同时，提供可媲美CEX的执行质量和用户体验。其CLOB DEX采用了一种革命性的设计哲学：将订单处理和匹配过程放在链下进行，从而实现了CEX级别的速度和响应能力；而交易结算和验证则通过零知识证明在链上完成，确保了交易的有效性，且无需信任任何中心化中介。这意味着用户无需再在安全与性能、自我托管与执行质量之间做出妥协。这一结合被认为是DeFi走向真正主流采用所缺失的关键一环。如果KalqiX的CLOB DEX能够持续获得Web3原生用户和传统市场参与者的青睐，自我托管有望成为数字交易的市场新标准。KalqiX或许正是Web3等待多年的那个催化者，有望将去中心化系统带入主流。

TheNewsCrypto05/20 18:21

TheNewsCrypto05/20 18:21

Vitalik最新长文：AI时代，代码如何变得更安全？

随着AI编程能力快速提升，软件安全面临新挑战：AI既能高效生成代码，也能高效发现漏洞。在加密行业，智能合约、ZK证明等一旦出现缺陷，可能导致不可逆的资金损失。Vitalik探讨了应对此问题的路径——形式化验证。这种方法将程序应满足的性质写成数学命题，再用机器可检查的证明验证这些性质是否成立。虽然形式化验证无法保证绝对安全（证明可能遗漏假设、规范可能写错等），但它提供了一种更可靠的安全范式：用多种方式表达开发者意图，再让系统自动检查这些表达是否兼容。以太坊未来将依赖复杂底层组件（如STARK、ZK-EVM、共识算法等），这些系统的实现复杂，但安全目标往往可以相对清晰地形式化。AI辅助的形式化验证在此可发挥最大价值：AI负责编写高效代码和证明，人类负责检查被证明的命题是否对应真正的安全目标。 Vitalik认为，面对强大的AI攻击者，答案不是放弃开源或依赖中心化机构，而是将关键系统压缩为更小、更可验证的“安全核心”。AI可能导致粗糙代码增加，但也可能让真正重要的代码变得比过去更安全。形式化验证与AI结合，可推动软件分化为“安全核心”和“不安全边缘组件”，前者通过严格验证承载高信任负担，后者在沙箱中运行以限制风险。最终，形式化验证有助于在AI时代构建更可信的网络安全基础。

marsbit05/19 09:56

marsbit05/19 09:56

ZK驱动的比特币隐私方案正式上线Starknet

strkBTC于5月12日在Starknet主网上线，利用ZK技术为比特币提供隐私保护解决方案。该方案旨在应对因比特币公共账本透明性导致的个人安全风险，如针对持有者的抢劫和勒索案件激增。用户可通过strkBTC将比特币桥接至Starknet的屏蔽环境，隐藏余额与交易历史。项目强调合规性，通过查看密钥技术和第三方筛查，确保在必要时可进行审计与监管披露，从而满足金融机构等对隐私与合规的双重需求。核心功能包括重新匿名化桥接和合规就绪。未来将推出机密DeFi等功能。技术发展路线包括抗量子密码学研究、BitVM集成以增强安全性，以及长期通过OP_CAT软分叉实现完全无信任桥接的目标。项目由Starknet生态系统多方合作推动，旨在使比特币成为兼具隐私性与可用性的数字现金。

marsbit05/14 11:09

marsbit05/14 11:09

AI Agent 可以被验证，但谁来保护它们的隐私？

AI Agent正从自动化工具演变为链上经济的参与者，但随之而来的核心问题是：如何在开放网络中建立对Agent的信任？ERC-8004草案试图提供统一的可验证信任基础设施，包括身份和声誉系统。然而，可验证性通常意味着信息公开，这可能暴露Agent的策略、商业关系或用户意图，在DeFi、治理等场景中构成风险。因此，PSE提出的ACTA（Anonymous Credentials for Trustless Agents）研究草案，旨在作为隐私层补充ERC-8004。 ACTA的核心思路是让Agent能通过零知识证明等方式，证明自己满足特定准入策略（如通过审计、拥有足够声誉），而无需公开底层敏感数据。这将信任基础从“公开身份”转向“策略证明”，有助于保护Agent及背后用户的操作隐私和关系图谱。对于日益活跃的AI Agent经济而言，隐私正从可选功能变为基础条件。ACTA指出的方向至关重要：一个健全的信任层不仅要解决“如何证明可信”，还必须回答“证明时暴露了什么”。未来的Agent经济需要在可验证性与必要隐私保护之间找到平衡。

marsbit05/14 01:27

marsbit05/14 01:27

对话Vitalik、肖风、AyaMiyaguchi与Joseph Chalom：从“减法原则”到智能体经济

4月22日，香港Web3嘉年华期间举行的以太坊应用峰会上，多位核心人物分享了以太坊生态的未来展望。Vitalik Buterin与肖风博士对谈，指出以太坊正迈向“全栈开源安全”，强调硬件安全与AI驱动交互的重要性。Vitalik认为，AI将催生自然语言式的链上交互，降低使用门槛，但同时也带来了新的安全挑战。他重申以太坊应专注于去中心化、安全与隐私等核心优势，并展望了隐私计算（如ZK与FHE）与AI结合在医疗等现实场景的应用。以太坊基金会主席Aya Miyaguchi阐述了基金会的“减法原则”，即随着生态成熟，基金会将更多转向支持角色，鼓励社区与市场竞争驱动创新。她强调以太坊的长期韧性、抗审查等核心价值是真实应用的基础。 SharpLink首席执行官Joseph Chalom则聚焦于以太坊的“生产力”属性及其对机构的吸引力。他预测“智能体经济”即将到来，AI Agent将利用Web3钱包自动进行资产管理、收益捕获等操作，重塑金融未来。整体而言，随着基础设施成熟，行业焦点正转向应用层落地。以太坊应用联盟（EAG）的成立旨在推动全球协作，助力以太坊生态连接现实世界，实现更广泛的应用。

marsbit05/12 09:43

对话Vitalik、肖风、AyaMiyaguchi与Joseph Chalom：从“减法原则”到智能体经济