zkvmBlast · 第 1 部分（共 1 部分） 介绍 zkvmBlast：面向以太坊 zkVM 的差分模糊测试 今天，我们发布 zkvmBlast，这是一个面向 RISC-V zkVM、与具体 zkVM 无关的差分模糊测试器。它接...
2025年12月中旬，一条消息经由以太坊基金会传到了 Ziren 团队手中。Consensys Diligence 与维也纳工业大学（TU Wien）的研究人员一起，将他们的模糊测试基础设施对准了 Ziren——而且它已经发现了问题。...
简介 互联网让信息的流动近乎免费，但它从未回答：在线内容归谁所有、谁能转移、争议由谁裁决，于是答案默认落到了运行服务器的人身上。以太坊尝试在公开层面构建这个缺失的层：记录、转移和强制执行都不属于任何单一运营者。 一个机构的可信度，取决于...
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）是一种使用递归概念的零知识证明，它通过递归的方式生成可更高效验证的证明，某些情况下还可以将多个证明合并成一个单一的证明。这在区块链系...
鸿途知科网
