1 介绍 1.1 zkVM 简要介绍 zkVM，或零知识虚拟机（Zero-Knowledge Virtual Machine），是一种专门的虚拟机，旨在以一种方式执行程序，该方式使用零知识证明（ZKPs）生成可验证的计算证明。它通常在...
1. zkVMs 进展 自从零知识（ZK）证明被引入以来，该领域已经从理论加速发展到生产系统。通用 zkVM 已经成为可验证计算的关键抽象：程序在对证明友好的虚拟机上运行并发出简洁的证明，从而减少了开发人员的摩擦并扩大了部署范围。通过公开...
在 [LinkedIn](https://www.linkedin.com/in/martin-pal-8b4212235/) 上关注我，获取更多区块链开发内容。** 2024年7月6日，以太坊联合创始人 Vitalik Buteri...
1. Poseidon哈希函数基本介绍 Poseidon在代码中的具体执行方式包括以下6步： 1. 初始化与常量定义 目标：定义常量矩阵（如 MDS 矩阵）、轮次常量、哈希状态。 核心操作：初始化哈希状态、轮次计数器等。 2. 完整轮...
1. 跨表lookup 1.1 多个表格的聚合 在零知识证明中的lookup中，我们可能有多个表格，每个表格可以包含不同的数据。这些表格之间可能存在一定的关联，需要聚合起来进行联合验证。这个过程的目的是将多个表格中的相关信息组合成一个查...
1. 引言 Plonky2 是一种基于多项式承诺和Plonk的PIOP交互式证明的零知识证明协议，专注于通过 FRI 技术实现高效的zkSNARK。Plonky2 的主要设计目的是提高传统 zk-SNARKs 在递归零知识证明场景下的效率...
1. 引言 递归零知识证明（Recursive Zero-Knowledge Proof，简称递归ZKP）是一种使用递归概念的零知识证明，它通过递归的方式生成可更高效验证的证明，某些情况下还可以将多个证明合并成一个单一的证明。这在区块链系...
1. 引言 在将运算表示为电路的过程中，通常有较为复杂的操作，比如按位异或，按位与操作等。如果需要对两个32位长的比特串进行按位异或操作，则通常需要上百个加法和乘法门来表示该运算，这显然增加了电路的规模。通过引入Lookup argume...
zkVM zkVM（零知识虚拟机）是一种利用零知识证明（ZKP）来保证计算的正确性、完整性和隐私性的虚拟机。 1. 预备知识 1.1 概念 零知识证明：证明方（prover）向验证方（verifier）证明某个陈述是真实的，同...
1 引言 Lookup Argument 是一种重要的密码学原语，用于证明一个集合（或结构化对象，如多项式）的元素属于另一个预先计算的集合或结构。它在零知识证明系统中具有重要作用，可以在不泄露敏感信息的前提下强制验证数据的一致性和约束。...
区块链技术网
