Crate openvm_algebra_guest 

Re-exports

pub use field::Field;

pub use openvm_algebra_complex_macros as complex_macros;

pub use openvm_algebra_moduli_macros as moduli_macros;

pub use once_cell;

Modules

field

Field traits

Enums

ComplexExtFieldBaseFunct7

Complex extension field is configurable. The funct7 field equals fp2_idx * COMPLEX_EXT_FIELD_MAX_KINDS + base_funct7.

ModArithBaseFunct7

Modular arithmetic is configurable. The funct7 field equals mod_idx * MODULAR_ARITHMETIC_MAX_KINDS + base_funct7.

Constants

COMPLEX_EXT_FIELD_FUNCT3

MODULAR_ARITHMETIC_FUNCT3

OPCODE

This is custom-1 defined in RISC-V spec document

Traits

BigArray

The big array serialization helper trait

DivAssignUnsafe

Division assignment operation that is undefined behavior when the denominator is not invertible.

DivUnsafe

Division operation that is undefined behavior when the denominator is not invertible.

ExpBytes

IntMod

Trait definition for OpenVM modular integers, where each operation is done modulo MODULUS.

Reduce

Sqrt