Crate openvm_algebra_guest

Source

Re-exports§

pub use field::Field;
pub use openvm_algebra_complex_macros as complex_macros;
pub use openvm_algebra_moduli_macros as moduli_macros;

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