Struct EvmLoader

pub struct EvmLoader { /* private fields */ }

Loader implementation for generating yul code as EVM verifier.

Implementations

impl EvmLoader

pub fn new<Base, Scalar>() -> Rc<Self>

where Base: PrimeField<Repr = [u8; 32]>, Scalar: PrimeField<Repr = [u8; 32]>,

Initialize a EvmLoader with base and scalar field.

pub fn solidity_code(self: &Rc<Self>) -> String

Returns generated Solidity code. This is “Solidity” code that is wrapped in an assembly block. In other words, it’s basically just assembly (equivalently, Yul).

pub fn allocate(self: &Rc<Self>, size: usize) -> usize

Allocates memory chunk with given size and returns pointer.

pub fn calldataload_scalar(self: &Rc<Self>, offset: usize) -> Scalar

Calldata load a field element.

pub fn calldataload_ec_point(self: &Rc<Self>, offset: usize) -> EcPoint

Calldata load an elliptic curve point and validate it’s on affine plane. Note that identity will cause the verification to fail.

pub fn ec_point_from_limbs<const LIMBS: usize, const BITS: usize>( self: &Rc<Self>, x_limbs: [&Scalar; LIMBS], y_limbs: [&Scalar; LIMBS], ) -> EcPoint

Decode an elliptic curve point from limbs.

pub fn keccak256(self: &Rc<Self>, ptr: usize, len: usize) -> usize

Performs KECCAK256 on memory[ptr..ptr+len] and returns pointer of hash.

pub fn copy_scalar(self: &Rc<Self>, scalar: &Scalar, ptr: usize)

Copies a field element into given ptr.

pub fn dup_scalar(self: &Rc<Self>, scalar: &Scalar) -> Scalar

Allocates a new field element and copies the given value into it.

pub fn dup_ec_point(self: &Rc<Self>, value: &EcPoint) -> EcPoint

Allocates a new elliptic curve point and copies the given value into it.

pub fn pairing( self: &Rc<Self>, lhs: &EcPoint, g2: (U256, U256, U256, U256), rhs: &EcPoint, minus_s_g2: (U256, U256, U256, U256), )

Performs pairing.

Trait Implementations

impl Clone for EvmLoader

fn clone(&self) -> EvmLoader

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for EvmLoader

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.