...迈向实时证明** ## 介绍：极具吸引力的 zk 技术 ZKP（零知识证明）被认为是加密行业中最引人注目的技术之一。ZKP 成为了区块链早期提出的 **区块链不可能三角** 之一的可扩展性方面取得突破性改进的起点。特别是，从 zk-rollup...
...明方式证实出该方案无需交互性安全假设，便可在具备零知识性的基础上减少通信上的开销。 关键词：哈希证明系统; 椭圆曲线签名；区块链；安全性证明；隐私保护 **Two-Party ECDSA for Blockchain Based on Hash Proof Systems** Abstract...
...的 zkVM SP1，任何 OP Stack 链现在都可以在一小时内集成零知识证明。此升级提供了更快的终结性、更低的成本（每笔交易低至 0.5 美分）和易于集成，使得 zkEVM 无需深厚的密码学专业知识即可访问。OP Succinct 增强了以太坊的扩展...
 零知识 (ZK) 程序是开发者们一个强大的新工具。它允许你编写可以证明其执行过程，而无需泄露任何底层数据的程序。这具有广泛的潜在应用，包括保护隐私的计算、安全的数据共享和欺诈预...
... 是一个基于 [PLONK](https://eprint.iacr.org/2019/953.pdf) 协议的零知识证明框架，由 Electric Coin Company (ECC) 为 Zcash 开发。Halo2 中的电路被构造为表格：每列包含一系列值，每行代表计算中的一个步骤。约束是通过在特定偏移量（旋转）处...
...用程序。 在开发这项技术时，我们意识到，通过使零知识证明（ZKP）可编程，Mina 不仅增强了去中心化，而且还创造了全新的东西。 ## 新的设计范式：通过单一、可重用、可组合的证明来解锁 Mina 是使用递归 ZKP 从头开始...
...人，前阿里巴巴 JVM 专家。专注于智能合约编程语言、零知识证明密码学研究。*
...26/1Q5S2RnZgjE0wFVx866kEXA.jpeg) ## 背景：证明者市场的出现 零知识 (ZK) Rollups，例如 Starknet 和 ZkSync，目前被用作以太坊上的扩展解决方案。它们的成功导致对 ZK 证明的需求稳步增长。证明者市场是 ZK Rollups 向去中心化过渡的自然演...
## 介绍 STARKs（可扩展的透明知识论证）由于其帮助扩展以太坊的能力而受到广泛关注。它们允许一方，即证明者，通过提交可以比验证者进行朴素重新执行更快验证的证明，向验证者证明给定的程序执行是正确的。证明大小也...
...次的方式提交至以太坊 L1 链上，但这种方案并不使用零知识证明来证明交易的有效性：**Optimistic Rollups “乐观地”假设了交易的有效性**，除非通过所谓的“**欺诈证明**”(fraud proofs) 成功地挑战了交易的有效性。 简单来说就...
...然“第二阶段”是重新运用质押和验证者基础设施与专业知识，超越 L1 共识，安全多个协议。这使得建立新协议变得更容易。Cosmos 首创了这一概念作为“共享安全”，而 EigenLayer 的“重新质押”认识到以 ETH 为中心的方法可以...
在这篇文章中，我们将介绍我们正在进行的零知识证明（ZKP）专用硬件方面的工作。 在 Cysic，我们正在开发一种专为 ZKP 工作负载设计的定制证明加速芯片。 该芯片利用非传统的空间架构来最大化并行性并提高多项式计算的吞...
...的新课程的推出，Cyfrin Updraft 课程得到了重大扩展。 [零知识证明 (ZKP) 基础知识](https://updraft.cyfrin.io/courses/fundamentals-of-zero-knowledge-proofs) 提供了一个简洁的一小时零知识证明和隐私优先协议介绍，为学习者提供了该快速增长领...
...，提现是L2发起的；不仅要提交state root， 还需要生成零知识证明提交到L1主链 ### 5.2.2 安全模型不一样 Plasma: 使用欺诈证明机制，通过主链处理争议来确保安全性。用户有一定时间窗口提交欺诈证明。 Validium: 主要依赖零知...
...0f.png) BOB 刚刚推出一项重大技术升级，成为首个使用零知识证明解决欺诈问题并支持按需有效性证明的区块链。该混合模型融合了 Optimistic Rollup 的低成本与 ZK Rollup 的速度和最终性，提供即时提现和无需许可的欺诈证明——所...