Module evm 

Traits

EvmKzgAccumulationScheme

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

gen_evm_verifier_sol_code

write_calldata