NewExportConfig returns a default ExportConfig with given export options opts applied.

WithHashToFieldFunction changes the hash function used for hashing bytes to field.

WithPragmaVersion changes the pragma version used in the solidity verifier.

WithProverTargetSolidityVerifier returns a prover option that sets all the necessary prover options which are suitable for verifying the proofs in the Solidity verifier.

WithVerifierTargetSolidityVerifier returns a verifier option that sets all the necessary verifier options which are suitable for verifying the proofs targeted for the Solidity verifier.

ExportConfig is the configuration for the prover with the options applied.

VerifyingKey is the interface for verifying keys in the Solidity backend.

ExportOption defines option for altering the behavior of the prover in Prove, ReadAndProve and IsSolved methods.