# Solana 上的 ZK 压缩 ZK 压缩通过将状态存储在分类账上而不是帐户中，使用零知识证明来验证状态转换，从而在 Solana 上实现免租金代币和 PDA。由 Light Protocol 构建并由 Helius Photon 索引。 ## 何时使用 ZK 压缩 **在以下情况下使用 ZK 压缩：** * 创建数百万个代币账户（比普通账户便宜 5000 倍） * 铸造给许多接收者（空投、忠诚度计划、游戏资产） * 构建具有许多不经常更新的用户帐户的应用程序 * 降低更新频率低的 PDA 的租金成本 **在以下情况下使用常规帐户：** * 账户经常更新（>1000 次生命周期写入） * 账户存储链上交易访问的大数据 * 计算预算至关重要（压缩增加约 100k CU 开销） ## 快速入门 ### 安装 # TypeScript 客户端 npm install @lightprotocol/stateless.js @lightprotocol/compressed-token # 用于程序的 Rust SDK 货物添加light-sdk # 用于开发的 CLI npm install -g @lightprotocol/zk-compression-cli ### 本地发展 # 启动支持压缩的本地验证器光测试验证器 # 使用压缩初始化一个新的 Anchor 项目轻初始化我的程序 ### Mint 压缩令牌 (TypeScript) 从'@lightprotocol/stateless.js'导入{createRpc}；从'@lightprotocol/compressed-token'导入{createMint，mintTo，传输}； const rpc = createRpc(); // 或 createRpc('https://mainnet.helius-rpc.com?api-key=YOUR_KEY') // 创建带有令牌池的mint进行压缩 const { mint } =等待createMint(rpc, payer, payer.publicKey, 9); // 铸造压缩代币（创建压缩代币账户）等待mintTo（rpc，付款人，铸币厂，收件人，付款人，1_000_000_000）； // 传输压缩令牌等待转账（rpc，付款人，铸币厂，500_000_000，所有者，收件人）； // 查询压缩代币账户 const 账户 = 等待 rpc.getCompressedTokenAccountsByOwner(owner, { mint }); ### 使用压缩 PDA 构建程序（锚点）使用anchor_lang::prelude::*；使用 light_sdk::{ 帐户::LightAccount, 地址::v1::derive_address, cpi::{v1::CpiAccounts, CpiSigner}, 派生_light_cpi_signer，指令::{account_meta::CompressedAccountMeta, PackedAddressTreeInfo, ValidityProof}, 光鉴别器、LightHasher、 }; declare_id!("你的程序ID"); pub const LIGHT_CPI_SIGNER: CpiSigner =derive_light_cpi_signer!("YourProgramID"); #[节目] 酒吧模组我的程序{ 使用超级::*; 使用 light_sdk::cpi::{v1::LightSystemProgramCpi, InvokeLightSystemProgram}； pub fn create_account<'信息>( ctx: 上下文<'_, '_, '_, '信息, MyAccounts<'信息>>, 证明：有效性证明，地址树信息：打包的地址树信息，输出状态树索引：u8， ) -> 结果 <()> { 让 light_cpi_accounts = CpiAccounts::new( ctx.accounts.signer.as_ref(), ctx.remaining_accounts, 板条箱::LIGHT_CPI_SIGNER, ）；让（地址，地址种子）= 派生地址（ &[b"my_account", ctx.accounts.signer.key().as_ref()], &address_tree_info.get_tree_pubkey(&light_cpi_accounts)?, &板条箱::ID, ）；让 new_address_params = address_tree_info.into_new_address_params_packed(address_seed); // 创建新的压缩帐户让 mut account = LightAccount::::new_init( &板条箱::ID, 一些（地址），输出状态树索引，）； account.owner = ctx.accounts.signer.key(); 账户数据 = 0; LightSystemProgramCpi::new_cpi(LIGHT_CPI_SIGNER, 证明) .with_light_account（帐户）？ .with_new_addresses(&[new_address_params]) .invoke(light_cpi_accounts)?; 好的(()) } pub fn update_account<'信息>( ctx: 上下文<'_, '_, '_, '信息, MyAccounts<'信息>>, 证明：有效性证明，当前数据：u64， account_meta：压缩AccountMeta， ) -> 结果 <()> { // 修改已有的压缩账户让 mut account = LightAccount::::new_mut( &板条箱::ID, &account_meta, 我的帐户 { 所有者：ctx.accounts.signer.key(), 数据：当前数据， }, ）？； account.data = account.data.checked_add(1).unwrap(); 让 light_cpi_accounts = CpiAccounts::new( ctx.accounts.signer.as_ref(), ctx.remaining_accounts, 板条箱::LIGHT_CPI_SIGNER, ）； LightSystemProgramCpi::new_cpi(LIGHT_CPI_SIGNER, 证明) .with_light_account（帐户）？ .invoke(light_cpi_accounts)?; 好的(()) } } #[导出（帐户）] pub struct MyAccounts <'信息> { #[账户(mut)] 酒吧签名者：签名者<'信息>， } #[活动] #[derive(克隆、调试、默认、LightDiscriminator、LightHasher)] pub 结构我的帐户 { #[哈希] 酒吧老板：Pubkey，酒吧数据：u64， } ## 核心概念 ### 压缩账户模型压缩帐户与常规 Solana 帐户类似，但存储方式不同：方面|普通账户|压缩账户 ---|---|--- 存储| AccountsDB（磁盘）|账本（调用数据）出租|必需（每 100 字节约 0.002 SOL）|无鉴定|公共密钥 |哈希（写入时更改）或地址状态验证 |运行时检查 | ZK有效性证明 **主要区别：** * 每次写入时哈希值都会发生变化（由内容哈希值标识的帐户） * PDA 的可选永久地址（类似于常规 PDA） * 状态存储在 Merkle 树中，只有根在链上 ### 状态树压缩帐户使用 Poseidon 哈希存储在并发 Merkle 树中： * 链上仅存储树根 * 叶子包含压缩的帐户哈希值 * 有效性证明证明帐户包含在树中 **V2 批量 Merkle 树**（主网，2026 年 1 月）：状态根更新通过 ZK 证明进行批量和验证，与 V1 树相比，每次更新成本降低约 250 倍，整体 CU 使用率降低约 70%。现有部署仍然支持 V1 树。新部署自动使用 V2 树。 ### 有效性证明 ZK 证明 (Groth16) 验证状态转换： * 证明M个状态树中存在N个账户 * 无论账户如何，恒定的 128 字节证明大小 * ~100k CU 用于证明验证 ### 交易生命周期 1. **构建**：客户端通过RPC获取压缩账户和有效性证明 2. **提交**：交易包含账户数据+有效负载中的证明 3. **验证**：轻系统程序验证证明和帐户完整性 4. **更新**：新状态附加到树，旧状态无效 5. **索引**：Photon RPC 节点从账本中索引新状态 ## 轻账户操作 // 创建新账户（没有输入状态，只有输出）让 account = LightAccount::::new_init(&program_id, Some(address), tree_index); // 修改现有账户（输入+输出状态）让 mut account = LightAccount::::new_mut(&program_id, &account_meta, current_state)?; account.field = new_value; // 关闭账户（输入状态，无输出）让 account = LightAccount::::new_close(&program_id, &account_meta, current_state)?; ## Helius SDK 集成通过 Helius RPC 查询压缩状态：从 'helius-sdk' 导入 { Helius }； const helius = new Helius('YOUR_API_KEY'); // 通过哈希或者地址获取压缩账户 const account = wait helius.zk.getCompressedAccount({ 地址 }); // 获取所有者的所有压缩帐户 const 账户 = 等待 helius.zk.getCompressedAccountsByOwner(owner); // 获取压缩后的token账户 const tokenAccounts =等待 helius.zk.getCompressedTokenAccountsByOwner(owner, { mint }); // 获取账户有效性证明 constproof=await helius.zk.getValidityProof({ hashes: [hash1, hash2] }); // 获取账户的压缩签名 const 签名 = 等待 helius.zk.getCompressionSignaturesForAccount(hash); ## RPC 方法 ZK Compression RPC API（通过 Helius 或自托管 Photon）：方法|描述 ---|--- `获取压缩帐户` |通过哈希或地址获取帐户 `getCompressedAccountsByOwner` |获取 pubkey 拥有的所有帐户 `getCompressedTokenAccountsByOwner` |获取所有者的代币帐户 `getCompressedTokenBalancesByOwner` |获取代币余额摘要 `getValidityProof` |获取账户纳入的 ZK 证明 `getMultipleCompressedAccounts` |批量获取账户 `getCompressionSignaturesForAccount` |获取交易历史记录 ## 基础设施 ### 节点类型节点|目的|运行方式 ---|---|--- **光子 RPC** |索引压缩状态，服务查询 | Helius（规范），自托管 **证明者** |生成有效性证明 |与 Photon 捆绑或独立使用 **林务员** |维护状态树，清空无效队列|轻协议、社区 ### 在本地运行 Photon # 安装货物安装光子索引器 # 对抗 devnet 运行光子 --rpc-url=https://api.devnet.solana.com # 使用 Postgres 进行生产 photon --db-url=postgres://postgres@localhost/postgres --rpc-url= # 从快照加载以加快引导速度 photon-snapshot-loader --snapshot-dir=~/snapshot --snapshot-server-url=https://photon-devnet-snapshot.helius-rpc.com ## 权衡考虑|影响 ---|--- **较大的交易** | +128 字节用于证明 + 有效负载中的帐户数据 **更高的 CU 使用率** | ~100k CU 证明验证 + 每个账户 ~6k CU **每次写入成本** |每次写入都会使旧状态无效，追加新状态 **索引器依赖性** |需要 Photon RPC（或自托管）进行查询 **收支平衡分析**：使用 V2 批处理树，压缩帐户对于比 V1 的 ~1000 写入阈值显着更多的写入来说具有成本效益，因为状态根更新便宜 250 倍。确切的收支平衡取决于树的利用率和批量大小。 ## 参考文档 * **[compressed-accounts.md]()** \- 详细的帐户模型、哈希、地址 * **[compressed-tokens.md]()** \- 令牌操作、池、批量操作 * **[compressed-pdas.md]()** \- 使用压缩 PDA 构建程序 * **[client-integration.md]()** \- TypeScript/Rust 客户端设置、RPC 方法 ## 资源 * [ZK压缩文档]() * [Light 协议 GitHub]() * [Helius SDK]() * [光子索引器]() * [程序示例]() * [Helius ZK 博客]()

Solana 压缩

包含技能