Function write_evm_halo2_verifier_to_folder 

pub fn write_evm_halo2_verifier_to_folder<P: AsRef<Path>>(
    verifier: EvmHalo2Verifier,
    folder: P,
) -> Result<()>

Writes three Solidity contracts into the following folder structure:

halo2/
└── src/
    └── v[OPENVM_VERSION]/
        ├── interfaces/
        │   └── IOpenVmHalo2Verifier.sol
        ├── OpenVmHalo2Verifier.sol
        └── Halo2Verifier.sol

If the relevant directories do not exist, they will be created.