Crate openvm_algebra_guest
Source pub use field::Field;
pub use openvm_algebra_complex_macros as complex_macros;
pub use openvm_algebra_moduli_macros as moduli_macros;
- field
- Field traits
- 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
.
- COMPLEX_EXT_FIELD_FUNCT3
- MODULAR_ARITHMETIC_FUNCT3
- OPCODE
- This is custom-1 defined in RISC-V spec document
- 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