Struct GfaCore

pub struct GfaCore { /* private fields */ }

An extension of AluVM core for the GFA256 ISA.

Implementations

impl GfaCore

Microcode for finite field arithmetics.

pub fn fq(&self) -> u256

Get value of the field order register (FQ).

pub fn test(&self, src: RegE) -> Status

Test whether the register has a value, returning a status.

Register modification

No registers are modified, including CK and CO.

pub fn fits(&self, src: RegE, bits: Bits) -> Option<bool>

Check whether a register value fits the provided number of bits.

Returns

None, if the register contains no value. Otherwise, a boolean value indicating the test result.

Register modification

No registers are modified, including CK and CO.

pub fn mov(&mut self, dst: RegE, src: RegE)

Move a value from the src to dst register.

The value of the src register is not changed.

If the src register does not have a value, sets dst to None, clearing any previous value in it.

pub fn eqv(&mut self, src1: RegE, src2: RegE) -> Status

Checks the equivalence of values in src1 and src2.

If both registers do not have a value, returns Status::Fail.

pub fn add_mod(&mut self, dst_src: RegE, src: RegE) -> Status

Add a value from the src register to dst_src value, storing the result back in dst_src.

Overflow is handled according to finite field arithmetics, by doing a modulo-division. The fact of the overflow cannot be determined in order to keep the implementation compatible with zk-STARK and zk-SNARK circuits and arithmetizations.

Returns

If any of src or dst_src registers do not have a value, returns Status::Fail. Otherwise, returns success.

pub fn mul_mod(&mut self, dst_src: RegE, src: RegE) -> Status

Multiply a value from the src register to dst_src value, storing the result back in dst_src.

Overflow is handled according to finite field arithmetics, by doing a modulo-division. The fact of the overflow cannot be determined in order to keep the implementation compatible with zk-STARK and zk-SNARK circuits and arithmetizations.

Returns

If any of src or dst_src registers do not have a value, returns Status::Fail. Otherwise, returns success.

pub fn neg_mod(&mut self, dst_src: RegE, src: RegE) -> Status

Negate a value in the dst_src register by subtracting it from the field order, stored in FQ register.

Returns

If the dst_src register does not have a value, returns Status::Fail. Otherwise, returns success.

Trait Implementations

impl Clone for GfaCore

fn clone(&self) -> GfaCore

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CoreExt for GfaCore

type Reg = RegE

A type of registers provided by the ISA.

type Config = GfaConfig

A configuration used in initializing the core extension.

fn with(config: <GfaCore as CoreExt>::Config) -> GfaCore

Constructs the core extensions to be added to AluVM core.

fn get(&self, reg: <GfaCore as CoreExt>::Reg) -> Option<fe256>

Read the value of a register.

fn clr(&mut self, reg: <GfaCore as CoreExt>::Reg)

Clear the register by setting it to None.

fn put(&mut self, reg: <GfaCore as CoreExt>::Reg, val: Option<fe256>)

Put either a value or None to the register.

fn reset(&mut self)

Reset the core extension by setting all the registers to None.

fn set(&mut self, reg: Self::Reg, val: <Self::Reg as Register>::Value)

Set the register to the provided value.

impl Debug for GfaCore

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

Formats the value using the given formatter.

impl PartialEq for GfaCore

fn eq(&self, other: &GfaCore) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Supercore<GfaCore> for UsonicCore

fn subcore(&self) -> GfaCore

An ISA extension subcore.

fn merge_subcore(&mut self, subcore: GfaCore)

Merge the values generated in the subcore ISA extension with the main core.

impl Supercore<NoExt> for GfaCore

fn subcore(&self) -> NoExt

An ISA extension subcore.

fn merge_subcore(&mut self, _subcore: NoExt)

Merge the values generated in the subcore ISA extension with the main core.

impl Copy for GfaCore

impl Eq for GfaCore

impl StructuralPartialEq for GfaCore