...或底层开发语言。 * 理解密码学原语（签名、多签、零知识证明、VRF 等），具备安全意识。 * 有跨链系统实际研发经验者优先（跨链桥、跨链合约、验证器开发等）。 * 具备良好的架构设计能力与沟通能力，能带领团队攻坚...
...某些区块链不支持 zk 友好的特性。为此，开发了新的零知识证明技术（如 Virgo），以提高效率并实现并行化处理。 **应用示例**： 视频中还展示了如何在 zkBridge 上构建应用，例如消息传递服务，说明了 zkBridge 的实际应用潜...
...ng) ## 探讨漏洞：zkSNARK 对 Groth16 协议的可塑性攻击 对零知识证明 (ZKP) 的近期关注引起了更多受众的注意，包括许多非技术人员。然而，这种增加的关注有时会导致误解，即 ZKP 仅仅因为其基于加密原则而固有安全。理解这些协...
...其他高级协议中得到了广泛应用，如 KZG 多项式承诺和零知识证明 (ZKP)。让我们开始吧！ ## 配对 这一部分重温一下椭圆曲线配对的知识。我们在我关于[“高级加密原语”](https://learnblockchain.cn/article/10851)的文章中讨论了这个话...
...入探讨了Sum-Check协议的理论基础、实际应用及其在现代零知识证明中的重要性，展示了其在高效计算和验证中的潜力。
...来说可能是一个障碍。混合解决方案（如定期锚定或 [零知识证明](https://learnblockchain.cn/article/12639)）可以降低这些成本，但会增加技术复杂性。 客户需求也不均衡。零售用户通常不关心可审计性，并且可以放心地信任该服务，...
...我们在这里的目标是明确理解什么是 **群**，因为这在零知识证明中到处使用。我们可以现在就给出一个定义： **群是一个具有封闭、结合、具有单位元素的二元运算符的集合，并且每个元素都有一个逆元素。** 但这个简短...
... circom 实现，用于广泛采用的 BLS12–381 曲线。这个库使零知识 (ZK) 系统能够验证 BLS12–381 曲线上的签名。Veridise 团队在 [Succinct Labs](https://succinct.xyz/) 委托的安全审计中发现了 circom-pairing 中的几个问题，[Succinct Labs 的创新桥设计...
...y（DA）解决方案，用户能够在自己的设备上生成自己的零知识证明，引导 Namada 验证器集代表他们向 Celestia 提交数据。这掩盖了可能代表单个用户或更大用户群的私有数据。通过整合来自两个平台的功能（Namada 的隐私保证，以...
...环境）、MPC（多方计算）、FHE（全同态加密）和 ZKP（零知识证明）。它突出了每种技术的优点和缺点，以及它们的用例。例如，TEE 因其廉价和快速而受到关注，但容易受到旁道攻击。MPC 因其没有单点故障而受到赞扬，但因大量...
...乎所有的协议都归结为 sumcheck。 有关 sumcheck 协议的基础知识，请参阅我们之前的[文章](https://learnblockchain.cn/article/13914/)或 [Thaler 的书](https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf?ref=blog.lambdaclass.com)。 例如，zerocheck 协议可用...
...learnblockchain.cn/2025/03/13/1UG5xRkQEU9l5jPjXTXzzaw.jpeg) 在解决零知识领域的碎片化问题方面，Veridise 获得了以太坊基金会的资助，以构建一种开源的 ZK 电路语言的中间表示 (IR)。 **我们称之为 LLZK** —— 一个灵活的框架，受 LLVM 启发...
...易的双方资讯还是公开的。 Ethereum 上面有许多基于[零知识证明的解决方案](https://learnblockchain.cn/categories/zkp/)都在试着建立可以提供保密支付的功能，今天要介绍的 Aztec 就是其中之一。 ![](https://img.learnblockchain.cn/2019/10/1571370...
...励，任何时候领取都不会丢失。 2.4 邀请奖励分配的零知识证明实现 邀请奖励由链下Merkle树计算和链上证明来实现（即链下计算，链上证明）。用于计算默克尔树的源数据，全部来自链上，任何人都可以用第三方工具或者自...