10分钟Solana-性能web3-4.2 程序派生地址

Rockbean
16 阅读4分钟

欢迎订阅专栏：10分钟Solana-性能web3

程序派生地址是 Solana 账户模型中最具特色且核心的设计之一。它允许程序在无需私钥的情况下，通过确定性算法“签名”并控制特定的账户地址。

🤔 为什么需要 PDA？

在 Solana 上，每个账户都由一个程序（Program）拥有。一个程序要“拥有”并控制一个账户，通常需要该账户的私钥来签署交易。然而，将私钥存储在程序内部是极度危险的。

PDA 解决了这个难题：它允许程序通过一个确定的数学公式，在不持有任何私钥的情况下，生成一个地址，并代表该地址进行“签名”，从而安全地管理该账户。

🧭 PDA 与普通密钥对地址的区别

  • 普通地址 (Ed25519 Curve)：位于椭圆曲线（ed25519）上，拥有一对公私钥，且公钥与私钥是数学关联的。只有持有对应私钥的实体才能签署交易。
  • PDA (Program Derived Address)：不在 ed25519 曲线上，因此没有对应的私钥。它是一个由程序 ID 和种子（seeds） 数组通过确定性哈希（使用 sha256）计算得出的 32 字节地址。

🔑 关键机制：种子的作用

PDA 的生成公式为：

PDA = sha256(seeds, program_id)
  • 种子 (Seeds)：是开发者自定义的一组字节，通常是业务的唯一标识（如用户名、ID、配置文件名称等）。
  • program_id：是拥有该 PDA 的程序地址。
  • 目标：理想情况下，我们希望生成的地址不在 ed25519 曲线上（即“非曲线点”），这样才能确保它与私钥无关，从而保证只有程序能对其进行签名控制。

bump 种子：上述哈希运算有一定概率（约 50%）生成一个位于 ed25519 曲线上的地址，这会导致该地址有潜在的对应私钥。为了避开曲线点，Solana 在计算时加入了 bump 种子 —— 一个从 255 开始向下递减的 u8 整数，直到哈希结果不再落在曲线上为止。通常，开发者使用 find_program_address 函数自动找到这个有效的 bump 值。

💡 程序如何代表 PDA “签名”？

这是 PDA 最核心的价值所在。当程序需要以 PDA 的身份执行某项操作（如转移资产）时，它无需提供私钥签名，而是需要在交易指令中提供生成该 PDA 所用的种子和 bump。

Solana 运行时（Runtime）在验证交易时，会：

  1. 用提供的种子和 bump 重新计算一遍 PDA。
  2. 将计算结果与指令中声称的 PDA 地址进行比对。
  3. 如果匹配，则运行时隐式地将该 PDA 视为已“签名”。

这种机制被称为 “程序签名”（Program Signature）。通过这种方式，程序无需管理任何私钥，就能获得对其衍生账户的控制权。

🗺️ PDA 的主要应用场景

PDA 在 Solana 开发中非常常见，主要用于：

  1. 存储程序状态：程序通常使用 PDA 作为其状态账户的地址，这样账户的地址是可预测的（例如，由一个全局“配置”种子派生）。这是 Anchor 框架 init 约束默认创建账户的方式。
  2. 建立账户关系：PDA 可用于确定性存储与特定用户或 ID 相关的数据。例如，在去中心化交易所中，可以使用 (user, mint) 作为种子创建一个 PDA 来存储用户的代币头寸。
  3. 实现跨程序签名：通过 跨程序调用（CPI），程序可以代表其拥有的 PDA 向其他程序发起调用并“签名”，从而实现复杂的合约交互。
  4. 代币账户与权限管理：PDA 常在 token 程序中用作权限账户（Authority Account），通过持有 Mint 或 Token Account 的权限来控制铸造、冻结、销毁等操作。

🛠️ 在 Anchor 框架中使用 PDA

Anchor 极大地简化了 PDA 的使用。

  • 生成 PDA：可以使用 Pubkey::find_program_address(&[seeds], program_id) 来查找一个有效的 PDA 及其 bump 值。
  • 在账户结构中使用：当定义账户结构（#[derive(Accounts)]）时，account 约束中可以指定 seeds 和 bump。 
    #[derive(Accounts)]
pub struct Initialize<'info> {
    #[account(init, seeds = [b"config"], bump, payer = signer, space = 8)]
    pub config: Account<'info, Config>,
    // ...
}
    这里 bump 告诉 Anchor 自动查找并验证有效的 bump 值。
  • 验证 PDA：使用 seeds 约束可以确保传入的账户地址是由当前程序正确派生的，防止账户混淆攻击。

💎 总结

PDA 是 Solana 实现无状态、可验证程序架构的基石。它通过数学确定性，让程序能够安全、可预测地管理账户，无需持有任何私钥，从而极大地保障了链上资产的安全性和可组合性。理解 PDA 是深入掌握 Solana 开发的关键一步。

如果你想进一步了解在实际开发中如何使用 Anchor 框架与 PDA 交互，或者学习更多关于 PDA 的高级用法，可以继续提问。

avatar
文章
阅读
粉丝