在本次讲座中，Dan Boneh 介绍了递归 SNARK（简洁非交互式知识论证）的概念及其应用，特别是如何构建高效的递归 SNARK。以下是视频的核心内容和关键论据的总结： 1. **核心内容概述**： - 递归 SNARK 是一种通过证明“证明的...
...列的第二篇，在正式介绍之前，我们先了解一些`zkLogin`的知识。更详细的可参考： - https://docs.sui.io/concepts/cryptography/zklogin - [《Sui zkLogin核心交互逻辑拆解》](https://learnblockchain.cn/article/8252) - [《如何构建一个基于zkLogin...
...储备证明系统，可用于证明 CEX 的偿付能力。 我们的 [零知识储备证明 (PoRv2)](https://github.com/otter-sec/por_v2) 基于 [OKX 储备证明算法](https://www.okx.com/en-eu/help/zero-knowledge-proofs-what-are-zk-starks-and-how-do-they-work-v2)，因为它是迄今为止已知...
...隐私保护的场景。 ### 3. Miden - 定义：基于 ZK（零知识证明）的虚拟机，支持私有链和专用链的构建。 - 特点: 🎯提供隐私保护和高效的链上运算能力。 🎯专为企业级、定制化场景设计。 - 应用场景：企业私...
...。zkBridge实现了快速、安全及无信任的跨链交互，利用零知识证明消除了对任何第三方验证的需求。 利用zkBridge，比特币现在能够安全地传输其当前及历史数据，使用零知识证明，与包括比特币第二层、以太坊及其第二层在内的...
最近翻到一篇利用零知识证明在以太坊上实现隐私交易的新方案。Zkopru采用的还是UTXO模型，交易隐私实现的思路和ZCash类似。Zkopru的这篇介绍比较详细的介绍交易的类型，layer1/layer2的交互等等。翻译了一下，方便其他小伙伴查...
...为通用的 EVM (以太坊虚拟机，Ethereum Virtual Machine) 验证零知识证明 (zk proofs)。这允许我们构建一个完全兼容 EVM 的 zk-Rollup，任何现有的以太坊应用程序都可以轻松地迁移过去。 在本文中，我们指出了 zkEVM 的设计挑战何在以及...
...的交易者，允许流动性提供者根据其他参与者交易的内幕知识来调整他们的报价。由于在中心化限价订单簿（CLOB）交易所中订单簿是公开的，因此做市商可以实时查看涌入的订单并相应地采取行动。不幸的是，Alice无法防止她的...
zkApps（零知识应用）是指计算机程序的可证明转换。也就是说，它们应该像它们旨在代表的计算机程序一样运行，同时提供正确的执行证明，这些证明可以伴随程序输出。但是，正如[我们之前讨论过的](https://learnblockchain.cn/articl...
...计算到隐私保护的加密货币各种用例的一种通用简洁的零知识证明技术。你可能不知道的是，ZK-SNARKs有一个更新、更闪亮的表亲：ZK-STARKs。ZK-STARKs中的“T”代表“透明”，它解决了ZK-SNARKs主要的一个弱点：对“受信任设置”的...
...个元素都是某个元素的整数幂。这一点至关重要，因为零知识证明中的许多算法（尤其是 Varuna）都依赖于循环群的简单结构。 - \|C\|：循环群 C 中元素的数量。由于 F 是有限的，因此 C 必然是有限的。 - vC(Y)：循环群 C 上的 vanish...