RISC Zero项目简介

mutourend

已于 2023-10-25 12:33:48 修改

阅读量601

点赞数

分类专栏： zkVM 文章标签： zkVM

于 2023-10-25 11:53:22 首次发布

本文链接：https://blog.csdn.net/mutourend/article/details/134029608

版权

zkVM 专栏收录该内容

133 篇文章 23 订阅

订阅专栏

本文介绍了RISCZero公司如何通过其ZK技术支持的Bonsai服务和高性能工具RISCZerozkVM，简化零知识应用开发，尤其是通过通用ZK证明服务和Rust生态集成，提升效率。Bonsai支持链上和链下应用，且RISCZerozkVM允许开发者无需定制电路编写ZK应用。

摘要由CSDN通过智能技术生成

1. 引言

RISC Zero为致力于为为全球开发者创建利用ZK技术构建软件所需的基础设施和工具的初创公司。

ZK技术将重塑数字互动的方式。从历史上看，确认软件应用程序正确执行的唯一方法是通过冗余计算。ZK引入了一个新选项：可验证计算（verifiable computation）。

现在可将程序的输出与其self-certifying receipt结合，允许持怀疑态度的第三方验证执行的正确性——而且该verifier不需要重复原始计算，甚至不需要查看程序的输入！

可验证计算改变了我们所依赖的计算基础设施的弹性和经济性。它创造了许多喜闻乐见的新兴用例，如：

zk coprocessors：支持链上应用将其逻辑复杂的部分移到链下，以降低gas开销。
区块链基础设施，包括在与Optimism合作。

当前RISC Zero技术栈有：

Bonsai：proving服务，为软件开发栈，支持链上（即通过智能合约）和链下应用向RISC Zero zkVM请求和接收proofs。
RISC Zero zkVM：为可证明任意代码正确执行的高性能工具。
RISC Zero Proof System：为RISC Zero zkVM底层的密码学技术。

2. Bonsai

Bonsai发布于2023年，为支持链上和链下应用向RISC Zero zkVM请求和接收proofs的proving服务。

Bonsai为：

通用ZK证明服务，支持任意链、任意协议、任意应用使用ZK proofs的优势。其高度并行、可编程，并性能优良。
支持将ZK proofs直接集成到任意智能合约中，而不需要定制电路。
支持将ZK直接集成到任意EVM链的dApps
具备支持任意其它生态的潜力。

RISC Zero zkVM是Bonsai的基础，其具备广泛的语言兼容性，当前支持Rust，未来将支持可编译为RISC-V的其它语言，如C++、Go等等。

借助：

递归证明
专门定做的电路compiler
state continuations
证明算法的持续改进

Bonsai将支持为大量应用生成高性能ZK proofs。

在这里插入图片描述
其中RISC Zero团队的Bonsai-ETH Relay作为dApp合约与Bonsai proving服务的中间人。为使用Bonsai ETH Relay，dApp开发者需完成：

1）在链上部署一个智能合约，该智能合约调用RISC Zero的relay合约。
2）将对RISC Zero zkVM编译的程序上传到Bonsai proving服务。

3. RISC Zero zkVM

RISC Zero zkVM首次发布于2022年4月，可证明任意代码的正确执行，支持开发者以成熟编程语言（如Rust和C++）来构建ZK应用。其发布意味着ZK软件开发的重大突破：

RISC Zero zkVM，使得开发者不需要构建电路，也不需要以定制语言来编写ZK应用。

RISC Zero zkVM支持开发者以Rust来构建，并利用Rust生态系统的成熟度，使得开发者可迅速构建有意义的ZK应用，而无需任何数学或密码学背景。

4. RISC Zero Proof System

RISC Zero zkVM执行，会生成一个Receipt，用作特定Session的有效性证明：

pub struct Receipt {
    pub inner: InnerReceipt,
    pub journal: Vec<u8>, //包含该Session的公开输出。
    //journal的内容通过在guest代码中调用`env::commit()`和`env::commit_slice()`来指定。
}
pub struct Session {
    pub segments: Vec<Box<dyn SegmentRef>>, //The constituent Segments of the Session
    pub journal: Vec<u8>, //The data publicly committed by the guest program.
    pub exit_code: ExitCode, //The ExitCode of the session.
    pub hooks: Vec<Box<dyn SessionEvents>>, //The hooks to be called during the proving phase.
}

为确认该Receipt是诚实生成的，可使用Receipt::verify，并将所执行代码的ImageID作为参数，进行验证。

pub fn verify(
    &self,
    image_id: impl Into<Digest>
) -> Result<(), VerificationError>

此外，receipt对该程序的执行做了一些claims，具体见ReceiptMetadata：

pub struct ReceiptMetadata {
    pub pre: SystemState, //The SystemState of a segment just before execution has begun.
    pub post: SystemState, //The SystemState of a segment just after execution has completed.
    pub exit_code: ExitCode, //The exit code for a segment
    pub input: Digest, //A Digest of the input, from the viewpoint of the guest.
    pub output: Digest, //A Digest of the journal, from the viewpoint of the guest.
}

Receipt主要有2种形式：

可表示为一组SegmentReciepts，每个SegmentReceipt证明单个Segment。所有SegmentReceipts证明整个Session。
可表示为单个SuccinctReceipt，以证明整个session的有效性。借助递归证明，任意数量的SegmentReceipts都可压缩为单个SuccinctReceipt。

pub struct SegmentReceipts(pub Vec<SegmentReceipt>);
pub struct SegmentReceipt {
    pub seal: Vec<u32>,
    pub index: u32,
    pub hashfn: String,
}

pub struct SuccinctReceipt {
    pub seal: Vec<u32>,
    pub control_id: Digest,
    pub meta: ReceiptMetadata,
}