> 非交互式零知识证明的美妙之处 想象一下你是一位课堂上的老师，你要求你的学生找到方程 x²-2x-15=0 的根。但是，你不想教你的班级，你也不想计算出正确答案。为此，我们可以要求班级展示一个证明，证明他们知道正确...
...全，但证明的数据量却是最大；IPA 是 Bulletproof 和 Halo2 零知识算法默认的多项式承诺方案，验证时间相对较长，采用的项目有门罗币，zcash 等，前两者是不需要初始可信设置的。 由上图可以看出在证明大小与验证时间上，KZG ...
...可验证数据解决方案的可能性。 ## 4\. zkTLS **zkTLS**（零知识传输层安全）是一个多方协议（通常涉及三个方），建立了 Web2 私有数据与 Web3 生态系统之间的门户。zkTLS 是一个混合协议，将 **ZKP（零知识证明）** 与 **TLS 加密系统*...
视频 AI 总结： 该视频是关于使用 zkVerify 验证零知识证明（zkProves）的教程。主讲人 Milica 通过一个实际操作的例子，展示了如何在不直接使用钱包的情况下，通过 API 调用与链进行交互，验证 Groth16 证明。参与者通过 zkRappel 生...
## 在 ZK 电路中寻找可靠性 Bug 的实用指南 **零知识证明**是区块链扩展和隐私的核心构建块。在实际部署中，最脆弱的部分通常是电路：开发者编写的约束。小的疏忽或“显而易见”的假设会变成可靠性 **Bug**，让攻击者证明无...
...部分。方便其他小伙伴理解或者优化相关的逻辑。有关零知识证明的推导代码，后续文章详细介绍。 ## 01 Filecoin代码模块依赖关系 从PoRep以及PoSt存储证明的角度来看，Filecoin代码模块由如下三层组成：  并行创建和验证零知识 SNARK 证明。 - 支持 Groth16。计划支持 PLONK 和其他算法 - 可选，使用 Web Worker 实现快速证明生成 - 支持现代 wasm 和旧版 js circom 程序 - 解析 R1CS，WTNS ### 用法 `np...
...。人们经常使用“ZK 证明”这个术语来指代实际上不是零知识的简洁论证。类似地，ZK-rollups 通常不使用零知识证明，而只是使用简洁的证明。 ### 给人民群众的BLS12-381指南 https://cryptography.land/2023/07/01/bls12381-restofus#fieldext...
...的 BTC 跨链解决方案？Ola 引入了一种创新方法：利用**零知识证明（ZK Proofs）和 BitVM2 挑战者机制**，为比特币跨链交易构建强大的安全基础设施。 ## 2. Ola 的创新跨链安全框架 Ola 是一个由零知识密码学支持的安全层，允许信任...
...个元素$g, h$组成,签名是指数$x$满足$g^x = h$的非交互式零知识知识证明(ZKPoK)。非交互式证明通过两步获得。首先,构造一个3轮交互式$\Sigma$-协议,它是满足$g^x = h$的$x$的诚实验证者ZKPoK。其次,使用Fiat-Shamir变换将交互式证明转换为...
...以说，在整个Filecoin的生态中引入新的角色，专门提供零知识证明的生成服务。一般的矿工，可以将零知识证明的计算外包给这个服务。Filecoin团队也对外开放这种服务的提案。  ...
浅谈零知识证明系列文章已有如下更新： 1. [背景与起源](https://learnblockchain.cn/article/278) 2. [简短无交互证明（SNARK）](https://learnblockchain.cn/article/352) --- 上一期文章（[浅谈零知识证明：背景与起源](https://learnblockchain.cn/artic...
...型： * 有效性证明 (Validity Proofs) —— 这是一种利用零知识 (ZK, zero-knowledge) 密码学以确保交易有效性的数学证明 * 欺诈证明 (Fraud Proofs) —— 这种证明引入了一种所谓的争议时间延迟 (Dispute Time Delay, DTD)，一旦证明提交至 L2，...
在这篇文章中，我们将介绍我们正在进行的零知识证明（ZKP）专用硬件方面的工作。 在 Cysic，我们正在开发一种专为 ZKP 工作负载设计的定制证明加速芯片。 该芯片利用非传统的空间架构来最大化并行性并提高多项式计算的吞...