zkVM - 区块链技术网

区块链区块链技术比特币公众号手机端

EIP-7983：以太坊的新 Gas 上限为何可能改变网络安全格局

在 [LinkedIn](https://www.linkedin.com/in/martin-pal-8b4212235/) 上关注我，获取更多区块链开发内容。** 2024年7月6日，以太坊联合创始人 Vitalik Buteri...

以太坊 EIP-7983 gas 限制零知识虚拟机 zkVM

3个月前 (07-09) 40 阅读 #区块链
【zkMIPS系列】ZKM Prover—Poseidon_ stark

1. Poseidon哈希函数基本介绍 Poseidon在代码中的具体执行方式包括以下6步： 1. 初始化与常量定义目标：定义常量矩阵（如 MDS 矩阵）、轮次常量、哈希状态。核心操作：初始化哈希状态、轮次计数器等。 2. 完整轮...

zkVM zkMIPS

8个月前 (02-09) 107 阅读 #区块链
【zkMIPS系列】ZKM Prover: Cross Table Lookup

1. 跨表lookup 1.1 多个表格的聚合在零知识证明中的lookup中，我们可能有多个表格，每个表格可以包含不同的数据。这些表格之间可能存在一定的关联，需要聚合起来进行联合验证。这个过程的目的是将多个表格中的相关信息组合成一个查...

zkVM zkMIPS Layer2

8个月前 (01-28) 146 阅读 #区块链
【zkMIPS系列】Plonky2 协议解析

1. 引言 Plonky2 是一种基于多项式承诺和Plonk的PIOP交互式证明的零知识证明协议，专注于通过 FRI 技术实现高效的zkSNARK。Plonky2 的主要设计目的是提高传统 zk-SNARKs 在递归零知识证明场景下的效率...

zkVM zkMIPS Layer2

8个月前 (01-28) 124 阅读 #区块链
【zkMIPS系列】Plonky2递归零知识证明原理

1. 引言递归零知识证明（Recursive Zero-Knowledge Proof，简称递归ZKP）是一种使用递归概念的零知识证明，它通过递归的方式生成可更高效验证的证明，某些情况下还可以将多个证明合并成一个单一的证明。这在区块链系...

zkVM zkMIPS Layer2

8个月前 (01-28) 128 阅读 #区块链
【zkMIPS系列】Lookup Argument (Logup)与代码分析

1. 引言在将运算表示为电路的过程中，通常有较为复杂的操作，比如按位异或，按位与操作等。如果需要对两个32位长的比特串进行按位异或操作，则通常需要上百个加法和乘法门来表示该运算，这显然增加了电路的规模。通过引入Lookup argume...

zkVM zkMIPS Layer2

8个月前 (01-28) 136 阅读 #区块链
【zkMIPS系列】zkVM概述

zkVM zkVM（零知识虚拟机）是一种利用零知识证明（ZKP）来保证计算的正确性、完整性和隐私性的虚拟机。 1. 预备知识 1.1 概念零知识证明：证明方（prover）向验证方（verifier）证明某个陈述是真实的，同...

zkVM zkMIPS Layer2

8个月前 (01-28) 157 阅读 #区块链
【zkMIPS系列】Lookup Argument原理

1 引言 Lookup Argument 是一种重要的密码学原语，用于证明一个集合（或结构化对象，如多项式）的元素属于另一个预先计算的集合或结构。它在零知识证明系统中具有重要作用，可以在不泄露敏感信息的前提下强制验证数据的一致性和约束。...

zkVM zkMIPS Layer2

8个月前 (01-28) 102 阅读 #区块链
【zkMIPS系列】ZKM Prover生成一个证明与聚合

1. ZKM Prover证明架构 ZKM Prover利用Plonky2构造零知识证明系统，其主要步骤涉及对每个Plonkish表的证明生成、聚合及压缩处理。具体过程如下： 1.1 对每个Plonkish表生成Plonky2证明在...

zkVM zkMIPS Layer2

8个月前 (01-28) 86 阅读 #区块链
【zkMIPS系列】ZKM Prover之算术操作和CPU操作

1. 算术操作 1.1 操作指令 mul：验证二元乘法操作，例如 $a \times b = c$，适用于简单的两输入一输出乘法。 mult：验证多输入或复杂乘法操作，处理更高精度或特殊情况的乘法。 addcy：验证带进位的加法操...

zkVM zkMIPS Layer2

8个月前 (01-28) 95 阅读 #区块链

1 2 › ››