EcStateTrait

Fully qualified path: core::ec::EcStateTrait

pub trait EcStateTrait

Trait functions

init

Initializes an EC computation with the zero point. # Examples

let mut state = EcStateTrait::init();

Fully qualified path: core::ec::EcStateTrait::init

fn init() -> EcState nopanic

add

Adds a point to the computation. # Argumentsp - The non-zero point to add

Fully qualified path: core::ec::EcStateTrait::add

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

sub

Subtracts a point to the computation. # Argumentsp - The non-zero point to subtract

Fully qualified path: core::ec::EcStateTrait::sub

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

add_mul

Adds the product p * scalar to the state. # Argumentsscalar - The scalar to multiply the point by * p - The non-zero point to multiply and add

Fully qualified path: core::ec::EcStateTrait::add_mul

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

Finalizes the EC computation and returns the result as a non-zero point. # ReturnsOption<NonZeroEcPoint> - The resulting point, or None if the result is the zero point # PanicsPanics if the result is the point at infinity.

Fully qualified path: core::ec::EcStateTrait::finalize_nz

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

finalize

Finalizes the EC computation and returns the result.Returns the zero point if the computation results in the point at infinity.

Fully qualified path: core::ec::EcStateTrait::finalize

fn finalize(self: EcState) -> EcPoint

core - Cairo