root_prover index