...在 2022 年启动了**一系列资助以支持学术研究**，以培养知识并进一步加强以太坊生态系统。我们收到的反响非常热烈，我们向 39 位杰出的建设者提供了资助，他们积极跨越不同领域，以推进以太坊相关知识的发展。 在这篇博文...
...送 $\mathcal{O}(\log n)$ 数据。 我们强调，这个算法不是零知识，因为在 $n=1$ 的情况下，验证者了解到整个向量。验证者也可以发送非随机值 $u$ 来尝试了解关于 $\mathbf{a}$ 的信息。 然而，回想一下，我们设计这个算法的动机是...
...的 Layer 2 解决方案，正吸引越来越多的开发者。它通过零知识证明（ZKP）大幅提高了交易效率和安全性。在 Starknet 中，Cairo 作为智能合约的编程语言，不仅提供了强大的功能，还保持了与 Rust 语言的相似性，方便开发者上手。...
...高了 **rollup** 之间的互操作性和可组合性。它采用基于零知识的欺诈证明 (ZKFP) 系统，该系统结合了欺诈证明和有效性证明系统的优点，解决了传统证明系统存在的用户体验问题。Layer N 由名为N-EVM的EVM **rollup**、名为Nord的 **orderb...
...然而，在公共账本上实现隐私需要先进的密码学工具。零知识（ZK）证明提供了一种途径，使用户能够在不揭示底层数据的情况下证明某些事情。另一种有前景的方法是 [**全同态加密（FHE）**](https://www.zama.ai/introduction-to-homomorphic...
...术对 L2 定序器进行渐进式去中心化的提议 * Layer N [零知识欺诈证明](https://www.layern.com/blog/zkfp)：混合方法只需要在存在欺诈可能性时生成证明 ## EIP * EIP： * [EIP7069](https://github.com/ethereum/EIPs/pull/7069/files)：改进的 CALL ...
...？ BYOR 项目是一个简化版本的主权 rollup。与乐观和零知识证明的 rollup 相比，主权 rollup 不会在以太坊上验证状态根，只依赖于以太坊上的数据可用性和共识。这样可以防止 L1 和 BYOR 之间的信任最小化桥，但极大地简化了代码...
...击者利用了该桥的紧急提款机制。分析表明，负责验证零知识证明的机制未能执行实际验证。这一严重疏忽使攻击者能够伪造提款证明并绕过该桥的核心安全机制。  [https://x.com/...
...，即使面对复杂的攻击也是如此。 虽然它需要对专业知识和资源进行更高的投资，但防止灾难性漏洞（从财务损失到声誉损害）的好处远远超过了成本。通过将形式化验证集成到你的开发生命周期中，并将其与其他强大的安...
...n.cn/2025/04/27/0JFbi8r1ZnUTpyMJk.png) 这是多方计算（MPC）和零知识证明的开始。在百万富翁问题中，我们可以确定两位百万富翁中谁的钱最多，而无需他们透露自己的钱。该方法涉及我们使用 RSA 加密。为此，我使用了[此处](https://as...
...气，了解对方所采取的行动。数据会采用一种叫作“[零知识证明应用](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/)”的隐私保护技术来储存，只有协议相关方才能理解数据的真实意思。这个证明可以作为企业流程状态的统一参...
...如何修复它。 ## Aleo 如何工作？ Aleo 是一个利用 ZKP（零知识证明）来实现隐私和可编程性的区块链网络。Aleo 使用从 [Marlin](https://eprint.iacr.org/2019/1047) 改编的 Varuna 证明系统。在 Aleo 上，用户生成交易执行的证明，验证者（网...
 零知识虚拟机 (zkVMs) 利用零知识证明 (ZKPs) 来验证在特定指令集架构上执行的计算的正确性。实际上，zkVM 允许你用熟悉的级语言（例如 Rust 或 C）编写程序，而无需处理 ZKP 的细节...