# ZK 消除器 ## 概述构建 ZK Solana 程序需要： * 消除器以防止双重支出 * 证明验证 * 存储状态的 Merkle 树 * 提供 Merkle 证明的索引器 * 加密状态对于非 zk 应用程序，请参阅此技能来使用无效符：技能/付款 ## 工作流程 1. **明确意图** * 推荐计划模式（如果未激活） * 使用 `AskUserQuestion` 来解决盲点 * 所有问题必须在执行前解决 2. **确定参考资料和技能** * 将任务与下面的资源相匹配 * 找到相关文档和示例 3. **编写计划文件**（YAML任务格式） * 对于任何不清楚的事情使用“AskUserQuestion”——永远不要猜测或假设 * 识别阻碍因素：权限、依赖关系、未知数 * 计划必须在执行开始前完成 4. **执行** * 使用带有子代理的“Task”工具进行并行研究 * 子代理通过“Skill”工具加载技能 * 使用“TodoWrite”跟踪进度 5. **卡住时**：要求生成一个具有“Read”、“Glob”、“Grep”和 DeepWiki MCP 访问权限的只读子代理，加载“skills/ask-mcp”。范围读取技能参考、示例存储库和文档。 ## Solana 上的取消器无效符是确定性派生的哈希，以确保某个操作只能执行一次。无效符无法链接到操作或用户。例如，Zcash 使用无效器来防止双重支出。为了实现无效符，我们需要一个数据结构来确保每个无效符只创建一次并且永远不会被删除。在 Solana 上，实施无效符的直接方法是创建一个以无效符作为种子的 PDA 帐户。 PDA 账户无法关闭并永久锁定 890,880 个灯泡（根据无效租金豁免）。压缩 PDA 的衍生方式与 Solana PDA 类似，创建成本为 15,000 lamport（无租金豁免）。存储|每个消除器的成本 ---|--- 掌上电脑| 890,880 盏灯压缩 PDA | 15,000 盏灯 ## 测试 # 生锈测试货物测试-sbf -p 无效符 # TypeScript 测试（需要轻量级测试验证器） light test-validator # 单独的终端 npm 运行测试：ts ## 模式概述 1. 客户端计算 nullifier = hash(secret, context) 2. 客户端获取派生地址的有效性证明（证明它不存在） 3. 客户端使用 nullifier 值和证明调用 create_nullifier 4.程序从nullifier中获取地址，通过CPI创建压缩账户 5. 如果地址已存在，轻系统程序将拒绝 CPI ## 资源 * 完整示例：[program-examples/zk/nullifier]() * ZK概述：[zkcompression.com/zk/overview]() * 其他 ZK 示例：[program-examples/zk]()（nullifier、zk-id、mixer、shielded-pool） ## 参考实现来源：[program-examples/zk/nullifier]() ### 账户结构 #[derive(克隆、调试、默认、BorshSerialize、BorshDeserialize、LightDiscriminator)] pub 结构 NullifierAccount {} 空结构，因为仅存在就证明使用了无效符。 ### 地址推导 pub const NULLIFIER_PREFIX: &[u8] = b"nullifier"; 让（地址，地址种子）= 派生地址（ &[NULLIFIER_PREFIX, nullifier.as_slice()], // 种子 &address_tree_pubkey, // 地址树 &program_id, // 节目 ID ）；地址确定性地源自： * 常量前缀（防止与其他账户类型冲突） * 无效值（32 字节） * 地址树公钥 * 程序ID ### 指令数据 #[导出（克隆、调试、AnchorSerialize、AnchorDeserialize）] pub struct NullifierInstructionData { pubproof: ValidityProof, // 地址不存在的 ZK 证明 pub address_tree_info：PackedAddressTreeInfo，酒吧输出状态树索引：u8，酒吧系统帐户偏移量：u8， } ### 创建取消函数 pub fn create_nullifiers<'信息>( 无效符：&[[u8; 32]]，数据：NullifierInstructionData，签名者：&AccountInfo<'信息>, 剩余帐户：&[AccountInfo<'信息>], ) -> 结果 <()> { 让 light_cpi_accounts = CpiAccounts::new( 签名者, &remaining_accounts[data.system_accounts_offset as usize..], LIGHT_CPI_SIGNER，）；让address_tree_pubkey = 数据 .address_tree_info .get_tree_pubkey(&light_cpi_accounts) .map_err(|_| 错误代码::AccountNotEnoughKeys)?; 让 mut cpi_builder = LightSystemProgramCpi::new_cpi(LIGHT_CPI_SIGNER, data.proof); 让 mut new_address_params: Vec = Vec::with_capacity(nullifiers.len()); for (i, nullifier) in nullifiers.iter().enumerate() { 让（地址，地址种子）= 派生地址（ &[NULLIFIER_PREFIX, nullifier.as_slice()], &地址树公钥， &板条箱::ID, ）；让 nullifier_account = LightAccount::::new_init( &板条箱::ID, 一些（地址），数据.output_state_tree_index，）； cpi_builder = cpi_builder.with_light_account(nullifier_account)?; new_address_params.push（数据.address_tree_info .into_new_address_params_signed_packed(address_seed, Some(i as u8)), ）； } cpi_builder .with_new_addresses(&new_address_params) .invoke(light_cpi_accounts)?; 好的(()) } ### 程序入口点 #[节目] pub mod 无效符 { pub fn create_nullifier<'信息>( ctx: 上下文<'_, '_, '_, '信息, CreateNullifierAccounts<'信息>>, 数据：NullifierInstructionData，无效符：Vec<[u8; 32]>, ) -> 结果 <()> { // 在这里验证您的 ZK 证明。使用无效符作为公共输入。 // 示例： // 让 public_inputs = [...nullifiers, ...your_other_inputs]; // Groth16Verifier::new(...).verify()?; 创建_nullifiers（ &无效符，数据， ctx.accounts.signer.as_ref(), ctx.remaining_accounts, ） } } #[导出（账户）] pub struct CreateNullifierAccounts <'信息> { #[账户(mut)] 酒吧签名者：签名者<'信息>， } ## 客户端实现（TypeScript） const NULLIFIER_PREFIX = Buffer.from("nullifier"); const addressTree = new web3.PublicKey(batchAddressTree); // 导出每个无效符的地址 const AddressWithTree = nullifiers.map((nullifier) => { const 种子 =deriveAddressSeedV2([NULLIFIER_PREFIX, nullifier]); const 地址 = 派生地址V2(种子, 地址树, 程序Id); return { 树：addressTree，队列：addressTree，地址：bn(address.toBytes()) }; }); // 获取有效性证明（证明地址不存在） constproofResult =等待rpc.getValidityProofV0([],addressesWithTree); // 建立剩余账户 const剩余帐户=新的PackedAccounts（）；剩余Accounts.addSystemAccountsV2(SystemAccountMetaConfig.new(programId)); const addressMerkleTreeIndex =剩余Accounts.insertOrGet(addressTree); const outputStateTreeIndex =剩余Accounts.insertOrGet(outputStateTree); // 构建指令数据常量数据 = { 证明：{0：proofResult.compressedProof}，地址树信息：{ 地址MerkleTreePubkeyIndex：地址MerkleTreeIndex， addressQueuePubkeyIndex：addressMerkleTreeIndex， rootIndex:proofResult.rootIndices[0], }, 输出状态树索引，系统帐户偏移量：系统启动， }; // 调用程序 const ix = 等待程序.方法 .createNullifier(data, nullifiers.map((n) => Array.from(n))) .accounts({ 签名者：signer.publicKey }) .remainingAccounts(剩余帐户) .instruction(); ## 客户端实现（Rust）使用 light_sdk::address::v2::derive_address；让address_tree_info = rpc.get_address_tree_v2(); // 导出地址让address_with_trees: Vec = nullifiers .iter() .map(|n| { 让（地址，_）= 派生地址（ &[NULLIFIER_PREFIX, n.as_slice()], &address_tree_info.tree, &节目ID, ）；地址树{ 地址，树：address_tree_info.tree， } }) .collect(); // 获取有效性证明（空哈希=非包含证明）让 rpc_result = rpc .get_validity_proof（vec！[]，address_with_trees，无） .等待？。价值; // 建立账户让 mut剩余账户 = PackedAccounts::default(); 让 config = SystemAccountMetaConfig::new(program_id); 剩余账户.add_system_accounts_v2(配置)?; 让packed_address_tree_accounts = rpc_result .pack_tree_infos(&mut剩余帐户) .address_trees；让output_state_tree_index = rpc .get_random_state_tree_info()？ .pack_output_tree_index(&mut left_accounts)?; ## SDK 参考套餐 |链接 ---|--- `light-sdk` | [docs.rs]() `@lightprotocol/stateless.js` | [API 文档]() `轻客户端` | [docs.rs]() `@lightprotocol/nullifier-program` | [npm]() `光消除程序` | [crates.io]() `轻程序测试` | [docs.rs]() ## 安全此技能仅提供代码模式和文档参考。 * **不消耗凭据。** 该技能不需要 API 密钥、私钥或签名密钥。 `env: []` 被显式声明。 * **子代理范围。** 当卡住时，技能会要求生成一个只读子代理，其“Read”、“Glob”、“Grep”范围仅限于技能参考、示例存储库和文档。 * **安装源代码。** `npx 技能从 [Lightprotocol/skills]() 添加 Lightprotocol/skills`。 * **经过审计的协议。** Light Protocol 智能合约经过独立审计。报告发布在 [github.com/Lightprotocol/light-protocol/tree/main/audits]()。

Zk 无效者

包含技能