Solana ZK Token Proof Program

Solana ZK Token Proof Program

  • [Pedersen commitments and ElGamal encryption](#Pedersen commitments and ElGamal encryption)
  • [Context Data](#Context Data)
  • [Proof Instructions](#Proof Instructions)
    • [ElGamal 加密证明​](#ElGamal 加密证明)
    • [Equality proofs​](#Equality proofs)

原生 Solana ZK 代币证明程序可验证许多零知识证明,这些证明专为与椭圆曲线 curve25519 上的 Pedersen 承诺和 ElGamal 加密配合使用而定制。该计划最初旨在验证 SPL Token 2022 计划所需的零知识证明。然而,证明程序中的零知识证明也可以在 SPL Token 2022 之外的更一般的环境中使用。

Program id: ZkTokenProof1111111111111111111111111111111

Pedersen commitments and ElGamal encryption

ZK Token 证明程序验证 Pedersen 承诺和 ElGamal 加密的零知识证明,这些是常见的加密原语,已纳入许多现有的加密协议中。

ElGamal 加密是公钥加密方案的流行实例。 ElGamal 密钥对由 ElGamal 公钥和 ElGamal 秘密密钥组成。可以使用公钥对消息进行加密以产生密文。然后可以使用相应的 ElGamal 密钥对密文进行解密。证明程序中使用的变体是椭圆曲线 curve25519 上的扭曲 ElGamal 加密。

Pedersen 承诺方案是加密承诺方案的流行实例。承诺方案允许用户将消息包装到承诺中,以便稍后揭示已提交的消息。与密文一样,生成的承诺不会泄露有关包含消息的任何信息。同时,该承诺具有约束力,因为用户无法更改承诺中包含的原始值。

有兴趣的读者可以参考以下资源,更深入地了解 Pedersen 承诺和(扭曲的)ElGamal 加密方案。
Notes on the twisted ElGamal encryption

A technical overview of the SPL Token 2022 confidential extension

Pretty Good Confidentiality research paper

ZK Token 证明程序包含有关各种零知识证明的证明验证指令,用于与 Pedersen 承诺和 ElGamal 加密方案配合使用。例如,VerifyRangeProofU64 指令验证零知识证明,证明 Pedersen 承诺包含无符号 64 位数字作为消息。 verifyPubkeyValidity 指令验证零知识证明,证明 ElGamal 公钥是正确形成的公钥。

Context Data

与每个 ZK Token 证明指令相关的证明数据在逻辑上分为两部分:

  1. 上下文组件包含零知识证明正在验证的数据。例如,VerifyRangeProofU64 指令数据的上下文组件是保存无符号 64 位数字的 Pedersen 承诺。 VerifyPubkeyValidity 指令数据的上下文组件是正确形成的 ElGamal 公钥。
  2. 证明组件包含证明上下文数据的不同属性的实际数学部分。

ZK Token 证明程序分两步处理一条证明指令:

  1. 验证与证明指令关联的零知识证明数据。
  2. 如果指令中指定,则程序将上下文数据存储在专用的上下文状态帐户中。

使用证明指令的最简单方法是在不生成上下文状态帐户的情况下执行它。在这种情况下,证明指令可以作为包含其他 Solana 程序指令的较大 Solana 交易的一部分包含在内。程序应该直接从证明指令数据访问上下文数据,并在程序逻辑中使用它。

或者,可以执行证明指令以产生上下文状态账户。在这种情况下,即使在包含证明指令的交易完成其执行之后,与证明指令相关联的上下文数据仍然存在。在需要 PDA 提供 ZK 证明或证明数据太大而无法放入单个交易的情况下,创建上下文状态帐户非常有用。

Proof Instructions

ZK Token 证明程序支持以下零知识证明列表。

ElGamal 加密证明​

VerifyPubkeyValidity:

  1. ElGamal 公钥有效性证明指令证明 ElGamal 公钥-key 是正确形成的公钥。
  2. 数学描述和安全性证明:[注释]
    VerifyZeroBalance:
  3. 零余额证明证明 ElGamal 密文加密数字零。
  4. 数学描述和安全性证明:[注释]

Equality proofs​

VerifyCiphertextCommitmentEquality:

  1. 密文-承诺相等性证明证明 ElGamal 密文和 Pedersen 承诺编码相同的消息。
  2. 数学描述和证明security: [Notes]
    VerifyCiphertextCiphertextEquality:
  3. 密文-密文相等性证明证明两个 ElGamal 密文加密同一消息。
  4. 数学描述和安全性证明:[Notes]

未完待续。。

相关推荐
leijiwen2 天前
花尖墨 Web3 水果品牌白皮书
web3
Jamie201901062 天前
web3云服务和传统云有啥区别
web3
链上Sniper3 天前
智能合约状态快照技术:实现 EVM 状态的快速同步与回滚
java·大数据·linux·运维·web3·区块链·智能合约
FreeBuf_3 天前
朝鲜APT组织使用Nim语言恶意软件对macOS发起隐秘Web3与加密货币攻击
macos·web3·策略模式
dingzd954 天前
结合指纹防护技术,释放Web3去中心化的潜力
web3·去中心化·区块链·facebook·tiktok·instagram·clonbrowser
OEC小胖胖4 天前
去中心化身份:2025年Web3身份验证系统开发实践
前端·web3·去中心化·区块链
CertiK4 天前
IBW 2025: CertiK首席商务官出席,探讨AI与Web3融合带来的安全挑战
人工智能·安全·web3
长安链开源社区13 天前
长安链浏览器「数据看板」 高效洞察数据状态与趋势
web3·区块链·共识算法
小碗细面13 天前
Web3学习记录之- Solidity安装使用Remix IDE
web3
穗余14 天前
WEB3开启 Hardhat 自动验证有什么意义
web3