Loading...
Loading...
以太坊隐私新基建：深度解析 Aztec 如何实现「可编程隐私」撰文：ZHIXIONG PAN
在区块链技术发展的第二个十年，行业正面临着一个根本性的哲学与技术悖论：以太坊作为「世界计算机」虽然成功确立了无需信任的价值结算层，但其激进的透明性正在演变为大规模采用的阻碍。当前，链上用户的每一次交互、资产配置、薪资流转甚至社交关系，都暴露在一个永久不可篡改的公共全景监狱之中。这种「玻璃屋」般的生存状态，不仅侵犯了个人主权，更因缺乏商业秘密保护而将绝大多数机构资本拒之门外。
2025 年标志着行业共识的决定性转折。以太坊联合创始人 Vitalik Buterin 明确提出「隐私不是功能，而是卫生」，将其定义为自由的基础与社会秩序的必要条件。正如互联网从明文传输的 HTTP 进化至加密的 HTTPS 才催生了电子商务的繁荣，Web3 正处于类似的临界点。Aztec Network（Ignition 架构）在约 1.19 亿美元融资支持下，正通过 Ignition Chain、Noir 语言生态，以及生态中如 zkPassport 这类基于 Noir 的证明应用探索，推动以太坊迈向可编程隐私的基础设施升级。
宏观叙事：从单点突破到「整体隐私」防御纵深
以太坊生态对隐私的理解已不再局限于单一的混币协议，而是演进为一种贯穿网络层、硬件层与应用层的「整体隐私（Holistic Privacy）」架构。这一范式转移在 2025 年的 Devconnect 大会上成为了行业焦点，确立了隐私保护必须具备全栈式的防御纵深。
软件标准的重构：Kohaku 与隐身元地址
由以太坊基金会隐私探索团队（PSE）牵头研发的 Kohaku 参考实现，标志着隐私技术从「野生插件」走向「正规军」。Kohaku 不仅仅是一个钱包 SDK，它试图从根本上重构账户体系。
通过引入「隐身元地址（Stealth Meta-Address）」机制，Kohaku 允许接收方仅公布一个静态的元公钥，而发送方则基于椭圆曲线密码学为每一笔交易生成独一无二的一次性链上地址。
对于外部观察者而言，这些交易如同发送至随机的黑洞，无法与用户的真实身份建立关联图谱。此外，Kohaku 围绕 stealth meta-address / stealth addresses 等机制，提供可复用的集成组件，并尝试把隐私能力从「外挂」推进到更标准化的钱包基础设施。
硬件防线的最后堡垒：ZKnox 与抗量子威胁
如果说 Kohaku 守护的是软件层面的逻辑，那么作为以太坊基金会（EF）资助项目并填补生态硬件短板的 ZKnox，则致力于解决更深层的密钥安全与未来威胁。随着 ZK 应用普及，越来越多敏感 witness（可能包含密钥材料、身份数据或交易细节）需要在终端侧参与证明与签名流程，从而扩大了客户端被入侵时的泄露风险面。ZKnox 更聚焦于让抗量子密码在以太坊上「能用且够便宜」的基础设施改进与实现（例如推动相关预编译以降低格密码运算成本），为未来迁移到 PQ 签名方案铺路。
更为关键的是，面对量子计算可能在 2030 年代对传统椭圆曲线密码学构成的威胁，ZKnox 更聚焦于「让抗量子密码在以太坊上可用且足够便宜」的基础设施工作。例如 EIP-7885 提议加入 NTT 预编译，以降低格密码（包含 Falcon 等方案）的链上验证成本，为未来的 PQ 迁移铺路。
Aztec 的历史地位与技术架构：定义「私有世界计算机」
在隐私赛道的演进中，Aztec 占据着独特的生态位。不同于比特币时代的假名机制，也超越了 Zcash 或 Tornado Cash 提供的单一「交易性隐私」，Aztec 致力于实现图灵完备的「可编程隐私」。其核心团队包含 PLONK 零知识证明系统的联合发明者，这使得 Aztec 从基因上就具备了深厚的密码学原创能力。
混合状态模型（Hybrid State）：打破不可能三角
构建隐私智能合约平台的最大挑战在于如何处理状态。传统的区块链要么全是公开状态（如以太坊），要么全是私有状态（如 Zcash）。Aztec 创造性地提出了一种混合状态模型： 在私有层面，它采用类似比特币的 UTXO 模型，将用户资产和数据存储为加密的「票据（Notes）」。
这些票据通过生成对应的 nullifier 来表达「已花费 / 已失效」，从而防止双花并对票据内容与所有权关系保持隐私。在公共层面，Aztec 维护可公开可验证的公共状态，并由公共函数在网络侧公共执行环境中更新这些状态。
这种架构允许开发者在同一个智能合约中混合定义私有函数与公共函数。例如，一个去中心化投票应用可以公开「总票数」这一全局状态，但通过私有状态严格保密「谁投了票」以及「投了什么」。
双重执行模型：PXE 与 AVM 的协奏
Aztec 的执行被拆成客户端与网络两层：私有函数在客户端的 PXE 中执行并生成与私有状态相关的证明与承诺；公共状态转换由 sequencer 执行（运行公共执行环境 /VM），并生成（或委托 prover network 生成）可在以太坊上验证的有效性证明。
客户端证明（Client-Side Proving）： 所有的私有数据处理都发生在用户本地的「私有执行环境（PXE）」中。无论是生成交易还是计算逻辑，用户的私钥和明文数据从未离开过自己的设备。PXE 负责在本地运行电路，并生成一个零知识证明。
公共执行与验证（AVM）： 用户仅将生成的证明提交给网络。网络侧由排序器 / 出块委员会在打包过程中校验私有证明并重执行公共部分，公共合约逻辑在 AVM 中执行并被纳入最终可在以太坊上验证的有效性证明。这种「私有输入在客户端、公共状态转换可验证」的拆分，把隐私与可验证性的冲突压缩到可证明的接口边界内，而不需要让全网看到所有明文数据。
互操作与跨层通信：Portals 与异步消息传递
在 Ignition 架构下，Aztec 并不是把以太坊当作「后台执行引擎」来代理运行 DeFi 指令，而是通过 Portals 建立 L1↔L2 的通信抽象。由于私有执行需要在客户端提前「准备并证明」，而公共状态修改又必须由 sequencer 在链头执行，Aztec 的跨域调用被设计为单向、异步的消息传递模型：L2 合约可以向 L1 portal 发起调用意图（或反向），消息经由 rollup 机制在后续区块中变为可消费状态，应用需要显式处理失败与回滚等场景。
Rollup contract 在其中承担维护状态根、验证状态转换证明以及搬运消息队列状态等关键职责，从而在保持隐私约束的同时实现与以太坊的可组合交互。
战略引擎：Noir 语言与零知识开发的民主化
如果说 Ignition Chain 是 Aztec 的躯干，那么 Noir 语言就是它的灵魂。在很长一段时间里，零知识证明应用的开发受限于「双脑问题」，开发者必须同时是资深的密码学家和熟练的工程师，需要手动将业务逻辑翻译为底层的算术电路和多项式约束，这不仅效率低下且极易引入安全漏洞。
抽象的力量与后端无关性
Noir 的出现即是为了终结这一「巴别塔」时代。作为一种开源的领域特定语言（DSL），Noir 采用了类似 Rust 的现代语法，支持循环、结构体、函数调用等高级特性。根据 Electric Capital 的开发者报告，使用 Noir 编写复杂逻辑的代码量仅为传统电路语言（如 Halo2 或 Circom）的十分之一。例如，Payy 隐私支付网络在迁移至 Noir 后，其核心代码库从数千行缩减至约 250 行。
更具战略意义的是 Noir 的「后端无关性（Backend Agnosticism）」。Noir 代码编译为中间表示层（ACIR），可以对接任何支持该标准的证明系统。
Noir 通过 ACIR 将电路表达与具体证明系统解耦：在 Aztec 协议栈内默认配套 Barretenberg，而在链外或其他系统中也可以把 ACIR 转换 / 适配到 Groth16 等不同后端。这种灵活性使得 Noir 正在成为整个 ZK 领域的通用标准，打破了不同生态系统之间的壁垒。
生态爆发与开发者护城河
数据证明了 Noir 战略的成功。在 Electric Capital 的年度报告中，Aztec/Noir 生态连续两年位列全行业开发者增长最快的生态系统前五名。目前 GitHub 上已有超过 600 个项目采用 Noir 构建，涵盖了从身份验证（zkEmail）、游戏到复杂的 DeFi 协议。
Aztec 通过举办 NoirCon 全球开发者大会，不仅巩固了其技术护城河，更培育了一个活跃的隐私原声应用生态，预示着隐私应用即将迎来寒武纪大爆发。
网络基石：Ignition Chain 的去中心化实践
2025 年 11 月，Aztec 在以太坊主网上线 Ignition Chain（当前阶段以去中心化出块与证明流程演练为主，交易与合约执行预计在 2026 年初逐步开放）。这不仅是一个技术里程碑，更是对 Layer 2 去中心化承诺的一次激进实践。
起步即去中心化的勇气
在当前的 Layer 2 扩容竞赛中，绝大多数网络（如 Optimism、Arbitrum）在启动初期都依赖单一的中心化排序器（Sequencer）以保障性能，将去中心化推迟到模糊的未来。
Aztec 选择了截然不同的路径：Ignition Chain 从启动之初就按去中心化的验证者 / 排序器委员会架构运行，并尽量把关键权限前置交给开放的验证者集合。网络在验证者队列达到 500 的启动阈值后触发创世出块，并在上线后的早期阶段吸引了 600+ 验证者加入参与出块与背书流程。
这种设计并非多此一举，而是隐私网络的生存底线。如果排序器是中心化的，监管机构或强力部门可以轻易施压要求其审查或拒绝特定地址的隐私交易，从而使整个隐私网络形同虚设。去中心化的排序器 / 委员会设计消除了单一排序器的审查单点，并在「存在诚实参与者且协议假设成立」的前提下显著提高交易被打包的抗审查性。
性能路线图
虽然去中心化带来了安全性，但也对性能提出了挑战。目前 Ignition Chain 的区块生成时间约为 36-72 秒。Aztec 的路线图目标是通过并行化证明生成与网络层优化，把当前较长的出块间隔逐步压缩到约 3–4 秒量级（目标时间点为 2026 年底），以接近以太坊主网的交互体验。这标志着隐私网络正从「可用」向「高性能」迈进。
杀手级应用：zkPassport 与合规的范式转移
技术本身是冰冷的，直到它找到解决人类真实痛点的应用场景。zkPassport 更准确地说是 Noir 生态中的身份证明 / 合规信号工具之一，Aztec 在自身场景里采用其电路来做如制裁名单检查等「最小披露」的合规证明，从而探索隐私与合规的折中方案。
从数据收集到事实验证
传统的 KYC（了解你的客户）流程要求用户将护照照片、身份证件上传至中心化服务器，这不仅流程繁琐，更制造了无数个易受攻击的数据蜜罐。zkPassport 彻底颠覆了这一逻辑：它利用现代电子护照中植入的 NFC 芯片和政府数字签名，通过手机与护照的物理接触，在本地读取并验证身份信息。
随后，Noir 电路在用户手机的本地环境中生成零知识证明。用户可以向应用证明「已年满 18 岁」、「国籍属于允许列表 / 不在禁止司法辖区列表」、「未命中制裁名单检查」等事实，而无需泄露完整出生日期、护照号等细节字段。
防女巫攻击与机构准入
zkPassport 的意义远超身份验证。通过生成基于护照的匿名标识符，它为 DAO 治理和空投分发提供了强有力的「防女巫攻击（Sybil Resistance）」工具，确保了「一人一票」的公平性，同时杜绝了反向追踪用户真实身份的可能。
在实践层面，这类可验证、最小披露的合规信号有望降低机构参与链上金融的合规摩擦，但它并不等同于完整的 KYC/AML 流程。机构可以通过 zkPassport 证明其合规资质，在不暴露交易策略和资金规模的前提下参与链上金融活动。Aztec 通过这一应用证明，合规并不一定意味着建立全景监狱，技术可以同时实现监管要求与个人隐私的保全。
经济模型：连续清算拍卖（CCA）与公平分发
作为去中心化网络的燃料，原生代币 AZTEC 的发行机制本身也体现了项目方对公平性的极致追求。Aztec 摒弃了容易导致机器人抢跑（Sniping）和 Gas 费战争的传统发行模式，联合 Uniswap Labs 引入了创新的「连续清算拍卖（CCA, Continuous Clearing Auction）」。
价格发现与反 MEV
CCA 机制允许市场在设定的时间窗口内进行充分博弈以发现真实价格。在 CCA 的每个清算周期内，成交以统一的清算价结算，从而减少为了抢先成交而产生的抢跑与 Gas 竞价空间。这种机制有效地消除了抢跑者的获利空间，使得散户投资者能够与巨鲸站在同一起跑线上。
协议拥有的流动性
更为创新的是，CCA 实现了发行与流动性建立的自动化闭环。拍卖合约可以按预先公开的参数将（部分）拍卖 proceeds 与代币自动注入 Uniswap v4 流动性池，形成链上可验证的「发行→流动性」闭环。
这意味着 AZTEC 代币从诞生的第一刻起，就拥有了深厚的链上流动性，避免了新币上市常见的暴涨暴跌，保护了早期社区参与者的利益。这种更 DeFi 原生的发行与流动性引导方式，也常被用来说明 AMM 可以从「交易基础设施」扩展为「发行基础设施」的一类实现路径。
结语：构建 Web3 的「HTTPS 时代」
Aztec Network 的生态全景，从底层的 Noir 语言标准到上层的 zkPassport 应用，再到 Ignition Chain 的网络承载，正在将以太坊社区长期构想的「HTTPS 升级」转化为可用的工程现实。这并非孤立的技术实验，而是与 Kohaku、ZKnox 等以太坊原生倡议遥相呼应，共同构建起一个从硬件到应用的分层隐私防御体系。
如果说区块链的发展初期确立了无需信任的价值结算（Value Settlement），那么接下来的核心主题将是确立数据的自主权与机密性。在这一进程中，Aztec 扮演着至关重要的基础设施角色：它并不试图取代以太坊的透明性，而是通过「可编程隐私」为其补全了缺失的另一半拼图。随着技术的成熟与合规框架的完善，我们可以期待一个隐私不再是「附加功能」而是「默认属性」的未来，一个既保留了公共账本的可验证性，又尊重个体数字边界的「私有世界计算机」。Uniswap引入新代币销售协议“持续清算拍卖”…首次应用于AZTEC去中心化金融(DeFi)领军项目Uniswap近日发布名为"持续清算拍卖"(Continuous Clearing Auctions, CCA)的新协议，旨在改进代币发行模式。
Uniswap在最新公告中说明，该协议"能帮助Uniswap v4快速建立代币流动性，并为新兴或低流动性代币发现公允市场价格"。CCA是Uniswap正在开发的多个流动性工具中的首发项目，未来计划通过自有基础设施支持各类项目扩大代币分发规模。
此次发布恰逢CCA模式首场代币销售启动。隐私区块链项目Aztec Network已开启社区专属代币AZTEC的预售，面向公众的公开销售定于12月2日举行。
Aztec团队在官方博客中宣称"以现代方式重构了2017年ICO时期的社区优先理念"，并强调通过与Uniswap合作"将无需许可的链上准入机制与公平早期参与置于核心地位"。AZTEC代币将全部面向社区分配，解锁后即形成100%社区持有结构。
Uniswap与Aztec双方未回应追加评论请求。
随着新协议落地与大规模社区销售同步推进，预计将为Uniswap基础设施支持的代币发行模式带来重大变革。解决DeFi市场流动性获取难题的举措再度引发关注。
浅析 Uniswap 和 Aztec 联合发布的新协议 CCA撰文：Zhixiong Pan
来聊聊 Uniswap 和 Aztec 联合发布的新协议 CCA，全称是「连续清算拍卖」（Continuous Clearing Auction），它专门用来给新资产做价格发现和流动性起步。拍卖流程结束后，项目团队就可以把筹到的资金和代币一起导入 Uniswap v4，对接上二级市场的交易。
这个协议的核心诉求还是解决「新资产怎么定价」的问题。历史上已经有很多种做法：团队空投（等于免费送）、荷兰拍、固定价格销售，还有 LBP、Bonding Curve 等等，本质上都是「用某种机制，把一部分代币先卖给最早期的参与者」。
但在 Uniswap 看来，这些既有机制各有各的坑：有的定价很随缘，有的极度吃时序，有的做不了持续流动性。所以他们希望 CCA 能同时兼顾两件事：相对公平的价格发现，以及平滑、可持续的流动性启动。
从本质上说，CCA 是一个独立于 Uniswap v4 的协议，是一整套发售和定价框架。不过，它又可以通过 Uniswap v4 的 hooks 机制跟 AMM 内核打通，尤其是在 CCA 拍卖完成之后，把流动性自动注入 Uniswap v4 的智能合约中。
那和 Aztec 又有什么关系？Aztec 在这件事里的参与度其实非常深：他们不仅参与了 CCA 的机制设计，还成为第一个使用 CCA 进行代币拍卖的项目。另外，CCA 协议本身也可以接 KYC / 合规能力，Aztec 这次拍卖就用了名为 ZKPassport 的身份认证功能，这是 Aztec 生态里的项目，用他们的 Noir 语言开发，通过零知识证明完成合规检查但不暴露用户隐私细节。
回到 CCA，它不是一套写死规则的「单一方案」，而是提供了一个可配置的拍卖框架。大致可以拆成这样几步：
配置阶段：拍卖发起人先在链上设定规则，比如开始和结束时间、拍卖总共分成多少个「回合」或时间段、每个时间段释放多少比例的代币、最低价格（floor price）、是否需要白名单 / 身份验证、以及拍卖结束后如何把流动性导入 Uniswap v4 等等。
出价阶段：在拍卖进行期间，参与者可以随时出价，每一笔出价包含两个参数：投入多少资金，以及最高能接受的单价。之后也可以继续追加或调整出价，每一笔订单都是独立记录的。
摊分阶段：系统会自动把一笔出价，按剩余的各个「释放期」摊开。因此，出价越早，参与的时间段就越多，有机会在更多回合里参与清算。
清算阶段：在每个回合中，系统会累积这一回合所有有效报价，然后用统一的规则找出一个价格，刚好能够把该回合要释放的代币全部卖出去，这个价格就成为该回合的最终成交价。所有 max_price 高于或等于这个价格的出价，会按规则在这一回合获得对应份额。
收尾：当所有回合结束，整场拍卖就宣告结束。参与者可以领取自己获得的代币以及未成交的那部分资金；协议则按照事先约定的策略，把筹到的资产和项目方准备好的另一侧资产注入 Uniswap v4，正式开启二级市场的流动性池。
我觉得它更像是把传统的「一次性拍卖」时间切片：不再只在某个时刻一次性清算，而是把一个大回合拆成多个小阶段，让价格和博弈在时间轴上被展开。这也正是它
FENBUSHI研究员长文解析明星L2项目Aztec的社区提案来源：@ballsyalchemist X推文
作者：@ballsyalchemist
编译：Techub News-Gene
摘要：@ballsyalchemist针对@aztecnetwork中的部分提案进行分析并提出自己的优化建议。
证明者协调是大多数 ZK L2 最终都会面临的问题，而 @aztecnetwork一直在努力与其社区合作，致力于设计一种既能提供强大的抗审查特性又能提供有效性的解决方案。
今天，我想重点介绍并讨论一些拟议的解决方案及其背后的考虑因素！（非常精彩，敬请欣赏）
10 月 12 日 ，@cooper_kunz发布了一份征求建议书，为 Aztec 征集去中心化证明器协调机制的设计提出建议：
https://forum.aztec.network/t/request-for-proposals-decentralized-prover-coordination/2397
随后，大约有 7 个以上的提案涌现出来。在此，我将挑选一些有趣的提案，剖析其中的假设、考虑因素和可能的修改之处（每个提案都会省略一些细节，否则就太长了哈哈）。
1. Staking Proving Network（合作性模型）
创作者：@jaosef & @smpalladino
https://forum.aztec.network/t/proposal-staking-proving-network-for-fernet/2439
概述：
a. 验证委员会将从 VRF 与排序器相反的一端进行选择（Fernet 使用 VRF 超过 RANDAO 值来从库中选择排序器，即 VRF 值最高的排序器等）。因此，同样的 VRF 也将用于验证程序的选择。
b. 证明委员会与定序器来自同一个节点池，这意味着定序器的硬件要求可能会高到足以同时进行证明。
c. 作为 L2s p2p 网络的一部分，所有节点都有完全的状态访问权限。
d. 在证明阶段，通过 VRF 选出的证明者委员会将根据建议的证明树（本质上是根据 VRF 委托给不同证明者的证明工作树）进行证明，并在证明期结束前将证明交付给排序者。
请注意，证明节点 N 的数量为 N= Const. X * 任务所需的最小证明者数量。这样，证明者委员会将有 X 个冗余因子，以更好地保证有效性。
e. 这将需要对有效载荷的及时性达成共识，以防止序列器的数据扣留攻击。基本上，超过 2/3 的证明者必须通过 p2p 证明他们确实从排序器那里收到了有效载荷，从而可以按预期构建证明。
讨论与修改：
这里的关键优势之一是增加了冗余（但也增加了有效性成本），以及由于对有效载荷及时性达成共识而具有的抗审查能力。这种共识可以防止排序者和证明者的恶意攻击（证明者即使收到了数据，也无法提供证明）。随着有效性和 CR 特性的增加，协议的协调和通信开销也变得复杂起来。在 Aztec 10 分钟左右的时间限制内，这可能不是一个大问题，但如果必须及时达成共识，由于通信延迟，肯定会限制证明者网络的规模。
另一个考虑因素是 N 的大小。
如果 N 的大小 = 证明者总数，那么为了对证明的交付有信心，必须有超过多数（2/3）的证明者证明有效载荷的及时性。但是，如果我们限制 N 小于证明者总数的 2/3，情况可能就不是这样了。因为在这种情况下，即使有 1/3 的证明者没有证明，N 中足够高的 X（冗余）也能提供很高的证明交付概率。这里要注意的是，如果证明人的证明次数没有达到 2/3，证明就无法交付，那么排序器就会被砍掉。此外，这种关于有效载荷及时性的共识可以作为对 txs 排序的软承诺，这样就可以在选择下一个排序器时进行并行证明。
我们还可以启用背景选项，即采用竞争证明模式，在证明协调失败的情况下，外部证明者参与帮助生成证明。
还可以修改奖励分配，使被选中的证明者提交证明的速度越快，从奖励池中获得的奖励权重就越高，从而奖励延迟游戏。
2. Sidecar Proving（竞争性模型）
创作者：@cooper_kunz
https://forum.aztec.network/t/proposal-prover-coordination-sidecar/2428
概述：
上图说明了该模型总体流程（为我省去了很多字哈哈哈）
a. 本方案将证明协调的嵌入最小化，将证明者存款（proverDeposits）用于序列器对证明者的承诺。从本质上讲，序列发生器可以通过存款对区块做出承诺，从而获得证明者的来源。如果没有在时间窗口内交付证明，则可以削减押金。
b. 本设计旨在实现证明者拍卖机制的协议外实施，例如，序列发生器可以执行第一价格拍卖，以收集证明者的出价，其出价将转入证明者存款（proverDeposits）。
c. 奖励主要归排序器和证明者（在 L1 上提交证明的地址）所有。
讨论和修改：
本建议将大量协调任务交给排序器自行解决。这也意味着审查风险和扣押攻击可能会变得更容易执行。
就审查而言，一个验证者（假设排序器将其外包）可以出最高价，但直到插槽结束时才出价，这可能会导致排序器错过一个插槽。因此，有必要提供备用方案，例如在证明者选择机制（协议外）中增加冗余，并可能在不同证明者之间增加延迟竞争，以激励快速验证交付。这可以通过选择同时为证明者押金做出贡献的前 N 位竞标者来实现。
我们可以设计一个公式，通过以下方式分配奖励：
证明者 A 的奖励 = (出价/总出价) * (((A 的证明时间/最大证明时间)^-1 ) / SUM((X 的证明时间/最大证明时间)^-1))*总奖励
这将根据证明延迟和出价金额调整奖励。这里的假设是，如果出价金额不足，可以由排序器补贴。(注：这可能适用于为冗余而选择多个证明者的其他情况）
另一个考虑因素是排序器的扣留攻击和对这种攻击的防范。由于数据由定序器持有，而风险赌注可能不属于定序器，因此定序器可以扣留数据，同时让证明者履行证明者存款（proverDeposits）。由于在确定有效载荷是否已正确分发的有效载荷及时性方面没有达成共识，因此很难对潜在的扣留攻击进行问责。因此，即使使用侧车模型，也可能需要在序列发生器之间（至少）达成某种形式的有效载荷及时性共识，以便在序列发生器扣留数据的情况下，可以实现并惩罚该序列发生器。
3. Finet on the rock（0 Enshrinement）
创作者：@cooper_kunz
https://forum.aztec.network/t/proposal-fernet-on-the-rocks/2460
概述：
上图展示了该模型的整体流程。非常简单。
a. 序列发生器也同时扮演证明者的角色，如果证明没有正确提交，他们的利益就会受到威胁。
b. 他们也可以将证明者的工作外包给其他人，由外部人员进行协调和证明。
讨论与修改： 这种模式非常简单。此外，由于因扣留攻击而面临损失风险的是定序者的利益，因此这能更好地激励定序者防止此类攻击。即使将证明工作外包给外部证明者，扣留数据攻击也主要会损害排序器本身，尽管可能会导致网络停止，或者只是出现一个空槽，这也是一种公平的解决方案（参考 Eth 提议者）。
如果将证明工作外包给第三方，可能会出现证明者集中化的趋势，类似于侧车模型。不过，如果证明者的选择有足够的冗余机制，那么证明者的集中化在我看来并非坏事。这里要注意的是，证明者的集中化比构建者的集中化恶性要小，因为证明者不必被信任。
因此，优先考虑网络效率（更少的通信开销）而不是证明者分散化（在合作模型中）是一种公平的权衡。此外，由于这种设计的简单性，可能会给阿兹台克网络带来较少的安全成本。
一些看法：
在高层次上，有几个重要的考虑和讨论要进行。
1. Prover decentralization的收益是否值得付出这样的代价？它是否应该得到认可？
这是设计是否采用合作性证明者机制和竞争性证明者机制的核心问题。这里的主要考虑因素是有效性和去中心化。虽然合作模式可以提高有效性，但也可能会增加协议的复杂性，并增加通讯开销带来的网络延迟。增加的成本是否能证明从合作模式中获得的有效性优势是合理的？如果在竞争模式周围有足够好的冗余机制，我们也许就能提供足够强的有效性。当然，我想参考维塔利克最近发表的一篇关于最小可行性的文章，作为此类设计决策的思路。
2. 针对有效性的共识增加了在受到攻击时的问责措施。但我们能否在防止攻击的同时避免共识开销呢？
当我看到增加的共识（如有效载荷时效性共识）时，我确实会质疑这样的方法是否真的是最优方法。以Staking network（合作模式）为例，它将需要有效载荷时效性共识来确保定序者和证明者不能互相进行恶意攻击。即使他们实施了攻击，也可以借助共识结果进行惩罚。但这个模型通过将证明责任和风险完全转嫁给定序者，成功地避免了这一点。这就引出了下一个问题。
3. 越简单就越好吗？
这可能更取决于团队想要优先考虑什么。如果想增加预确认功能以加快软终结速度，那么增加一些共识开销可能是个不错的功能，在这种情况下，合作模式就有意义了。但如果不是因为区块时间过长，而是想优先考虑网络稳定性，我们可以选择更简单的模式。当然，还有一个很好的中间地带，可以像我之前提到的那样，将两种方法合并为一种混合模式（合作模式的备用方案）。
总之，@aztecnetwork 上有很多有趣的讨论。无论谁读到了这条推文，都一定要去看看其中的一些提案：
https://forum.aztec.network/t/request-for-proposals-decentralized-prover-coordination/2397
公开提交提案的截止日期是 11 月 3 日
在此也@一些可能对这类问题非常感兴趣的朋友：
@MaxResnick1 @malleshpai @barnabemonnot @toghrulmaharram @kobigurk @tarunchitraAztec推出本地开发者测试网Aztec SandboxPANews 9月20日消息，基于 ZK-Rollup 的隐私和扩容解决方案 Aztec 今日宣布推出针对智能合约隐私的本地开发者测试网 Aztec Sandbox。Aztec Sandbox 是一个全面的版本，为开发者提供了快速、轻量级的本地 Aztec 节点，其功能类似于以太坊的 Ganache 或 Anvil 本地节点包。除了本地节点测试环境之外，Aztec Sandbox 还包括了工具和框架，允许开发者编写和测试智能合约。Aztec：正构建隐私抽象，以为开发者提供智能合约隐私PANews 9月11日消息，据官方博客，基于ZK-Rollup的隐私和扩容解决方案Aztec表示正在构建隐私抽象相关网络和一组工具，为开发者提供智能合约隐私，支持默认匿名、私有状态读/写功能、私人智能合约功能执行。
据介绍，Aztec基于UTXO数据架构，其智能合约隐私允许在状态变量与函数层面上讲可编程隐私纳入合约本身，开发者将能调用所期望的函数。目前，研发允许开发人员编写、测试和部署私有智能合约和应用程序的技术。Aztec 桥攻击者向 Tornado Cash 转移 300 以太坊Techub News 消息，区块链安全公司 PeckShield 于 8 月 8 日监测发现，Aztec Private Rollup Bridge 攻击者地址向 Tornado Cash 存入 300 以太坊（约 57.2 万美元），累计存入金额已达 500 以太坊（约 95.3 万美元）。
该攻击与今年 6 月 Aztec Private Rollup Bridge 漏洞事件有关，当时损失约 216.5 万美元（含 1,158 以太坊等资产）。Aztec 表示受影响的是已停用的遗留产品，与当前网络无关。目前被盗资金尚未追回。（crypto.news）Aztec Network 桥接漏洞后续：攻击者已洗钱 500 以太坊Techub News 消息，据 PeckShieldAlert 监测，Aztec Network 于今年 6 月遭受 Private Rollup Bridge 漏洞利用攻击，相关攻击者标记地址近日向 Tornado Cash 存入 300 以太坊（约 57.21 万美元）。截至目前，该攻击者累计已通过 Tornado Cash 洗钱 500 以太坊。
据链上监测数据显示，该攻击者正持续将被盗资金转移至混币平台以掩盖资金流向。Aztec Network 为注重隐私的 Layer 2 解决方案，此次攻击的具体损失金额尚未完全披露。项目方暂未就最新资金转移情况发布公开声明。链上策略游戏 Dark Forest 上线 Aztec 网络Techub News 消息，链上策略游戏 Dark Forest 宣布上线 Aztec 网络版本，该版本将原版游戏玩法与 Aztec 的可编程隐私技术相结合，玩家可在公共网络上进行隐藏信息对战。
该版本通过零知识证明将玩家坐标与舰队移动设为私有状态，以 Poseidon2 哈希存储实体状态而非公开完整数据。项目方提示，当前为基于 Aztec Alpha V5 的早期实验性软件，建议以测试目的参与。human.tech 推出零知识身份 SDK 支持制裁筛查Techub News 消息，human.tech 推出 Clean SDK 支持零知识身份验证和制裁筛查。该工具包与 Aztec v5 同时发布，利用零知识技术在不暴露个人数据的情况下验证用户身份。
该工具包包含三层验证：「无罪证明」「人格证明」及「洁净之手证明」。human.tech 表示，首款应用 Shield 支持以太坊与 Aztec 之间的私密资产转移，允许用户和 AI 代理在桥接资产时证明发送方合法性及资金合规状态。（CryptoBriefing）Aztec Network 推出 Alpha V5 协议升级Techub News 消息，Aztec Network 宣布激活 Alpha V5 协议升级，该版本将隐私交易证明时间缩短超 50%，交易成本降低约 50%，并支持用户在 Nyx 和 RavenHouse 等应用进行隐私转账、NFT 收藏及链上游戏。
该版本通过优化 ECDSA 签名验证与 Poseidon2 哈希计算，将消费级笔记本电脑的证明生成时间压缩至约 2.5 秒。作为去中心化隐私 L2，该网络允许用户在本地设备完成交易证明，无需依赖运营商或中介即可实现数据完全隐私。Vitalik 在 Aztec 构建匿名留言板原型Techub News 消息，以太坊联合创始人 Vitalik Buterin 在 Aztec 网络上发布匿名留言板原型，采用「Vibe Coding」结合零知识证明、以太坊存款和 AI 审核，使用户可匿名发帖且身份对审核者保持加密隐藏。
该演示托管于其 GitHub 仓库，延续了 2022 年提出的使用 SNARKs 构建受控匿名平台的想法。项目目前无代币发行或正式部署计划，旨在展示隐私系统仍可具备可执行规则，回应了 Tornado Cash 事件后对隐私协议的监管关切。（CryptoBriefing）Aztec Network 桥接器遭利用，攻击者转移 200 以太坊至混币器Techub News 消息，据 PeckShieldAlert 监测，Aztec Network Private Rollup Bridge 攻击者地址近日向 Tornado Cash 存入 145 以太坊（约 22.8 万美元）。目前该攻击者累计已向混币器转移 200 以太坊。
据链上数据显示，被标记为「Aztec Network Private Rollup Bridge exploiter」的地址正持续通过 Tornado Cash 进行资金清洗。此前该地址已被安全机构标记，此次资金转移为攻击事件的后续洗钱行为。Aztec Network 遭漏洞利用，损失约 216 万美元Techub News 消息，Aztec Network 的 Private Rollup Bridge 近日遭漏洞利用攻击，损失约 216 万美元。据 PeckShield 监测，攻击者窃取了约 1,158 枚以太坊、15 万枚 DAI 及 0.47 枚 renBTC，相关资产价值超 200 万美元。
链上数据显示，攻击者最初从 HitBTC 获得 0.134 以太坊作为资金。值得注意的是，这是 Aztec Network 一周内第二次遭受安全事件。目前项目方尚未公布详细的漏洞修复及赔偿方案，重复攻击事件可能对 DeFi 行业信任度造成进一步冲击。（U.Today）Aztec Connect 遭漏洞利用，损失约 219 万美元Techub News 消息，据 Bitcoinist 报道，Aztec Connect 已弃用合约近日遭漏洞利用，损失约 219 万美元。据 SlowMist 分析，攻击者利用了该遗留合约的安全漏洞，尽管该合约已不在当前活跃网络中使用，但仍在链上保留资金。
Aztec 团队强调当前活跃网络未受影响，此次攻击仅涉及已弃用历史合约。该事件凸显 DeFi 遗留基础设施风险，旧合约即使停止维护仍可能成为攻击目标。安全团队建议用户及时清理在已弃用协议中的遗留资金。SlowMist：Aztec Connect 弃用合约遭攻击损失 219 万美元Techub News 消息，据 NewsBTC 报道，区块链安全公司 SlowMist 称，已弃用的 Aztec Connect 合约 RollupProcessorV3 遭攻击，损失约 219 万美元。攻击者利用交易计数与解码槽的边界间隙漏洞转移以太坊、DAI 和 wstETH。
该合约虽已弃用但仍部署在链上且不可暂停，成为所谓的「僵尸合约」。此次事件提醒用户，即使协议已停止运营，遗留合约仍可能存在安全隐患，存放在其中的资金仍面临被攻击风险。Exilist的研究报告指出，2026年2月20日，Upbit决定在韩元市场上市隐私基础设施项目Aztec，此举对隐私技术在韩国的采纳具有重大意义。尽管存在监管风险和交易所审核标准，Upbit仍同时开放了Aztec的BTC和USDT交易对。这反映出隐私技术正在成为以太坊平台上一个重要的应用层。Exilist解释说，这一发展具有重要的商业意义。 与此同时，技术领先的全同态加密公司Zama也备受关注。Zama于2026年2月进行了代币生成事件，但初期市场反应未达预期。尽管在私募市场获得了超过100亿美元的企业估值，其上市初期的完全稀释估值仅停留在约2亿美元水平，市场评价趋于冷静。这种评价的背后，部分原因在于Multicoin Capital等早期投资者所期待的"密码学圣杯"叙事，对于普通投资者而言，仍被视为昂贵的玩具。 尽管市场评价如此，关于Zama技术潜力的讨论依然活跃。Exilist评价称，Zama提及了FHE在人工智能和机器人市场作为数据安全数学工具的无限潜力，并正努力探索其作为长期基础设施的可能性。Zama旨在通过技术飞跃来克服基础设施的局限，并为此提出了包含三个阶段的路线图，涵盖算法优化、硬件加速和混合架构。 尽管存在这样的技术前景，Zama和FHE的未来似乎取决于能在多大程度上解决速度和资源问题。能否战胜市场的经济逻辑仍是未知数，但Zama提出的技术愿景无疑非常强大。如果对基于FHE的完全数据安全有需求的行业需求增长，Zama的战略地位预计将得到进一步加强。Exilist的研究报告最后指出，这一愿景有转化为现实的可能性。
