pub fn read_root_verifier_input_from_file<P: AsRef<Path>>( path: P, ) -> Result<RootVmVerifierInput<SC>>