zk 技术堆栈有哪些技术可用,介绍每个层级的示例工具/技术
一直对zkVM比较感兴趣。zkVM将零知识证明技术应用带入一个新的时代。几年前,应用零知识证明技术需要理解复杂的零知识证明算法,并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM,业务开发人员可以采用熟悉的高级语言轻松完成证明业务的描述。目前市面上zkVM层出不穷。先看
FRI预备知识:多项式的阶、群与有限域、Reed-Solomon码、FRI动机、密码工具Merkle树
本文将对比 zkEVM 和 zkVM 在技术上的差异,并介绍 RISC Zero zkVM 及其即将推出的 Bonsai 网络。
探索市面上的 zkVMs:哪些项目真正符合零知识虚拟机的标准?
使用 Risc0 创建你的第一个 ZK 项目
Zinc语言是一种智能合约语言,能方便的构建其对应的电路。Zinc开发的程序,编译成ZincVM指令,并在ZincVM执行并构建电路。构建电路的过程是将指令顺序执行,跟踪以及统一数据流。因为ZincVM构建电路需要将代码“静态”展开,所以Zinc不支持图灵完备。
FRI原理及其应用分析
Jolt:一个快速、易于使用的 zkVM
在设计zkvm电路时,由于需要确定很多自定义门,所以引入了很多二进制选择器(binary selector)。
zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算,允许协议无缝扩展计算,并使开发者能够创建更复杂和高效的 dApp。