EcStateImpl

Fully qualified path: core::ec::EcStateImpl

pub impl EcStateImpl of EcStateTrait

Impl functions

init

Initializes an EC computation with the zero point.

Fully qualified path: core::ec::EcStateImpl::init

fn init() -> EcState nopanic

add

Adds a point to the computation.

Fully qualified path: core::ec::EcStateImpl::add

fn add(ref self: EcState, p: NonZeroEcPoint) nopanic

sub

Subs a point to the computation.

Fully qualified path: core::ec::EcStateImpl::sub

fn sub(ref self: EcState, p: NonZeroEcPoint)

add_mul

Adds the product p * scalar to the state.

Fully qualified path: core::ec::EcStateImpl::add_mul

fn add_mul(ref self: EcState, scalar: felt252, p: NonZeroEcPoint) nopanic

finalize_nz

Finalizes the EC computation and returns the result (returns None if the result is the zero point).

Fully qualified path: core::ec::EcStateImpl::finalize_nz

fn finalize_nz(self: EcState) -> Option<NonZeroEcPoint> nopanic

finalize

Finalizes the EC computation and returns the result.

Fully qualified path: core::ec::EcStateImpl::finalize

fn finalize(self: EcState) -> EcPoint