Risc zero ZKVM：zk-STARKs + RISC-V

1. 引言

Risc zero定位为：

• The General Purpose Zero-Knowledge VM.
• Prove any Computation.
• Verify Instantly.

开源代码见：

• https://github.com/risc0/risc0

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.

参考资料

[1] https://www.risczero.com/