The RISC Zero zkVM circuit