...le 树以获得较小的承诺，从而使最终发布在其他链上的零知识证明 (ZKP) 远比最初要小和便宜。此外，基于向量承诺的证明（Verkle 树的类型）在用户的浏览器中比在 zkSNARKs 中的 Merkle 证明更容易聚合。正因如此，Polymer 最终希望...
...式上正确的（具体而言，就是完整、可靠、诚实验证者零知识）。你要是没看 [上一篇博客](https://suredbits.com/schnorr-security-part-1-schnorr-id-protocol/)，这篇很有可能看起来会云里雾里。所以先去看看呗。 在本文中，我们会将身份证...
...块链开发人员不断寻求通过实施先进的密码学技术（如零知识证明和同态加密）来增强其网络的安全性[密码学在区块链安全中的作用](https://reintech.io/blog/cryptography-role-blockchain-security)。 加密不仅仅是区块链安全中的一个可选功...
## 介绍 任何零知识证明（ZKP）系统的核心在于**算术化**的概念，即将计算问题转化为可以在特定代数结构（如多项式或算术电路）中表达和验证的数学问题的过程。在 Binius 框架中，此算术化通过 **多重多重集匹配 (M3)** 系统...
...但一些新兴的隐私项目也借这个机会分到了市场。例如零知识智能合约平台Railgun，8月8日TVL为471.02k，而到了8月22日TVL则达到6.23M，增长近10倍。 ### **（1）制裁前后，Defi隐私赛道市场情况变化** 放眼整个DeFi隐私赛道，我们通过...
...hereum)和[智能合约](https://learnblockchain.cn/article/11180)的基础知识 - 访问 Polygon zkEVM 测试网（你可以在[这里](https://www.quicknode.com/signup?utm_source=internal&utm_campaign=guides&utm_content=how-to-create-and-deploy-smart-contract-on-polygon-zkevm)获得访问权限...
...响和滑点。我们的第一篇文章关注于 Renegade，一种使用零知识证明和安全多方计算 (MPC) 来确保隐私的协议，同时保持去中心化。 本文将重点转向 Tristero，这是一个全新的替代方案，重新设计暗池，以速度和可扩展性为核心。...
...在 2022 年启动了**一系列资助以支持学术研究**，以培养知识并进一步加强以太坊生态系统。我们收到的反响非常热烈，我们向 39 位杰出的建设者提供了资助，他们积极跨越不同领域，以推进以太坊相关知识的发展。 在这篇博文...
...们将通过探索 Circle 的跨链传输协议 (CCTP) 来丰富我们的知识库。 在本文中，我们将深入研究 CCTP 的设计、安全性和信任假设，通过对其架构的全面分析，突出其独特的功能和权衡。 我们将涵盖以下主题： - CCTP 概述 - 交易生...
...的 Layer 2 解决方案，正吸引越来越多的开发者。它通过零知识证明（ZKP）大幅提高了交易效率和安全性。在 Starknet 中，Cairo 作为智能合约的编程语言，不仅提供了强大的功能，还保持了与 Rust 语言的相似性，方便开发者上手。...
...m 使用 BoLD；Optimism 使用 Cannon）。 - **ZK Rollup**：使用零知识有效性证明来验证交易批次，然后再提交（例如，zkSync、StarkNet），从而无需争议期即可实现近乎即时的最终性。某些系统还实施 ZK 欺诈证明（OP Succinct、RISC0 Kailula）...
...然而，在公共账本上实现隐私需要先进的密码学工具。零知识（ZK）证明提供了一种途径，使用户能够在不揭示底层数据的情况下证明某些事情。另一种有前景的方法是 [**全同态加密（FHE）**](https://www.zama.ai/introduction-to-homomorphic...
...高了 **rollup** 之间的互操作性和可组合性。它采用基于零知识的欺诈证明 (ZKFP) 系统，该系统结合了欺诈证明和有效性证明系统的优点，解决了传统证明系统存在的用户体验问题。Layer N 由名为N-EVM的EVM **rollup**、名为Nord的 **orderb...
...送 $\mathcal{O}(\log n)$ 数据。 我们强调，这个算法不是零知识，因为在 $n=1$ 的情况下，验证者了解到整个向量。验证者也可以发送非随机值 $u$ 来尝试了解关于 $\mathbf{a}$ 的信息。 然而，回想一下，我们设计这个算法的动机是...