Crate openvm_algebra_guest

Source

Re-exports§

  • pub use field::Field;
  • pub use openvm_algebra_moduli_setup as moduli_setup;

Modules§

Enums§

  • Complex extension field is configurable. The funct7 field equals fp2_idx * COMPLEX_EXT_FIELD_MAX_KINDS + base_funct7.
  • Modular arithmetic is configurable. The funct7 field equals mod_idx * MODULAR_ARITHMETIC_MAX_KINDS + base_funct7.

Constants§

Traits§

  • The big array serialization helper trait
  • Division assignment operation that is undefined behavior when the denominator is not invertible.
  • Division operation that is undefined behavior when the denominator is not invertible.
  • Trait definition for OpenVM modular integers, where each operation is done modulo MODULUS.