1. 引言 在将运算表示为电路的过程中，通常有较为复杂的操作，比如按位异或，按位与操作等。如果需要对两个32位长的比特串进行按位异或操作，则通常需要上百个加法和乘法门来表示该运算，这显然增加了电路的规模。通过引入Lookup argume...
zkVM zkVM（零知识虚拟机）是一种利用零知识证明（ZKP）来保证计算的正确性、完整性和隐私性的虚拟机。 1. 预备知识 1.1 概念 零知识证明：证明方（prover）向验证方（verifier）证明某个陈述是真实的，同...
1 引言 Lookup Argument 是一种重要的密码学原语，用于证明一个集合（或结构化对象，如多项式）的元素属于另一个预先计算的集合或结构。它在零知识证明系统中具有重要作用，可以在不泄露敏感信息的前提下强制验证数据的一致性和约束。...
1. ZKM Prover证明架构 ZKM Prover利用Plonky2构造零知识证明系统，其主要步骤涉及对每个Plonkish表的证明生成、聚合及压缩处理。具体过程如下： 1.1 对每个Plonkish表生成Plonky2证明 在...
1. 算术操作 1.1 操作指令 mul： 验证二元乘法操作，例如 $a \times b = c$，适用于简单的两输入一输出乘法。 mult： 验证多输入或复杂乘法操作，处理更高精度或特殊情况的乘法。 addcy： 验证带进位的加法操...
模拟器 模拟器主要实现了MIPS指令集的仿真操作，并提供了运行MIPS ELF程序和生成段的接口。所有代码可以在zkm/emulator目录下找到。 执行过程 MIPS程序的执行过程如下：（左边为常规执行过程，右边为执行过程中带有段分...
原文链接：https://vac.dev/rlog/zkVM-explorations 译者：AI翻译官，校对：翻译小组 本文永久链接：learnblockchain.cn/article… 介绍 区...
预备知识 多项式和阶 1.1 多项式基本概念及其在密码学中的应用 1.2 低阶多项式的重要性及其在证明系统中的意义 群与有限域 2.1 群和有限域 2.2 子群和陪集 2.3 循环群和单位根 (root of un...
FRI FRI原理 1.1 原理概述 1.2 实现过程 1.3 性能权衡 FRI应用于多项式承诺 1. FRI原理 1.1 原理概述 Fast Reed-Solomon Interactive Orac...
原文链接：vac.dev/rlog... 译者：AI翻译官，校对：翻译小组 本文链接：learnblockchain.cn/article… 介绍 在我们之前的博客文章中对 zkVM 的初步探索之后...
鸿途知科网
