... clients）[开始真正存在](https://github.com/a16z/helios)。 * 零知识证明（Zero knowledge proofs），一种我们认为还有几十年才能实现的技术，现在已经出现，越来越对[开发者友好](https://kndrck.co/posts/practical_guide_build_zk_dapps/)，并即将可用...
...共分布式账本上实现隐私保护的交易，特别是通过使用零知识证明（ZK proofs）来确保交易的隐私性和可验证性。 **主要观点和关键论据：** 1. **隐私保护智能合约的构建**：Zac强调，构建隐私保护的智能合约需要将私有状态...
...个模块化的基础设施栈，用于构建实时的、保护隐私的零知识应用程序。其可组合的 zkApp 框架通过整合身份、证明生成和安全计算，简化了可扩展的 Web3 体验的部署。 它的架构围绕可重用的模块构建，包括证明网络、DSL 电路...
... $\alpha + \beta \equiv a \times b \pmod{q}$。大多数实现都包含零知识证明以确保参与方诚实地行事，但这些证明需要仔细设置。 **设置** 每个参与方都为 ZK 证明生成辅助参数： - 一个 RSA 模数 $\tilde{N} = pq$（因式分解保密） - 两个群...
...隐私困境而存在的许多隐私问题，其中绝大多数集中在零知识证明（ZKPs）上。值得注意的例子包括[Proven 在 2023 年种子轮融资中筹集了 1580 万美元](https://www.coindesk.com/business/2023/03/09/zero-knowledge-crypto-startup-proven-raises-158m-in-seed-roun...
...到过去十年来诞生的最强密码学技术，肯定免不了提及零知识证明 (zero knowledge proof)。在区块链领域中，它们有两大应用场景：可扩展性和隐私。[zk-SNARK](https://learnblockchain.cn/article/1662) 作为其中一种 zkp 技术，在近几年来也得到...
...PC 钱包协议中所涉及的密码学技术，以及非常全的各种零知识证明场景以及实现实例，这些技术在 GG18、GG20 等协议中都会用到。该协议只需要 4 轮通信，接下来依次进行讲解。 ### 基本技术 #### 一、关于 MPC 钱包协议设计的文...
...证器。只要逻辑，即使非常复杂，也能够被准确编程成零知识证明，BitVM2 就可以验证它。 ### BitVM2 程序工作流 BitVM2 的详细交易流程由于一些优化和安全机制而变得复杂。但 [BitVM2](https://bitvm.org/bitvm_bridge.pdf) 白皮书也呈现...
...B, 或者说 100 ETH)，Snoop 在他的浏览器中本地生成了一个零知识证明 ([zero-knowledge proof](https://en.wikipedia.org/wiki/Zero-knowledge_proof)，ZKP)。 利用零知识证明，他能够证明出这条等式 **A + B = C + D** ，而无需揭露他们的任意资产价值。 ...
... Nightingale ## ZK 数学 101：二元运算符与群论 探索群论基础知识：二元运算符、单位元、逆元、结合律和交换律。理解密码学和 ZK 证明至关重要。 ### **什么是群论** 群论构成了现代密码学和零知识系统的数学支柱。 可以把它看作...
... ## **介绍** zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信...
...议 - FVSS：Feldman’s VSS，可验证的秘密分享 - ZKP：零知识证明 设计差异本质：GG18 以安全多方计算（MPC）为核心，通过 Paillier 操作保护私钥分片，整体协议比较复杂但是不难；FROST 以阈值 Schnorr 签名为核心，通过 DKG 和轮...
...一种**线性阈值同态加密**（特别是 **El-Gamal**），结合零知识证明，确保每个人的选票在投票结果仍能透明计算的同时，保持永久私密。 **快速链接：** - 一个概念验证（PoC）已经被构建到一个 forked Snapshot UI 中（[观看 PoC 视...
...前 UTXO 集，就可以同步修剪后的全节点。运行一个经过零知识同步（zerosync）的全节点无需修改 Bitcoin Core 的代码。我们会在验证后将 此 UTXO 集复制到 Bitcoin Core 的链状态目录中。理想情况下，我们会将此 UTXO 集与 [AssumeUTXO](https:...
...。主流的Rollup技术可以分为两类： - zk-Rollup：基于零知识证明的Layer2扩容方案，采用有效性验证方法(VP)，默认所有交易都是不诚实的，只有通过有效性验证才会被接受。ZkRollup在链下进行复杂的计算和证明的生成，链上进行...