New paper! We show how to build a zkVM from GKR prover.