Module evm

Functions

• encode_calldata
  Encode instances and proof into calldata.
• evm_verify
• gen_evm_proof
  Generates a proof for evm verification using either SHPLONK or GWC proving method. Uses Keccak for Fiat-Shamir.
• gen_evm_proof_gwc
• gen_evm_proof_shplonk
• gen_evm_verifier
• gen_evm_verifier_gwc
• gen_evm_verifier_shplonk
• write_calldata

Trait Aliases

• EvmKzgAccumulationScheme