Module fs 

Constants

EVM_HALO2_VERIFIER_BASE_NAME

EVM_HALO2_VERIFIER_INTERFACE_NAME

EVM_HALO2_VERIFIER_PARENT_NAME

EVM_VERIFIER_ARTIFACT_FILENAME

Functions

decode_from_file

encode_to_file

read_evm_halo2_verifier_from_folder

Reads the EVM halo2 verifier written by write_evm_halo2_verifier_to_folder. If version_dir is Some, it replaces the default v[OPENVM_VERSION] directory name.

read_from_file_bytes

read_from_file_json

read_halo2_pk_from_file

Reads a Halo2ProvingKey written by write_halo2_pk_to_file.

read_object_from_file

write_evm_halo2_verifier_to_folder

Writes three Solidity contracts into the following folder structure:

write_halo2_pk_to_file

Writes a Halo2ProvingKey to path in the streaming Halo2 pk format.

write_object_to_file

write_to_file_bytes

write_to_file_json