登链社区

zkForge2025 - 使用zkVerify的演示 #2

视频 AI 总结：该视频是关于使用 zkVerify 验证零知识证明（zkProves）的教程。主讲人 Milica 通过一个实际操作的例子，展示了如何在不直接使用钱包的情况下，通过 API 调用与链进行交互，验证 Groth16 证明。参与者通过 zkRappel 生成证明，然后使用 zkVerify 的 API 密钥进行验证，并在 zkVerify explorer 上查看验证结果。关键信息： * zkVerify 允许开发者通过 API 调用验证零知识证明，无需直接使用钱包。 * 教程使用 zkRappel 生成 Groth16 证明，包括 VK、proof.json 和 public inputs.json 三个文件。 * 参与者通过 Telegram 获取 API 密钥，用于在代码中调用 zkVerify 的 API 进行证明验证。 * 验证成功后，可以在 zkVerify explorer 上查看交易哈希和验证详情。 * 视频还讨论了代码编写的最佳实践，以及如何避免在公共代码库中暴露 API 密钥。 * zkVerify 社区正在考虑建立西班牙语社区。 * zkMonk 黑客松即将开始，详情将在 Discord 和 Telegram 上公布。

567 0 0 2025-11-24 11:49

zkForge2025 - 使用zkVerify的演示 #1

视频 AI 总结：该视频是关于 zkVerify 的介绍，zkVerify 是一个零知识证明验证层，旨在降低验证零知识证明的成本和复杂性。主讲人 Melissa 详细介绍了 zkVerify 的功能、支持的证明类型（包括 Snarks 和 Starks 等），以及其架构和工作原理。zkVerify 允许开发者将证明发送到链上进行验证，并支持多种链，如 Ethereum Sepolia、Horizon、Arbitrum 等。关键信息： * zkVerify 是一个 L1 区块链，专门用于验证零知识证明。 * zkVerify 支持多种零知识证明类型，包括 Snarks、Starks、Ultraplunk、SP1、RISC-Zero 等。 * zkVerify 降低了验证零知识证明的成本，通过聚合证明并分摊成本。 * zkVerify 允许开发者在不同的区块链生态系统中验证零知识证明，并获取验证回执。 * zkVerify 提供了详细的文档和教程，帮助开发者集成和使用该平台。 * zkVerify 正在积极开发和添加新的功能和支持的证明类型。 * 零知识证明在隐私保护、游戏公平性等方面有广泛的应用。 * 成为 zkDev 的关键在于理解零知识证明的应用场景，而深入的数学和密码学知识对于开发底层协议更为重要。

602 0 0 2025-11-23 09:49

zkForge2025 - 使用zkVerify演示zkEmail

视频 AI 总结：该视频的核心内容是讲解如何使用 zkEmail 和 zkVerify.js 来验证电子邮件的真实性，同时保护邮件内容的隐私。通过实际的代码演示，展示了如何生成 zkEmail 证明，并使用 zkVerify.js 在 Volta 测试网上验证该证明。关键信息： 1. **zkEmail 概念：** zkEmail 是一种技术，允许在不泄露实际数据的情况下生成关于电子邮件内容的零知识证明，例如发件人、主题等元数据。 2. **zkVerify.js：** zkVerify.js 是 zkVerify 团队提供的客户端库，用于验证 zkEmail 生成的证明。 3. **zkEmail 的应用场景：** 证明参与场景，证明收到邮件但不展示邮件内容，验证邮件是否来自可信来源。 4. **工作流程：** * 创建 .eml 文件。 * 使用 zkEmail 网站的蓝图（blueprint）创建模板，指定需要证明的邮件部分。 * 使用预先编程的电路生成证明。 * 使用 zkVerify.js 验证证明，确认其真实性。 5. **代码演示：** 演示了如何使用 zkEmail SDK 获取蓝图、生成证明，以及如何使用 zkVerify.js 连接到 Volta 测试网并验证证明。 6. **Volta 测试网：** 使用 Polkadot 钱包和 Volta 测试网的水龙头（faucet）来获取测试币，用于在链上验证证明。 7. **验证过程：** 将证明和公共输入发送到链上，通过监听事件来确认验证结果。 8. **游戏应用：** zkVerify 可用于游戏场景，例如证明玩家达到特定等级但不透露具体等级，或验证玩家是否符合开启宝箱的条件。

551 0 0 2025-11-23 08:48