Essa página aqui mostra exelentes exemplos do que pode ser feito HOJE com essa tecnologia. Vou dar um exemplo. Vc pode me provar que sabe fazer um checkmate em uma partida de xadrez, sem mostrar as jogadas.
https://dev.risczero.com/api/zkvm/examples