...20 主要是围绕这一痛点来展开的，以及如何通过强化的零知识证明（如无小因子证明、Blum 模数证明）和原子性签名来封堵这一漏洞。即使采用 GG20，Paillier 参数验证和密钥管理仍是审计重点。 以前的文章 - [VSS、DKG、Threshold-S...
...来了一些重大改进和新功能。此版本引入了显著增强的零知识证明性能，以及一个新的加密字符串模块，该模块可以通过 `FheAsciiString` 类型在高级 API 中使用。此外，默认的密码学参数现在遵循调整后的均匀 (TUniform) 噪声分布，...
在本次讲座中，Kelly Olson探讨了零知识证明（ZKP）的硬件加速，重点介绍了其重要性、当前行业状态及未来发展方向。 **核心内容概括：** 讲座首先定义了硬件加速的概念，强调其在提高零知识证明生成效率方面的重要性。随...
...了几个主要的改进和新功能。此版本引入了显著增强的零知识证明性能，以及一个新的加密字符串模块，该模块可以通过 `FheAsciiString` 类型在高级 API 中使用。此外，默认的密码学参数现在遵循调整后的均匀（TUniform）噪声分布...
## 介绍 ZK-SNARKs（零知识简洁非交互知识论证）和 STARKs（可扩展透明知识论证）是功能强大的密码学结构，可应用于去中心化私有计算和区块链扩展。它们允许一方（证明者）向另一方（验证者）证明他正确地执行了计算，这种...
在本次视频中，Uma Roy和Tracy讨论了RISC-V zkVM（零知识虚拟机）的工作原理及其应用。视频的核心内容围绕zkVM的定义、工作流程以及其在区块链和加密领域的潜在用途展开。 ### 核心内容概括 1. **zkVM的定义**：zkVM代表零知识虚拟...
...来发展。 ## 什么是 zkVM？ Rami 解释说，zkVM 本质上是零知识证明的实践实现。他将零知识证明比作签名的泛化。在签名中，私钥生成消息上的签名，公钥可以验证该签名。利用零知识证明，“私有部分”可以是任何输入，“签...
... [ICICLE](https://github.com/ingonyama-zk/icicle) 是一个旨在加速零知识证明（ZKP）的密码学库。 我们很高兴地宣布发布 [ICICLE v3](https://dev.ingonyama.com/icicle/overview)，这是一个引入了强大的多平台支持的重大更新。我们的最新版本包括一...
...链技术是个有趣的行业，爱并痛着。上个星期，自己把零知识证明证明的理解梳理了一下，也尝试直播五天分享我的理解。直播非常好玩，Zoom直播性能不错。感受比较深的是，像这样需要比较繁杂的理论基础的知识不太好讲，...
...和 World 团队成员的讨论。** 在数字身份系统中使用零知识证明[来保护隐私](https://learnblockchain.cn/article/11478)现在至少在某种程度上正在成为主流。[各种](https://blog.celo.org/self-protocol-a-sybil-resistant-identity-primitive-for-real-people-launche...
...-SNARK 实现，并在以后不定期更新。 像 zk-SNARK 这样的零知识证明有很多应用：Zcash 利用零知识证明 来保护隐私，Coda 和 Mir 利用零知识证明将整个区块链压缩到只有 几 K 字节，0x 和 Matter 则利用零知识证明将许多交易封装为以...
...有这些，除了在最开始和最后。 请注意，GKR 不是“零知识的”：它只处理简洁性，不处理隐私。如果你想要零知识，请将 GKR 证明包装在 ZK-SNARK 或 ZK-STARK 中。 ### Sumcheck：核心构建块 假设你有一个多元多项式 P(x1,x2...xN)...
...个随机数，从而暴露我们的身份。 ## 用球为例解释零知识 现在，如果我们能向警卫证明，我们知道一个秘密的数字，在不透露实际数字的情况下，在碗内对承诺进行哈希运算呢？那么，我们可以用零知识证明来做到这一点...
...试工作之前很难理解。本文系列的目的就是填补这一普通知识和专业知识之间的空白，使你能够从“你好，世界”开始，逐步走向你的第一个电路，准备你自己的代码库，并处理zkSNARKs开发中常见的问题。 如果你还没有阅读过...
... Plonky2 是一种基于多项式承诺和Plonk的PIOP交互式证明的零知识证明协议，专注于通过 FRI 技术实现高效的zkSNARK。Plonky2 的主要设计目的是提高传统 zk-SNARKs 在递归零知识证明场景下的效率，并增强其后量子安全性，其基本思想是...