1. 引言
Risc zero定位为:
- The General Purpose Zero-Knowledge VM.
- Prove any Computation.
- Verify Instantly.
开源代码见:
The RISC Zero ZKVM is a verifiable computer that works like a real embedded RISC-V microprocessor,支持以Rust/C++等任何能编译为RISC-V的语言来编写ZK proofs。
https://github.com/risc0/battleship-example 为在NEAR链上实现的 2-player hidden information 游戏。Players produce proofs of game-state and the result of their actions to enable two players to play fairly with no intermediaries.