...上共享输入和模型，从而损害隐私。 ZKML 是一种基于零知识 (ZK) 的机器学习 (ML) 系统，零知识是一种加密方法，允许一方向另一方证明他们知道一条信息或已正确执行计算，而无需泄露信息本身或任何信息。有关计算的详细信...
## 当开发零知识虚拟机时，为什么要避免复杂的代码库和偏离标准 **要点总结**：我们在 Succinct 的 SP1 虚拟机中发现了一个微妙的错误，该错误允许恶意用户通过巧妙地操纵 guest 代码中的寄存器 0 来证明虚假陈述的有效性 这得...
...户自己去记忆这个盐值。 #### （3）ZK Proving Service（零知识证明服务） 它也是一个后端服务，负责根据`JWT`、`JWT`随机数、用户盐值和最大纪元生成`ZK`证明。该证明与 `zkLogin` 交易的临时签名一起在链上提交。 ### 3.2 流程说...
零知识（ZK）证明正在为 web3 的最新创新提供动力。它们已经被应用在诸如 [Polygon 的 zkEVM](https://polygon.technology/polygon-zkevm) 等产品中，为以太坊带来可验证的扩展性，以及 [Polygon ID](https://polygon.technology/polygon-id) 中，用于在不泄...
...款证券化，收益按链上智能合约自动分配。 ### 4. **零知识证明（ZKP）赋能** * **隐私化流动性池** Penumbra 的 **zk-Swap** 实现完全隐蔽的交易路径： ` 用户A → [zkProof生成] → 验证节点 → [UTXO销毁/铸造] → 用户B ` ...
...项目；大饼🫓：指比特币）。 随着zkSync的上线（零知识证明的以太坊扩容项目、兼容EVM），我们对Layer2的关注度越来越高，我们今天不聊黑话，聊聊这些Layer1、Layer2是什么意思，科普一下～ 所谓Layer，通常是对一类...
...计算便宜。而且，与其他L2解决方案相比，ZK Rollups凭借零知识证明技术实现了快速终结性，交易最终确定时间最短。此外，ZK Rollups通过数据压缩减少链上存储量，仅保留必要的验证数据，这进一步节省了成本。 然而，当前的Z...
... | | 为 zkEVM、形式化验证打基础 | 其形式化定义为零知识证明和安全工具提供基准 |
zkEVM是零知识证明相对复杂的零知识证明应用，源代码值得反复阅读和学习。 https://github.com/appliedzkp/zkevm-circuits.git 本文中采用的源代码对应的最后一个提交信息如下： ``` commit 1ec38f207f150733a90081d3825b4de9c3a0a724 (HEAD -> main) A...
...连接，引导普通人理解抽象后的逻辑。 网络上讲解零知识证明的文章就不多，这些文章要不太浅显，要不太深入，很少有能给入门者整体框架上的认识。 比如，阿里巴巴零知识证明就是一个非常好的通俗理解零知识证明的...
零知识证明 (ZKP) 已经从提供隐私和可验证性的理论概念发展到具有实际的、现实世界的实现。一些最常见的用例包括区块链中的私有交易（例如，[Zcash](https://z.cash/)）、具有私有智能合约能力的区块链（例如，[Aleo](https://aleo.org...
...SC Zero zkVM——一个利用RISC-V架构进行安全和私密计算的零知识虚拟机。 虽然我们为RISC Zero完成了多次安全审核，但我们的安全合作不仅限于审核。 在这篇博客文章中，我们强调了我们是如何合作的，使用**Picus**，Veridise的自动...
...信任。在一系列文章中，我们将介绍强大的原语，例如零知识证明和全同态加密，以及它们的用法和用例。 加密是将消息转换为看起来随机的文本，以确保双方之间的机密性。 **我们在这里的目标是什么？** 我们想要生成一...