...响和滑点。我们的第一篇文章关注于 Renegade,一种使用零知识证明和安全多方计算 (MPC) 来确保隐私的协议,同时保持去中心化。 本文将重点转向 Tristero,这是一个全新的替代方案,重新设计暗池,以速度和可扩展性为核心。...
...在 2022 年启动了**一系列资助以支持学术研究**,以培养知识并进一步加强以太坊生态系统。我们收到的反响非常热烈,我们向 39 位杰出的建设者提供了资助,他们积极跨越不同领域,以推进以太坊相关知识的发展。 在这篇博文...
...的 Layer 2 解决方案,正吸引越来越多的开发者。它通过零知识证明(ZKP)大幅提高了交易效率和安全性。在 Starknet 中,Cairo 作为智能合约的编程语言,不仅提供了强大的功能,还保持了与 Rust 语言的相似性,方便开发者上手。...
...术对 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...
...气,了解对方所采取的行动。数据会采用一种叫作“[零知识证明应用](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/)”的隐私保护技术来储存,只有协议相关方才能理解数据的真实意思。这个证明可以作为企业流程状态的统一参...
...如何修复它。 ## Aleo 如何工作? Aleo 是一个利用 ZKP(零知识证明)来实现隐私和可编程性的区块链网络。Aleo 使用从 [Marlin](https://eprint.iacr.org/2019/1047) 改编的 Varuna 证明系统。在 Aleo 上,用户生成交易执行的证明,验证者(网...
...将每个交易压缩到仅 ~10 字节;因为它们的有效性通过零知识证明进行验证,签名不需要包括在内。通过 BLS 聚合签名,类似的吞吐量可以在影子链中实现(最近被称为“乐观 rollup”,以强调其与 ZK Rollup 的相似性)。即将到来...
 零知识虚拟机 (zkVMs) 利用零知识证明 (ZKPs) 来验证在特定指令集架构上执行的计算的正确性。实际上,zkVM 允许你用熟悉的级语言(例如 Rust 或 C)编写程序,而无需处理 ZKP 的细节...
...有控制权。 - 分布式账本 MobileCoin 区块链是一种零知识的数据结构,由 UTXO、密钥镜像(key images)和用于确保一致性和结构的 Merkle 证明的元数据块组成。 每个区块都包含可供未来花费的 UTXO,每笔交易都包含了未花...
...多项式是否一致。大多数实用的 SNARKs(简洁的非交互式知识论证)都是使用 PCS 构建的。它由以下三个算法组成: - setup(d)→pp: 给定一个关于阶数的上限 d,它输出公共参数 pp,用于承诺阶数小于 d 的多项式。 - commit(pp,f)→comf:...
...核心。 RISC Zero STARK 的构建是高度技术性的,依赖于零知识密码学领域的几项最近进展。 具体来说,构建 RISC Zero 的 zk-STARK 使用 DEEP-ALI 协议和批量 FRI 协议(经过随机预处理步骤)。 在这 12 个简短的课程中,我们将通过一...
...。Polygon zkEVM 继承了以太坊 L1 网络的安全特性,并使用零知识证明(ZK 证明)来确保交易有效性并保护用户资金。这为在 Polygon zkEVM 上处理的交易提供了额外的安全层。 通过使用 ZK 证明,Polygon zkEVM 降低了交易成本,使其更...