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.