...们将通过探索 Circle 的跨链传输协议 (CCTP) 来丰富我们的知识库。 在本文中，我们将深入研究 CCTP 的设计、安全性和信任假设，通过对其架构的全面分析，突出其独特的功能和权衡。 我们将涵盖以下主题： - CCTP 概述 - 交易生...
## 介绍 任何零知识证明（ZKP）系统的核心在于**算术化**的概念，即将计算问题转化为可以在特定代数结构（如多项式或算术电路）中表达和验证的数学问题的过程。在 Binius 框架中，此算术化通过 **多重多重集匹配 (M3)** 系统...
...送 $\mathcal{O}(\log n)$ 数据。 我们强调，这个算法不是零知识，因为在 $n=1$ 的情况下，验证者了解到整个向量。验证者也可以发送非随机值 $u$ 来尝试了解关于 $\mathbf{a}$ 的信息。 然而，回想一下，我们设计这个算法的动机是...
...高了 **rollup** 之间的互操作性和可组合性。它采用基于零知识的欺诈证明 (ZKFP) 系统，该系统结合了欺诈证明和有效性证明系统的优点，解决了传统证明系统存在的用户体验问题。Layer N 由名为N-EVM的EVM **rollup**、名为Nord的 **orderb...
...然而，在公共账本上实现隐私需要先进的密码学工具。零知识（ZK）证明提供了一种途径，使用户能够在不揭示底层数据的情况下证明某些事情。另一种有前景的方法是 [**全同态加密（FHE）**](https://www.zama.ai/introduction-to-homomorphic...
...m 使用 BoLD；Optimism 使用 Cannon）。 - **ZK Rollup**：使用零知识有效性证明来验证交易批次，然后再提交（例如，zkSync、StarkNet），从而无需争议期即可实现近乎即时的最终性。某些系统还实施 ZK 欺诈证明（OP Succinct、RISC0 Kailula）...
...？ BYOR 项目是一个简化版本的主权 rollup。与乐观和零知识证明的 rollup 相比，主权 rollup 不会在以太坊上验证状态根，只依赖于以太坊上的数据可用性和共识。这样可以防止 L1 和 BYOR 之间的信任最小化桥，但极大地简化了代码...
...响和滑点。我们的第一篇文章关注于 Renegade，一种使用零知识证明和安全多方计算 (MPC) 来确保隐私的协议，同时保持去中心化。 本文将重点转向 Tristero，这是一个全新的替代方案，重新设计暗池，以速度和可扩展性为核心。...
...的 Layer 2 解决方案，正吸引越来越多的开发者。它通过零知识证明（ZKP）大幅提高了交易效率和安全性。在 Starknet 中，Cairo 作为智能合约的编程语言，不仅提供了强大的功能，还保持了与 Rust 语言的相似性，方便开发者上手。...
...在 2022 年启动了**一系列资助以支持学术研究**，以培养知识并进一步加强以太坊生态系统。我们收到的反响非常热烈，我们向 39 位杰出的建设者提供了资助，他们积极跨越不同领域，以推进以太坊相关知识的发展。 在这篇博文...
...术对 L2 定序器进行渐进式去中心化的提议 * Layer N [零知识欺诈证明](https://www.layern.com/blog/zkfp)：混合方法只需要在存在欺诈可能性时生成证明 ## EIP * EIP： * [EIP7069](https://github.com/ethereum/EIPs/pull/7069/files)：改进的 CALL ...
...n.cn/2025/04/27/0JFbi8r1ZnUTpyMJk.png) 这是多方计算（MPC）和零知识证明的开始。在百万富翁问题中，我们可以确定两位百万富翁中谁的钱最多，而无需他们透露自己的钱。该方法涉及我们使用 RSA 加密。为此，我使用了[此处](https://as...