使用 SP1 Solana 验证器在 Solana 上使用 ZKP

为 Solana 生态系统带来可扩展的零知识证明

要点: 我们极速的 zkVM SP1 现在有了一个 Solana 验证器。希望在 Solana 上使用 ZKP 来实现可扩展性（网络扩展或大规模 ZK 协同处理）和隐私用例（可验证凭证、ZK KYC、机密 AMM）的开发者，现在可以通过编写 Rust 并使用 SP1 生成证明来轻松地使用 ZKP。

开发者可以利用 Solana 上的 SP1 实现：

• 可扩展性：通过 SP1，开发者可以生成成本效益高的、无限计算量的证明，并在 Solana 上验证它们。这为网络扩展/rollup、用于计算统计数据的大规模 ZK 协同处理，以及类似 ZK 压缩 的构造等用例提供了极高的可扩展性。
• 隐私性：使用 SP1 生成的 ZKP 可以选择隐藏输入，从而实现诸如链上 ZK KYC（使用护照或驾驶执照的 ZK 证明）之类的用例，用于 DeFi 协议和其他应用。
• 互操作性：由 SP1 驱动的轻客户端可以通过用共识的 ZKP 替换多重签名，使 Solana 和其他生态系统之间的跨链桥接更加安全。

你可以查看 GitHub 上的 SP1 Solana 验证器 和 开发者文档 来开始构建。加入像 Termina (Nitro SVM), Spicenet, Aerius Labs 这样的团队，他们已经在今天开始使用 SP1 在 Solana 上进行构建，请 点击此处 联系。

介绍

什么是 SP1，它能实现什么？

SP1 是一个 zkVM（零知识虚拟机），它允许开发者通过简单地编写普通代码来使用零知识证明。

SP1 的主要优势是：

• 它易于使用：开发者只需要编写 Rust，无需理解基于 ZKP 的密码学或其底层数学。
• 它速度极快：SP1 在区块链工作负载方面具有最先进的性能，例如 rollup/网络扩展、数字签名验证等等。

SP1 已经被区块链领域的顶级团队使用，包括：

• Celestia：SP1 为 Celestia 的 Blobstream 提供支持，该 Blobstream 将数据可用性 (DA) 桥接到 Ethereum 和其他 EVM 链。
• Avail: SP1 支持 Avail 的 Vector 桥 以将 Avail DA 的 Merkle 根中继到 Ethereum，并保护 Avail 的原生代币桥到 Ethereum。
• Polygon: Polygon 团队正在使用 SP1 构建 AggLayer——他们解决 Ethereum 互操作性的旗舰协议。

在 Solana 上使用 SP1

通过本次发布，SP1 现在有了一个 Solana 验证器——这意味着开发者可以轻松地在 Solana 应用程序中验证 SP1 证明。在 GitHub 上查看它。

为了在链上验证 SP1 证明，开发者需要导入 sp1_solana crate 并在他们的 Solana 程序中使用它。请查看下面的示例 Solana 程序，该程序验证了链下计算第 N 个斐波那契数的 SP1 证明。完整的示例可以在 这里 找到。

使用 SP1 在 Solana 上进行创新的团队

已经有一些团队在使用 SP1 在 Solana 上进行构建。

• Termina：正在为特定应用的区块空间和可扩展的执行构建 SVM rollup 基础设施（网络扩展）。
• Soon：正在构建一个结算到 Ethereum 的 SVM rollup 框架，其 ZK 故障证明由 SP1 提供支持。
• Aerius：使用 SP1 使 SVM 具有 ZK 可证明性。
• Spicenet：利用 SP1 证明其统一流动性层的状态转换函数，该层连接到 Solana。
• Sovereign SDK：一个特定应用的 rollup 框架，集成了 SP1 用于 ZK 证明，被 Zeta Markets 等团队用于构建 rollup 和网络扩展。

你是否有兴趣加入这些团队并使用 ZKP 在 Solana 上进行构建？请 点击此处 联系！

用例

阅读更多关于如何在 Solana 上使用 ZKP 的信息，并查看 Solana 基金会的这篇 信息丰富的 X 帖子。

网络扩展

正如 Solana 的战略负责人 Austin Federa 最近指出的那样，网络扩展是专门的执行环境，类似于 Ethereum rollup，旨在为应用程序提供无限的可扩展性。它们直接与 Solana 的 Layer 1 集成，从而提高处理数百万甚至数十亿笔交易的应用程序的可扩展性。

ZKP 对网络扩展至关重要，因为这些环境必须向基础层证明其有效性，以保持安全性和无需信任。这种验证可以通过 ZK 故障证明或完整的 ZK 有效性证明来实现。ZKP 的可验证性使得网络扩展能够突破可扩展性限制并提供无限的计算能力。

示例包括：

• Helium：为数十亿台设备扩展 IoT 交易。
• Zeta Markets：通过 zk-rollup 实现实时 DeFi 解决方案。
• Neon EVM：简化了在 Solana 上的 Ethereum 应用部署。

结算到 Ethereum 和其他基础层的 SVM Rollup

随着 Solana 的崛起，底层 Solana 虚拟机（SVM）的受欢迎程度呈爆炸式增长，并且涌现出几个团队（SOON、Atlas 和 Eclipse）正在构建结算到 Ethereum 和其他模块化基础层的 SVM rollup。SVM rollup 可以利用像 SP1 这样的 zkVM 进行 ZK 故障证明或完整的 ZK 有效性证明，以安全地证明其 rollup 的状态转换函数，从而结算到 Ethereum 或其他链。SP1 使证明 SVM rollup 变得简单——只需获取 Solana Agave 客户端（用 Rust 编写），将其导入以编写 SP1 程序，然后开始生成链的证明！

可验证凭证

链上身份认证已通过 SP1 实现。Solana 开发者可以使用 SP1 的 zkVM 生成证明，以证明最终用户的护照、驾驶执照或其他真实世界的证明。对于希望获得个人身份证明、用于符合性要求的链上 KYC 或来自真实世界数据的其他属性的协议，这可能很有用。

跨链互操作性

ZKP 实现了 Solana 和其他生态系统之间更安全的跨链互操作性。“ZK 轻客户端”（其中生成 Solana 或其他链共识的 ZKP）可以取代依赖于不安全的多重签名并被黑客攻击的传统桥接方法。将 ZKP 集成到桥接协议（如 Hyperlane、Wormhole、LayerZero 等）中，使得与 Solana 之间的桥接更加安全。

我们很乐意听取你的意见

加入像 Nitro、Spicenet 和 Aerius 这样的团队，今天就开始使用 SP1 在 Solana 上进行构建。如果你有以下情况，我们很乐意听取你的意见：

• 你正在开发网络扩展以处理高吞吐量的用例。
• 你正在使用 Sovereign SDK 构建一个结算到 Solana 的特定应用的 rollup
• 你正在探索用于超可扩展用例的链下计算，例如大规模数据处理（“ZK 协同处理”），计算大规模统计数据等等。
• 你对使用我们的 SP1 证明集群进行超快速证明 以用于对延迟敏感或高吞吐量的应用程序感兴趣。

联系我们的团队 或 开始使用 以开始构建更具可扩展性、安全性、隐私性和可验证性的 Solana dApp。

了解更多关于 SP1 的信息

开发者

• 探索 SP1 的 Solana 验证器
• 阅读 SP1 的代码 和 开发者文档
• 加入我们的 Telegram 群组 以获得开发者支持。

生态系统爱好者

• 在 X/Twitter 上关注我们
• 通过关注 我们的博客，成为第一个了解最新动态的人。

• 原文链接： blog.succinct.xyz/solana...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～