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