RISC-Zero

STARK ベースの RISC-V 用 zkVM

Reference

• https://dev.risczero.com/proof-system-in-detail.pdf

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