...排序的方式。虽然传统的 rollup，无论是 optimistic 还是零知识的 - 都使用自己的排序器，但“基于”的 rollup 利用其基础 Layer 1 协议来实现相同的目的。 ## 什么是排序？ 虽然术语排序在很大程度上与 rollups 相关联，但它描述了...
...平衡？要理解 zkLogin 的方法，必须初步了解 OAuth 2.0 和零知识证明。因此，让我们简要地探讨这两个概念。 **3.1.1 OAuth 2.0**  你们中的许多人可能会发现这个术语不熟悉，但...
...迟函数证明计算工作。 传统的 **SNARK** （简洁非交互式知识论证）产生极短的证明，但它们要求证明者一次性处理整个计算。如果你正在流式处理数据——比如，处理到达的区块链交易——你需要存储所有内容直到准备好证明...
...户自动化、通过资源锁定实现零桥接的跨链意图、使用零知识证明进行签名验证的隐私、新的信用和保证金账户系统等等。 为了使智能账户成为一个开放平台，必须解决三个基本问题。Rhinestone Protocol 1.0 直接解决了这些问题： ...
...一，包括确定性阈值签名、zk-SNARKs以及其他简单形式的零知识证明，是椭圆曲线配对。椭圆曲线配对（或称“双线性映射”）是过去30年来在加密应用中使用椭圆曲线的最新补充，包括加密和数字签名；配对引入了一种“加密乘...
## 故障证明 **目录** - [概述](#overview) - [预映像 Oracle](#pre-image-oracle) - [预映像 Key 类型](#pre-image-key-types) - [类型 `0`：Zero Key](#type-0-zero-key) - [类型 `1`：Local Key](#type-1-local-key) - [类型 `2`：Global keccak256 Key](#type-2-global-kec...
...明这种关系，证明者将展示 \\(x\\)，\\(y\\)，\\(z\\)，…的知识，以使 \\(f(a, b, c, ..., x, y, z, ...)\\) 为真 ### SPV 合约 v0 最直接的方法是将所有提到的验证都以智能合约的形式实现。在这种情况下，任何人都可以将比特币区块头提交...
...函数中的计算工作。 传统的 **SNARKs** (简洁的非交互式知识论证) 产生非常简短的证明，但是它们要求证明者一次性处理整个计算。如果你正在流式传输数据（例如，随着区块链交易到达时对其进行处理），则需要存储所有内...
...用程序和钱包。 第二种类型的Rollup是ZKRollup。ZK代表零知识。它是密码学的一个高级分支，目的是在不透露内容的情况下证明某些东西是正确的。ZK Rollup不会将每个交易的数据发布到基础层。相反，他们发布一个加密证明——...
...人，前阿里巴巴 JVM 专家。专注于智能合约编程语言、零知识证明密码学研究。*
...重要。这也可以包括额外的审计数据，如有效性证明、零知识证明或大型欺诈证明。 * **支持完整的去中心化 Web 体验**：Walrus 可以托管完整的去中心化 Web 体验，包括所有资源（如 JS、CSS、HTML 和媒体）。这些不仅提供内容，还...
...约代码的执行、gas 记账、内存和状态。众所周知，在零知识（ZK）中执行和证明它非常困难。在过去的几年里，Buterin 和其他研究人员一直在探索创建 ZK 友好的 EVM 版本的方法，称为 ZKEVM。 _**（有关 ZK、ZKEVM 及其对扩展的好处...
...，旨在增强密码学家实现高级算法和协议的能力——从零知识证明 (ZKPs) 开始——具有卓越的性能和易用性。它标志着朝着与硬件无关的密码学解决方案迈出的重要一步，确保在各种硬件平台上实现无缝兼容，且切换成本为零。 ...
...inal.com/explorer/tokenized-assets ## 实时 ZK 证明 2025 年，零知识 (ZK) 技术跨越了一个关键门槛：从学术研究转向生产就绪的基础设施，这重新定义了区块链网络如何扩展和保护自身。 领先的团队（例如，Succinct，Brevis）已经在 Et...