...供了一些新思路。为了实现更轻客户端，Celo采用递归零知识证明技术，将区块头的连接信息进行递归证明。一个证明就能证明从创世区块到当前区块的合法性。一个轻结点，只需要同步最新的证明就能确定所有区块的有效性。 ...
Fiat-Shamir 转换是零知识证明 (ZKP) 和多方计算 (MPC) 中的一个重要组成部分。它允许基于交互式协议的零知识证明变为非交互式。本质上，它将对话转换为文档。这种能力是 SNARK 和 STARK 等强大技术的核心。非常有用的东西！ 但是...
...强功能，旨在提高网络的效率、可扩展性和用例。从在零知识证明方面的开创性进展到优化Gossip协议，v1.17标志着Solana持续发展的关键一步。 本文涵盖了关于Solana Labs验证者客户端版本1.17更新需要了解的所有内容。我们将探讨v1...
...DAO 仍将生存，漂浮在太空中并寻求下一个旅程**。 ### 零知识证明 Simperby 多链通信系统的一个潜在问题是，头部更新成本与 Simperby 链的共识参与者的数量成正比。 由于 Simperby 是一个许可的区块链，因此共识参与者的数量非常...
...明的私钥的任何了解 —— 这种属性叫做 “诚实验证者零知识性”（HVZK）（它是真正的零知识属性，也就是我们在讨论 零知识证明/ZKP 时候所指的那种属性，的一个更弱的版本） 你可能会想到，为了让这套协议既能说服验证者...
...发起者）。这是有意设计的！在内部，n-per-epoch 利用了零知识包含证明，通过使用[semaphore](https://semaphore.appliedzkp.org/) 库来实现。该合约通过提供的 zk 证明来强制进行身份验证，而不依赖交易的签署者。[ERC4337](https://eips.ethereum.o...
...存款无法区分。存款后，用户可以通过证明（通常通过零知识证明）他们对存款资产的支配权来发起交易。这使他们能够利用这些资产而不与他们的公钥相关联，从而有效地保护他们的隐私。隐蔽池的关键限制是，给定池中存在...
...特币上原生运行。 - **经济高效且可扩展**：通过使用零知识证明 (ZKP) 和 BitVM，Goldinals 降低了交易成本和运营开销，同时保持了速度和安全性。 Goldinals 提供了一个有凝聚力的框架，该框架可以在比特币的现有架构中无缝运行，...
...0156.pdf) 的研究论文。 这篇文章是一个总体概述。随着零知识证明和密码协议领域的快速发展，研究和理解新兴技术从不同角度来看至关重要。 这篇文章代表了这样一种探索，旨在揭开 PIOPs 的神秘面纱，并展示它们在重新塑造...
...，则该块已最终确定。 ## 2. ZK-Rollup ZK-Rollup 是基于零知识证明的 Layer2 扩容方案，采用有效性验证方法(VP)，默认所有交易都是不诚实的，只有通过有效性验证才会被接受。**ZK-Rollup 在链下进行复杂的计算和证明的生成，链上...
zkApps（零知识应用）是指计算机程序的可证明转换。也就是说，它们应该像它们旨在代表的计算机程序一样运行，同时提供正确的执行证明，这些证明可以伴随程序输出。但是，正如[我们之前讨论过的](https://learnblockchain.cn/articl...
...“挑战”值，没有被吸收到记录中。 虽然挑战通常由零知识证明协议中的验证者生成，但 sigma OR 证明会反转此角色。 证明者提供部分挑战，该挑战仍必须包含在 Fiat-Shamir 记录中以保持可靠性。 这个被忽视的值，我们称之为 **...
...议 - FVSS：Feldman’s VSS，可验证的秘密分享 - ZKP：零知识证明 设计差异本质：GG18 以安全多方计算（MPC）为核心，通过 Paillier 操作保护私钥分片，整体协议比较复杂但是不难；FROST 以阈值 Schnorr 签名为核心，通过 DKG 和轮...
## 摘要 Nightfall 是一种零知识证明的实现， 它使用 zk-SNARKS 让同质化[ERC20](https://learnblockchain.cn/2018/01/12/create_token/)和[非同质化的通证ERC721](https://learnblockchain.cn/2018/03/23/token-erc721/)系列的通证进行隐私化转移，使得交易能够完成...