隐私计算

OpenSpace 公开课 Aleo：ZK驱动的隐私区块链

视频 AI 总结： 该视频是Aleo基金会开发者关系负责人ZK的分享，主要介绍Aleo通过零知识证明（ZK）实现默认隐私的区块链解决方案。他强调，没有隐私的加密货币难以实现大规模应用，而Aleo通过自研Leo语言抽象底层ZK复杂性，让开发者轻松构建隐私应用。视频还介绍了Aleo的最新进展，如隐私稳定币USDCX/USDA、官方钱包Show Wallet、记录扫描与委托证明服务、动态分发器升级、代币总量上限设定等，并讨论了隐私与监管的平衡、UTXO与账户混合模型的应用，以及未来在支付、DeFi、游戏等领域的潜力。 关键信息： - Aleo利用ZK技术实现数据隐私，默认所有数据加密，但可选择性披露给监管。 - 自研Leo DSL极大降低ZK开发门槛，开发者无需懂底层电路。 - 采用UTXO+账户混合模型，兼顾隐私与可编程性（合约使用account-based，用户使用UTXO）。 - 近期推出隐私稳定币（与Circle合作）、官方钱包（含扫描和委托证明服务，并集成TEE保证隐私）、跨链桥、动态分发器（支持运行时调用其他合约）、代币上限50亿等。 - 交易生成证明时间：简单转账约3-5秒，复杂操作（如添加流动性）约5-7秒。 - 隐私应用方向：支付、DeFi（消除MEV）、游戏（隐藏状态）、身份认证等。 - 针对监管采用“选择性披露”，仅向指定方暴露必要信息，符合合规要求。 - 开发者支持：线上IDE Leo Playground、技术社区（Discord/Telegram）、生态资源曝光，资助偏向成熟有商业计划的项目。

192 0 0 2026-05-06 18:22

使用 Arcium 在 Solana 上进行私有交易

视频 AI 总结： 本视频介绍了如何在 Solana 上使用 Arcium 编写私有交易代码，构建一个加密投票的选举程序，确保投票内容不被公开。视频讲解了 Arcium 的基本概念，以及如何通过 Arcium 的 MXE（多方执行环境）对数据进行加密计算，并使用 callback instruction handlers 在 Solana 程序和 Arcium 之间传递加密数据。同时，视频还演示了如何初始化加密的投票计数器，如何对投票进行加密处理，以及如何在投票结束后揭示结果，并提供了完整的代码示例和测试流程。 关键信息： * Arcium 允许在加密状态下对数据进行计算，保护数据隐私。 * 视频演示了如何创建一个加密投票的选举程序，保护投票人的选择不被泄露。 * Solana 程序通过 queue computation 和 callback instruction handlers 与 Arcium 交互。 * MXE（多方执行环境）是 Arcium 进行加密计算的地方。 * Computation definitions 存储编译后的 Arcium instruction handlers。 * 视频提供了完整的代码示例，可在 QuickNode 的 GitHub 账户上获取。

479 0 0 2025-11-17 10:27

zkForge Bootcamp - 学习 Noir

视频 AI 总结： 该视频是关于使用 Noir 语言编写零知识证明电路的研讨会。主讲人 Harsh 来自 Aztec Network，他介绍了 ZK 的基本概念，ZKVM 和 ZKDSL 的区别，并演示了如何使用 Noir 编写一个简单的成员资格检查电路，该电路可以证明一个元素是否属于一个数组，而无需透露该元素本身。最后，他展示了如何编译、生成证明和验证证明。 关键信息： * ZK 密码学允许在不泄露信息的情况下证明信息的有效性。 * ZK-SNARK 是一种证明方案，它使用算术电路来表达计算。 * Noir 是一种 ZKDSL，它允许开发者使用类似 Rust 的语法编写 ZK 电路。 * ZKVM 和 ZKDSL 是编写 ZK 程序的两种不同方法。 * ZKVM 使用高级语言，而 ZKDSL 使用领域特定语言。 * Noir 编译成 ACIR 中间格式，可以与任何支持 ACIR 的证明系统一起使用。 * 公共输入对验证者可见，而私有输入对验证者隐藏。 * 可以使用 dbprover 生成和验证 Noir 电路的证明。 * 验证时间与计算复杂度无关，是恒定的。 * 学习有限域算术、多项式等数学知识有助于理解 ZK 的底层原理。

652 0 0 2025-11-02 19:19

zkForge训练营 - 关于zkVM的一切

视频 AI 总结： 该视频主要介绍了零知识虚拟机（ZKVM）的概念、优势、组成部分以及工作流程，并对比了 ZKVM 与 ZKEVM 的区别。ZKVM 是一种允许在不泄露隐私数据的前提下验证计算的虚拟机，它通过将高级代码编译成低级代码，然后生成算术电路来实现。视频还讨论了证明系统中的关键组件，如承诺方案、交互式证明和算术化过程，并简要介绍了如何开始使用 ZKVM。 关键信息： 1. ZKVM 是一种分层架构，构建在 CPU 参数之上，可以复用已有的编译流程。 2. ZKVM 的优势包括无需手动定义约束、易于审计以及遵循标准开发流程。 3. ZKVM 的主要组成部分包括编译器、虚拟机、证明者和验证者。 4. ZKVM 的工作流程是将高级代码编译成低级代码，然后将低级代码约束化并生成算术电路。 5. 证明系统中的关键组件包括承诺方案、交互式证明和算术化过程。 6. ZKVM 与 ZKEVM 的区别在于，ZKVM 是通用零知识虚拟机，而 ZKEVM 专门为以太坊智能合约优化。 7. Resero 是一种 ZKVM，它使用 RISC-V 指令集，并通过 extendable linkable format (ELF) 二进制文件执行代码。 8. Resero 的架构包括主机代码、访客代码和收据，收据包含程序的结果以及证明。

685 0 0 2025-10-19 09:49