.../0xparc.org/blog/zk-id-1) *今年 1 月，我们启动了 0xPARC 零知识身份 (ZK-Identity) 工作小组：一个尝试使用 zkSNARKs 来构建数字身份工具的工作小组。在解释为什么密码学的进展对实现新的身份原语很重要的系列文章中，本文系第一...
...cale/50) 交易聚合平台 [ParaSwap](https://paraswap.io/) 宣布与 零知识证明研发机构[ StarkWare](https://starkware.co/) 合作，共同探索基于零知识证明技术的低成本兑换方案，降低用户成本，提高用户体验。 此前， DeversiFi 、Immutable 、dYdX 已...
...响和滑点。我们的第一篇文章关注于 Renegade，一种使用零知识证明和安全多方计算 (MPC) 来确保隐私的协议，同时保持去中心化。 本文将重点转向 Tristero，这是一个全新的替代方案，重新设计暗池，以速度和可扩展性为核心。...
... 这就是我们的神奇密码学发挥作用的地方，它使用了零知识证明。本节将有意省略实现细节，同时尝试保留验证过程的不同组件的直觉。考虑在 L2 上执行用户操作的具体示例，该示例需要使用密钥库 Rollup 进行验证过程。 在...
...化验证框架) 的初步步骤。 正如我们最近分享的那样，零知识电路[充满了错误](https://bugs.zksecurity.xyz/)，但幸运的是，诸如形式化验证之类的技术可以极大地提高对 ZK 电路正确性的信心。 Clean 使我们能够在 Lean4 中定义电路，指...
...n-Interactive Arguments of Knowledge，翻译过来叫非交互式简洁零知识证明。网上关于zkSNARK的文章很多，几乎都只讲解它的数学原理。因为它实在太难了，对于大多数像本人一样的学渣来说，理解起来真的很困难。只能隐约的感觉到它...
...否得到执行。如果路由器是专有的，而提供者希望保护其知识产权，通过控制路由的TEE应用程序记录模型指纹可能是一个折中方案。这将使用户能够验证模型在时间上的一致性或比较不同账户间的模型，以确保公平性和非歧视性...
...公共代币余额。 所有这些步骤都利用**同态加密**和[零知识证明(ZKPs)](https://learnblockchain.cn/article/12639)，在幕后工作，使系统能够验证正确性，同时隐藏总额。 请参阅“[机密余额产品指南](https://learnblockchain.cn/article/14138)”...
...和置换多项式 $ Z(x) $ 添加随机倍数的 $ Z_{H}(x) $ 来实现零知识. 这使得这些多项式的度数略高于二的幂, 这在我们的设置中是不可取的, 因为 FFT 和 FRI 算法处理的是定义在平滑乘法子群上的多项式. 相反, 我们在填充到二的幂之...
...想到哈希不仅可以用来签名，还可以用于通用目的上的零知识证明。 对于这种情况，我感到非常高兴。 这意味着，尺寸仍然是一个问题，并且持续不断的进展正在继续减小证明的规模（例如，请参阅最新的[DEEP FRI](https://arxiv.org...
...提交的 blob 数据在需要时是可用且可验证的。这类似于零知识证明，通过数学方法验证数据的完整性和有效性，而不需要将所有数据永久存储在链上。 3. **如何验证 Rollup 交易？** 1. **Rollup 压缩交易**：Rollup 链（例如 zkSync）...
...，还有一个相当复杂的过程用于创建这个见证的实际“零知识证明”，以及一个单独的过程用于验证其他人传递给你的证明，但这些细节超出了本文的范围。 我们选择的例子是一个简单的例子：证明你知道一个三次方程的解：x...
...hy#ZKEmailUtils): 用于 ZKEmail 签名验证实用程序的库，通过零知识证明实现基于电子邮件的身份验证。 - [`WebAuthn`](https://docs.openzeppelin.com/community-contracts/0.0.1/api/utils/cryptography#WebAuthn): 用于验证 WebAuthn 身份验证断言的库。 - [`AbstractS...
...。该框架旨在使 OP Stack 能够支持多个证明系统，包括零知识证明，以及当前系统 Cannon。生产冗余证明方案提供了一个从 OP Stack 链提取到 ETH 链的安全保障方案，可以将安理会的作用限制为仅在他们不同意的情况下在证明之间进...