zkVM

zk 技术堆栈有哪些技术可用，介绍每个层级的示例工具/技术

一直对zkVM比较感兴趣。zkVM将零知识证明技术应用带入一个新的时代。几年前，应用零知识证明技术需要理解复杂的零知识证明算法，并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM，业务开发人员可以采用熟悉的高级语言轻松完成证明业务的描述。目前市面上zkVM层出不穷。先看

FRI预备知识：多项式的阶、群与有限域、Reed-Solomon码、FRI动机、密码工具Merkle树

本文将对比 zkEVM 和 zkVM 在技术上的差异，并介绍 RISC Zero zkVM 及其即将推出的 Bonsai 网络。

探索市面上的 zkVMs：哪些项目真正符合零知识虚拟机的标准？

FRI原理及其应用分析

使用 Risc0 创建你的第一个 ZK 项目

Zinc语言是一种智能合约语言，能方便的构建其对应的电路。Zinc开发的程序，编译成ZincVM指令，并在ZincVM执行并构建电路。构建电路的过程是将指令顺序执行，跟踪以及统一数据流。因为ZincVM构建电路需要将代码“静态”展开，所以Zinc不支持图灵完备。

Jolt：一个快速、易于使用的 zkVM

zkVM 测试报告

在设计zkvm电路时，由于需要确定很多自定义门，所以引入了很多二进制选择器（binary selector）。

zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算，允许协议无缝扩展计算，并使开发者能够创建更复杂和高效的 dApp。