FAQ

常见问题

关于 ZKM

ZKM 是什么？

ZKM（或zkMips）是一个通用的通用ZK证明系统，其主要目的是将以太坊变成全球结算层。

ZKM 的使命和愿景是什么？

ZKM 的使命是利用和构建零知识证明 (ZKP) 功能。ZKM 的愿景是将所有第 2 层 (L2) 和第 1 层 (L1) 区块链网络合并为以太坊上的全球结算层。它还旨在启用防篡改的物联网（IoT）设备和云计算。

ZKM 旨在应对哪些挑战？

该项目旨在应对多项挑战，包括取消7天提款窗口，实现所有第 2 层 (L2) 解决方案和替代第 1 层 (Alt L1) 区块链网络的统一安全，以及实现防篡改的物联网 (IoT) 和云计算。通过应对这些挑战，该项目旨在提供更快、更便捷的资金提取，在不同的L2和Alt L1平台上建立标准化的安全框架，并增强物联网设备和云计算系统的安全性和完整性。

ZKM 的主要特点是什么？

zkMIPS（零知识证明 MIPS）的主要功能包括：

一个 ZKP 适用于所有人：通过保护上述每个虚拟机、框架或应用程序下的 CPU/MIPS，CPU 上方的所有软件都是安全的。这使每个人都可以宣称零知识证明 (ZKP) 安全性，而无需自己进行 ZK 打样。

使用所有虚拟机：zkMIPs位于每个虚拟机（VM）下方，可以与各种区块链智能合约引擎虚拟机兼容，例如MoveVM（zkMVM）、WASM（zkWasm）和RustVM（zkRVM）。

即插即用采用：开发人员无需为 ZKP 更改或调整其现有代码库即可采用 zkMIP。它提供零成本或低成本的采用以及与技术无关的采用率，允许使用不同的智能合约语言，甚至是传统的编程语言。

长期稳定性：利用 MIPS 指令集的稳定性，zkMIPS 消除了对不断变化 EVM 指令集的担忧，为开发提供了更稳定的环境。

为所有人提供免费安全：zkMips 利用以太坊庞大的去中心化安全基础来验证所有交易，确保区块链和非区块链应用程序的安全。

更好的 L2 汇总用户体验：借助支持 zkMIPS 的混合汇总，用户可以享受更好的体验。以前的 Optimistic Rollup 用户无需等待第 2 层到第 1 层的 7 天提款期即可获得即时确认和最终确认。通过ZKP验证和防欺诈质询期限，存款用户可以体验到双倍的安全性，该期限可以延长到标准的7天安全转账期限之外。

远远超出 L2，超越区块链：zkMips 扩大了 Optimistic Rollups 潜在市场的范围。它将其覆盖范围扩展到替代的第 1 层区块链（例如 BNB、Celo 等），提供了 zkMips 安全性的好处。此外，zkMIPS 支持防篡改物联网 (IoT) 设备并增强云计算环境中的安全性。

关于混合汇总

什么是混合汇总？

混合汇总是一种汇总协议，它将两个现有的汇总解决方案，即乐观汇总和ZK Rollup合并为一个单一的聚合协议。

什么是 Optimistic Rollup 和 ZK Rollup？

Optimistic Rollup 和 ZK Rollup 是两种不同的区块链网络第 2 层扩展解决方案。Optimistic Rollup 依赖乐观的执行和欺诈证明，而 ZK Rollup 则利用零知识证明来实现可扩展性。

Hybrid Rollup 如何解决 Optimistic Rollup 和 ZK Rollup 的缺点？

混合汇总旨在通过结合乐观汇总和ZK Rollup的优势来克服它们的局限性。它利用了 ZK Rollup 零知识证明的效率和可扩展性优势，同时兼顾了 Optimistic Rollup 乐观执行的灵活性和可组合性。它的 ZK 功能为 Optimistic Rollup 用户提供了近乎即时的提款时间，而其稳定、支持 MIPS 的指令集消除了 zkEVM 不稳定性带来的挑战。（有关MIPS的更多信息，请参见下文）

Hybrid Rollup 提供哪些优势？

与 Optimistic Rollup 和 ZK Rollup 分别相比，混合汇总提供了更广泛的用例。它旨在为去中心化应用程序（dApps）和区块链生态系统提供更高的可扩展性、更高的安全性和更高的灵活性。

你能举例说明混合汇总可以带来好处的用例吗？

混合汇总可以在各种场景中发挥优势，例如去中心化金融 (DeFi) 应用程序、不可替代代币 (NFT) 市场、游戏平台、供应链管理以及任何其他需要高交易吞吐量和降低区块链网络成本的用例。

关于 MIPS

什么是 MIPS？

MIPS 是一种计算机架构，代表没有互锁流水线级的微处理器。它是由 MIPS Technologies 开发的简化指令集计算 (RISC) 架构。

在MIPS中，“联锁管道阶段” 一词是什么意思？

“联锁流水线阶段” 是指某些计算机架构中的一项功能，在该功能中，由于指令之间的依赖关系，流水线阶段可能会停滞或延迟。另一方面，MIPS 没有互锁的流水线阶段，因此可以更简单、更高效地执行管道。

使用 MIPS 有什么好处？

MIPS 的一些优点包括简化的指令集、高性能、低功耗和良好的代码密度。它通常用于嵌入式系统、数字信号处理和其他需要高效执行指令的应用。

哪些公司在其产品中使用了 MIPS？

包括索尼、东芝、思科系统和许多其他公司在内的多家公司都在使用MIPS。它已被用于游戏机、网络设备、路由器和其他设备。

MIPS 中有哪些常用指令？

常见的 MIPS 指令包括算术运算（加、减、乘、除）、逻辑运算（和、或、不是）、内存访问（加载、存储）、控制流（分支、跳转）和数据移动（移动、复制）。

我可以在个人计算机上运行 MIPS 程序吗？

是的，您可以使用模拟 MIPS 架构的仿真器或模拟器在个人计算机上运行 MIPS 程序。有各种各样的 MIPS 模拟器可供你在电脑上执行和测试 MIPS 程序。MIPS 仿真器的一个示例是 “MARS”（MIPS 汇编器和运行时模拟器）仿真器。MARS 是一个基于 Java 的仿真器，为 MIPS 汇编语言编程提供了完整的开发环境。它提供图形用户界面 (GUI) 并支持一系列 MIPS 指令集。

MIPS 是开源架构吗？

是的，MIPS 现在可以作为开源架构使用。2018年，Wave Computing收购了MIPS Technologies，后者随后以开源形式发布了MIPS指令集架构（ISA）。

我可以在基于 MIPS 的设备上运行 Linux 等操作系统吗？

是的，基于 MIPS 的设备可以运行 Linux 等操作系统。Linux 已移植到 MIPS 架构，并且有支持基于 MIPS 的系统的发行版可用。

MIPS 是 32 位还是 64 位架构？

MIPS 可以支持 32 位和 64 位架构。最初的 MIPS 架构是 32 位的，但后来的版本和扩展引入了对 64 位处理的支持。

我能否使用流行的编程语言（如 C 或 C++）为 MIPS 架构开发软件？

是的，您可以使用流行的编程语言（如 C 或 C++）为 MIPS 架构开发软件。MIPS 编译器可以将用 C 或 C++ 等语言编写的高级代码翻译成 MIPS 汇编语言或机器代码。

MIPS 支持多核处理器吗？

是的，MIPS 架构支持多核处理器。已经开发了多核 MIPS 处理器，允许并行执行指令，并提高了多线程应用程序的性能。

MIPS 适用于实时系统吗？

是的，MIPS 通常用于实时系统。其简化的指令集和确定性执行使其非常适合需要实时响应的应用，例如汽车系统、工业控制和医疗设备。

我可以使用 MIPS 为嵌入式系统开发软件吗？

是的，MIPS 通常用于为嵌入式系统开发软件。其低功耗、紧凑的代码大小和高效的执行使其非常适合各种嵌入式应用，包括消费电子产品、汽车系统和工业设备。这是我们为 zkMips 设计架构时的动机之一。

MIPS 和 ARM 架构有什么区别？

MIPS 和 ARM 都是 RISC 架构，但有一些架构差异。MIPS 的固定指令大小为 32 位，而 ARM 支持可变指令大小（16 位和 32 位）。MIPS 使用延迟分支，而 ARM 使用条件执行。此外，MIPS 和 ARM 架构的指令集和寄存器也有所不同。

我可以使用 MIPS 为嵌入式系统开发软件吗？

是的，MIPS 通常用于为嵌入式系统开发软件。其低功耗、紧凑的代码大小和高效的执行使其非常适合各种嵌入式应用，包括消费电子产品、汽车系统和工业设备。

关于大炮/乐观情绪

大炮是什么？

Cannon 是一款虚拟机 (VM) 实现，专为 Optimism 开发的 Optimistic Rollup 扩展解决方案而设计。它充当以太坊区块链上智能合约的执行环境，提供可扩展性改进并降低交易成本。

Cannon 如何提高可扩展性？

Cannon 通过使用第 2 层扩展解决方案 Optimistic Rollup 来提高可扩展性。它允许链下执行和验证交易，并压缩了以太坊区块链上记录的交易摘要。这减少了拥塞并增加了交易吞吐量。

现有的以太坊智能合约可以在Cannon上运行吗？

是的，现有的以太坊智能合约可以在Cannon上运行。该虚拟机与以太坊虚拟机（EVM）兼容，这意味着大多数以太坊智能合约只需稍作修改即可在Optimism-Cannon网络上部署和执行。

Cannon 支持哪些编程语言？

Cannon 支持与以太坊生态系统兼容的编程语言。完全支持以太坊智能合约中使用最广泛的语言 Solidity。也可以使用编译为 EVM 字节码的其他语言，例如 Vyper 或 LLL。

与以太坊相比，为Cannon开发时有任何限制或差异吗？

尽管Cannon旨在保持与以太坊的高度兼容性，但可能存在一些差异和局限性。例如，汽油成本、交易终结性和某些操作码行为可能会有所不同。在开发 Optimism Cannon 网络时，请务必参考 Optimism 文档和指南。

Cannon 如何处理交易的终局性？

Cannon 通过使用欺诈证明实现了交易的最终性。最初假定交易及其相应的执行结果是有效的，但是如果提交的欺诈证据证明并非如此，则以太坊主网可以回滚不正确的状态更新。

我可以与以太坊主网在 Cannon 上部署的智能合约进行交互吗？

是的，可以从以太坊主网与部署在Cannon上的智能合约进行交互。跨链通信协议和桥接合约可用于在两个网络之间转移资产或调用功能。

关于零知识证明

什么是零知识证明 (ZKP)？

零知识证明是一种加密协议，它允许一方（证明者）向另一方（验证者）证明陈述的有效性，而无需透露除声明本身真实性之外的任何其他信息。

零知识证明的目的是什么？

零知识证明用于在不泄露任何敏感或机密信息的情况下证明索赔或陈述的真实性。在需要信任和验证的情况下，它们可以实现安全和私密的互动。

零知识证明是如何运作的？

在零知识证明中，证明者在不透露任何基础信息的情况下说服核查者相信陈述的真实性。这是通过构建交互式协议来实现的，该协议演示了只有在陈述属实时才能知道的信息知识。

零知识证明安全吗？

零知识证明旨在确保安全并提供强大的加密保障。但是，零知识证明的安全性取决于基本的密码学假设和协议的正确实施。

可以在不知道潜在秘密的情况下验证零知识证明吗？

是的，零知识证明可以由验证者在不知道潜在秘密或信息的情况下进行验证。验证者可以根据从证明者那里收到的互动和答复来验证证据的完整性和正确性。

什么是 zkStark？

zkStark 是一种密码证明系统，可以创建零知识证明，以证明对某些陈述的了解，而不会泄露任何敏感信息。它代表零知识可扩展的透明知识论证。

zkStark 与其他零知识证明系统有何不同？

zkStarks 在透明度和可扩展性方面不同于其他零知识证明系统，如 zkSNARKS（零知识简化非交互式知识论证）。zkStarks 提供透明设置，这意味着它们不需要可信的设置，而且它们设计为可扩展以适应更大规模的计算。

zkStarks 的优势是什么？

zkStarks 具有多种优势，包括透明度，无需举行值得信赖的安装仪式。它们还提供可扩展性，允许在不牺牲安全性或隐私的情况下对复杂计算进行有效验证。

zkStarks 是用来做什么的？

zkStarks 有各种应用程序，包括隐私保护交易、安全的多方计算、可验证的计算以及证明大型数据集的完整性。它们可用于区块链技术，确保隐私和安全，同时验证交易或计算的有效性。

zkStarks 的验证过程如何运作？

在 zkStarks 中，验证者可以在不了解任何基础信息的情况下高效、公开地验证证明者主张的正确性。证明者构造了一个 zkStark 证据，在不透露秘密输入的情况下说服验证者相信陈述是真实的。

zkStarks 后量子安全吗？

zkStarks被认为是后量子安全的，这意味着它们可以抵抗强大的量子计算机的攻击。它们的安全性依赖于被认为难以解决的数学问题，即使使用量子算法也是如此。

zkStarks 的计算效率高吗？

与其他一些零知识证明系统相比，zkStarks 的计算密集度通常更高。证明生成和验证过程涉及复杂的计算。但是，正在进行的研究旨在优化 zkStarks 以提高效率。

零知识证明背景下的算术中间表示 (AIR) 是什么？

算术中间表示 (AIR) 是一种中间语言或格式，用于在零知识证明系统中以标准化方式表示算术计算和约束。

AIR 如何促进零知识证明的生成？

AIR 为算术计算提供了结构化和标准化的表示形式，使其更易于优化并将其转换为更有效的形式，用于生成零知识证明。

在零知识证明中使用 AIR 有什么好处？

使用 AIR 可以将计算与证明生成过程分开，从而增强零知识证明的分析、优化和验证。AIR 还支持以更高级别的格式高效表达算术约束。

MIPS 和物联网、机器学习、云计算

MIPS 架构如何增强物联网设备性能？

MIPS 架构通过其高效的指令集设计和优化的内存管理来增强物联网设备性能。MIPS 处理器可以高效地处理复杂的计算，从而加快数据处理速度并提高物联网应用程序的整体性能。

MIPS 处理器能否解决物联网设备的功耗挑战？

是的，MIPS 处理器旨在应对物联网设备的功耗挑战。MIPS 架构提供电源管理功能、低功耗状态和高效的指令执行，使物联网设备能够在不影响性能的情况下实现最佳功效。

MIPS 集成能否在物联网生态系统中实现安全可靠的通信？

MIPS 集成可以在物联网生态系统中实现安全可靠的通信。通过整合加密算法和安全执行环境，MIPS 处理器增强了物联网设备的安全性，保护了数据传输并确保了可信度。

MIPS 架构如何促进物联网应用的边缘数据处理？

MIPS 架构通过提供高效的计算功能，为物联网应用的边缘数据处理做出贡献。基于 MIPS 的边缘设备可以执行本地数据处理和分析，减少延迟，提高实时响应能力，并最大限度地减少对云资源的依赖。

MIPS 处理器能否处理复杂机器学习模型的计算需求？

是的，MIPS 处理器可以处理复杂机器学习模型的计算需求。凭借其强大而高效的架构，MIPS 处理器可以执行矩阵运算、向量计算和机器学习算法所需的其他密集型任务。

MIPS 集成是否支持设备端机器学习功能？

是的，MIPS 集成可以启用设备端机器学习功能。通过将 MIPS 处理器集成到边缘设备和物联网设备中，可以在本地部署和执行机器学习模型，从而减少持续数据传输的需求，增强隐私和实时响应能力。

MIPS 架构如何优化机器学习应用程序中的能效？

MIPS 架构旨在优化能效，使其适用于机器学习应用中使用的低功耗设备。通过利用电源管理技术和高效的指令执行，MIPS 处理器可以在保持高性能水平的同时最大限度地降低能耗。

MIPS 架构对云计算有何贡献？

MIPS 架构具有高效的指令执行、可扩展性和虚拟化支持等优点，使其非常适合云计算环境。基于 MIPS 的处理器可以在基于云的应用程序中提供可靠的性能并处理各种工作负载。

开发人员能否利用基于 MIPS 的开发工具和框架进行云应用程序开发？

是的，开发人员可以利用基于 MIPS 的开发工具和框架进行云应用程序开发。MIPS 提供了一系列软件开发套件 (SDK)、库和工具，使开发人员能够优化应用程序、增强性能并简化云计算环境中的部署。

MIPS 处理器能否为云计算提供商提供具有成本效益的解决方案？

是的，MIPS 处理器可以为云计算提供商提供具有成本效益的解决方案。其节能设计、可扩展性和具有竞争力的性价比使基于 MIPS 的系统成为构建云基础架构的有吸引力的选择。