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;

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