zkvm

RISC0 Boundless：可验证计算层区块链技术：然而，区块链技术要求所有参与者重新执行所有数据以达成共识。虽然这种方法解决了关键问题，但也带来了可扩展性挑战，限制了区块链生态系统的增长和潜力。

Jolt路线图a16z crypto团队2024年7月更新了其Jolt路线图：主要分为3大维度：下图摘自https://github.com/gy001/hypercube（Rust）：其中：

解码Starknet Verifier：深入逆向工程之旅Sandstorm为：开源代码见：L2Beat 提供了以太坊上Starknet的合约架构图：主要分为2大部分：

SP1：基于Plonky3构建的zkVMSP1为SuccictLab开源的，基于Plonky3构建的zkVM。开源代码见：当前暂未实现onchain-verifier，但会采用标准的STARK->SNARK verifier。

Polygon Miden VM架构总览Programs程序有2种类型：常规虚拟机为：Zero-Knowledge（ZK）虚拟机为：使用ZK虚拟机的好处在于：

RISC Zero的Bonsai证明服务Bonsai为通用ZKP网络，其支持任意链、任意协议、以及任意应用，利用ZKP来扩容、隐私和互操作。Bonsai的目标是为每条链都提供无限计算的能力。

有限域的Fast Multiplication和Modular Reduction算法实现关于有限域的基础知识，可参考：有限域几乎是密码学中所有数学的基础。 ZKP证明系统中的所有运算都是基于有限域的：

RISC-V与RISC Zero zkVM的关系本文基本结构为：高级编程语言不专门针对某个架构，其便于人类编写。高级编程语言代码，经编译器编译后，会生成针对专门某架构的汇编代码，汇编代码是供机器使用的。

针对zkVM中Memory Consistency Checks的Polynomial IOPs主要参考Yuncong Zhang等人2023年论文《Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines》。

Starknet的去中心化路线图StarkWare正以2条路线在迈向去中心化：以让Starknet协议走向去中心化proof-of-stake协议。

Polygon Miden交易模型：Actor模式 + ZKP =＞并行 + 隐私前序博客：Polygon Miden为：本文专注于Polygon Miden的几个核心概念：Polygon Miden中：