...Folding 将 1. 将证明者的空间保持在几 GB 内， 2. 实现零知识性，和 3. 产生链上证明。 此外，Jolt 的证明者预计速度提升约 3 倍。这一改善将来自于[整合](https://eprint.iacr.org/2024/1046) [最近识别的](https://eprint.iacr.org/2024/1210) [...
...rate/1699317337526) ### 简介 领域特定语言（DSL）在[零知识（ZK）证明](https://learnblockchain.cn/article/5440)领域中起着至关重要的作用。在核心上，ZK 证明解决了在不透露任何附加信息的情况下证明秘密数据中某些属性存在的挑战...
...### 缺点：证明者运算时间（prover time) 以太坊原生不以零知识证明基础构建，所以有 **许多** 以太坊固有元件，若要作零知识验证，需要消耗庞大的运算时间。第 1 类 ZK-EVM 为求完全复制以太坊运作，因此没有避开低效率的证明...
...强功能，旨在提高网络的效率、可扩展性和用例。从在零知识证明方面的开创性进展到优化Gossip协议，v1.17标志着Solana持续发展的关键一步。 本文涵盖了关于Solana Labs验证者客户端版本1.17更新需要了解的所有内容。我们将探讨v1...
...。 另外 ZK Rollup 从性能上还有很大的优化空间，进行零知识证明类的计算需要消耗巨大的计算机算力，随着 FPGA 方案或者通用 CPU 能力的提升，性能和会逐渐提升。 当然还有一种可能性，就是 Optimistic Rollup 在今年或者近两...
...节点，是制约FHE算法大规模应用的一个核心挑战。 零知识证明 (ZK) 算法（这里特指 zk-snarks ）主要用于扩容（如 zk-rollup ）和隐私。一个有趣的事实是，ZK 算法在外包计算场景下无法实现隐私白虎，这源于 ZK 系统的自身安全特...
...链可扩展性的有前景的解决方案应运而生 — 它们通过零知识证明（ZKPs）改善了隐私，提升了交易速度，并大幅降低了费用。然而，**由于 ZK rollups 与以太坊虚拟机（EVM）不兼容，它们缺乏广泛的采用**。 EVM 是以太坊的核心，...
...L 了解支持隐私计算的一个关键加密构件是很重要的：零知识紧凑非交互式知识论证（ZK-SNARK）。ZK-SNARKs 是一种强大的加密原语，它允许一方在不透露任何与计算输入相关的信息的情况下，证明计算的有效性！ZK-SNARKs 还不需要...
...0156.pdf) 的研究论文。 这篇文章是一个总体概述。随着零知识证明和密码协议领域的快速发展，研究和理解新兴技术从不同角度来看至关重要。 这篇文章代表了这样一种探索，旨在揭开 PIOPs 的神秘面纱，并展示它们在重新塑造...
> 这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理，讲讲我们是怎么把这个理论变成实用的代码的，这是一篇概述，希望了解更多的朋友请关注后续。 ## 没有第三⽅，能保证交易的公平性吗？ 想象...
...，则该块已最终确定。 ## 2. ZK-Rollup ZK-Rollup 是基于零知识证明的 Layer2 扩容方案，采用有效性验证方法(VP)，默认所有交易都是不诚实的，只有通过有效性验证才会被接受。**ZK-Rollup 在链下进行复杂的计算和证明的生成，链上...
...篇论文，由以太坊基金会资助： “ **智能的成本：用零知识证明机器学习推理**”（或称为 paper0，酷孩子们是这么叫的）。 没错，真实的数据！图表！对理论构造及其对性能影响的讨论！这就是 _全套_ —— 实际上，**paper0 是...
## 摘要 Nightfall 是一种零知识证明的实现， 它使用 zk-SNARKS 让同质化[ERC20](https://learnblockchain.cn/2018/01/12/create_token/)和[非同质化的通证ERC721](https://learnblockchain.cn/2018/03/23/token-erc721/)系列的通证进行隐私化转移，使得交易能够完成...
...RK（succinct non-interactive argument of knowledge，简洁的非交互式知识证明）常被认为是 “解决” 扩容问题的灵丹妙药。虽然 SNARK 可以提供难以想象的好处，但我们也要知道 —— SNARK 无法解决区块链当前面临的带宽约束问题。 本文...