Module evm

EVM loader Loader implementation for generating yul code as EVM verifier.

Structs

• EcPoint
  Elliptic curve point.
• EvmLoader
  Loader implementation for generating yul code as EVM verifier.
• Scalar
  Field element.

Functions

• compile_solidity
  Compile given Solidity code into deployment bytecode.
• deploy_and_call
  Deploy contract and then call with calldata. Returns gas_used of call to deployed contract if both transactions are successful.
• encode_calldata
  Encode instances and proof into calldata.
• estimate_gas
  Estimate gas cost with given Cost.
• fe_to_u256
  Convert a PrimeField into a U256. Assuming fields that implement traits in crate ff always have little-endian representation.
• modulus
  Returns modulus of PrimeField as U256.
• u256_to_fe
  Convert a U256 into a PrimeField.

Type Aliases

• Address
  Bits for 160 bits.
• B256
  Bits for 256 bits.
• U256
  Uint for 256 bits.
• U512
  Uint for 512 bits.