...早接触 zk-SNARK 开始，就断断续续得学习了一些 zk-SNARK 的知识，但对其原理始终存在诸多困惑，没有形成一个完整的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明...
...合约，但其中一些语言（包括 Cairo）在能够支持构建 **零知识证明**方面是独特的。零知识证明 (ZKPs) 允许一方（“证明者”）向另一方（“验证者”）证明他们知道某个信息而无需泄露任何秘密信息。这对智能合约尤其有用，...
...诈证明的费用太高时，其安全性就更小了 * 同样的，零知识证明也不是万能的，会出现排序者掉线以及 L1 无法应对大规模退出的情况 他还提到，L2 解决方案可以归结为以下四点： * 数据可用性 (委员会/rollup/等) * 状态转换...
...以运作。另一方面，这也为并行计算铺平了道路。生成零知识证明是一项非常耗时的工作。因此，基于多中继模型，Matter Labs 提出了一个两阶段的“提交-验证”方法。区块首先在链上提交，然后用 SNARK 证明进行验证（如下图所...
...，Polychain Capital 和 Lemniscap 共同领投。Webb Protocol 通过零知识证明提供跨链中包括资产、数据和位置等信息的隐私功能。 Webb 协议是一个用于构建和管理跨链应用程序的系统，可以在兼容区块链上的一组相同的桥接系统中支持共...
... * [ERC7503](https://github.com/ethereum/EIPs/pull/7522/files)：零知识虫洞 * [ERC7504](https://github.com/ethereum/EIPs/pull/7523/files)：动态合约（一对多代理合约） ## 开发者资料 * Foundry: * Vulcan [v0.2.0](https://twitter.com/nomoixyz/status/...
...的企业、开发者还是项目团队，本指南都将为你提供基础知识，帮助你做出明智的决策。 ### 你将学到什么 - 了解区块链可扩展性挑战以及 Layer 2 解决方案的作用 - 学习 rollups，重点介绍 Optimistic rollups 和 ZK rollups - 探索链框架...
...我们在这里的目标是明确理解什么是 **群**，因为这在零知识证明中到处使用。我们可以现在就给出一个定义： **群是一个具有封闭、结合、具有单位元素的二元运算符的集合，并且每个元素都有一个逆元素。** 但这个简短...
浅谈零知识证明系列文章已有如下更新： 1. [背景与起源](https://learnblockchain.cn/article/278) 2. [简短无交互证明（SNARK）](https://learnblockchain.cn/article/352) --- 上一期文章（[浅谈零知识证明：背景与起源](https://learnblockchain.cn/artic...
...链上指纹验证其完整性。这一过程的最后一步是利用[零知识SNARKs](https://www.helius.dev/blog/zero-knowledge-proofs-its-applications-on-solana#-zk-snarks-and-circuits)，这为验证这些账户的完整性提供了证明系统。 ### 为什么ZK压缩？ 几个关键特...
...私的嵌入式程序和共识级别更改。这些利用了诸如身份零知识证明、硬件加速以及对可提取的合规承诺进行多方计算等技术。 - 一种程序化治理机制，用于维护当选验证者的注册表，以实现地理分布但经过许可的节点网络。 - ...
...也用于 VOT 中，以便接收者玩家 A 仅获得关于探测坐标的知识，并保证发现的内容代表玩家 B 的有效状态。 事实上，我们需要更强大的东西。 我们希望接收者选择要学习的消息也是可验证的。在我们的搜索和摧毁游戏玩法示例...
... clients）[开始真正存在](https://github.com/a16z/helios)。 * 零知识证明（Zero knowledge proofs），一种我们认为还有几十年才能实现的技术，现在已经出现，越来越对[开发者友好](https://kndrck.co/posts/practical_guide_build_zk_dapps/)，并即将可用...
...是如何将链外计算结果在链上得到一致共识，通过TEE、零知识证明等技术手段实现链外数据计算结果回到主链上达成一致共识和安全。本报告分析以Oasis、Arweave、Mina等链下计算模式为案例，分析了Web3.0时代数据计算的可能范式...
...充当 _验证者_ ( _V_ )。 > 我们也可以将 _V_ 理解为某种 **知识证明**，即证明掌握了秘密钥匙。 剩下的就是 _验证_。到目前为止，我们并没有使用 _pairing_——所以你可能会发现这正是它们在这个框架中适用的地方。实际上，想...