openvm_sdk::fs

Function write_evm_halo2_verifier_to_folder

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

Writes three Solidity contracts into the following folder structure:

halo2/
├── interfaces/
│   └── IOpenVmHalo2Verifier.sol
├── OpenVmHalo2Verifier.sol
└── Halo2Verifier.sol

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