RISC Zero 主要構(gòu)建 一個通用計算的零知識證明虛擬機zkVM,以證明任意計算唁影,并即時驗證溅固。
代碼完全開源
支持Rust開發(fā)零知識證明,可支持任何編譯成RISC-V的程序語言
RISC Zero 類似于一個真實的嵌入式RISC-V 微處理器
RISC Zero 的產(chǎn)品主要有:
zkVM: 允許用戶證明任意Rust代碼的正確執(zhí)行象踊;
Bonsai: 支部上心化的證明引擎温亲,允許開發(fā)者將ZK證明整合他們的應用中。
參考
https://docs.rs/risc0-zkvm/latest/risc0_zkvm/