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 证明指令相关的证明数据在逻辑上分为两部分:
- 上下文组件包含零知识证明正在验证的数据。例如,VerifyRangeProofU64 指令数据的上下文组件是保存无符号 64 位数字的 Pedersen 承诺。 VerifyPubkeyValidity 指令数据的上下文组件是正确形成的 ElGamal 公钥。
- 证明组件包含证明上下文数据的不同属性的实际数学部分。
ZK Token 证明程序分两步处理一条证明指令:
- 验证与证明指令关联的零知识证明数据。
- 如果指令中指定,则程序将上下文数据存储在专用的上下文状态帐户中。
使用证明指令的最简单方法是在不生成上下文状态帐户的情况下执行它。在这种情况下,证明指令可以作为包含其他 Solana 程序指令的较大 Solana 交易的一部分包含在内。程序应该直接从证明指令数据访问上下文数据,并在程序逻辑中使用它。
或者,可以执行证明指令以产生上下文状态账户。在这种情况下,即使在包含证明指令的交易完成其执行之后,与证明指令相关联的上下文数据仍然存在。在需要 PDA 提供 ZK 证明或证明数据太大而无法放入单个交易的情况下,创建上下文状态帐户非常有用。
Proof Instructions
ZK Token 证明程序支持以下零知识证明列表。
ElGamal 加密证明
VerifyPubkeyValidity:
- ElGamal 公钥有效性证明指令证明 ElGamal 公钥-key 是正确形成的公钥。
- 数学描述和安全性证明:[注释]
VerifyZeroBalance: - 零余额证明证明 ElGamal 密文加密数字零。
- 数学描述和安全性证明:[注释]
Equality proofs
VerifyCiphertextCommitmentEquality:
- 密文-承诺相等性证明证明 ElGamal 密文和 Pedersen 承诺编码相同的消息。
- 数学描述和证明security: [Notes]
VerifyCiphertextCiphertextEquality: - 密文-密文相等性证明证明两个 ElGamal 密文加密同一消息。
- 数学描述和安全性证明:[Notes]
未完待续。。