RiscZero
ゼロ知識証明を利用したプロダクトを出している会社
Bonsai
zkVM