Trait kimchi::circuits::polynomials::foreign_field_common::BigUintForeignFieldHelpers

pub trait BigUintForeignFieldHelpers {
    // Required methods
    fn two() -> Self;
    fn two_to_limb() -> Self;
    fn two_to_2limb() -> Self;
    fn binary_modulus() -> Self;
    fn max_foreign_field_modulus<F: PrimeField>() -> Self;
    fn to_limbs(&self) -> [BigUint; 3];
    fn to_compact_limbs(&self) -> [BigUint; 2];
    fn to_field_limbs<F: Field>(&self) -> [F; 3];
    fn to_compact_field_limbs<F: Field>(&self) -> [F; 2];
    fn negate(&self) -> BigUint;
}

Foreign field helpers

Required Methods

fn two() -> Self

2

fn two_to_limb() -> Self

2^{LIMB_BITS}

fn two_to_2limb() -> Self

2^{2 * LIMB_BITS}

fn binary_modulus() -> Self

2^t

fn max_foreign_field_modulus<F: PrimeField>() -> Self

2^259 (see foreign field multiplication RFC)

fn to_limbs(&self) -> [BigUint; 3]

Convert to 3 limbs of LIMB_BITS each

fn to_compact_limbs(&self) -> [BigUint; 2]

Convert to 2 limbs of 2 * LIMB_BITS each. The compressed term is the bottom part

fn to_field_limbs<F: Field>(&self) -> [F; 3]

Convert to 3 PrimeField limbs of LIMB_BITS each

fn to_compact_field_limbs<F: Field>(&self) -> [F; 2]

Convert to 2 PrimeField limbs of 2 * LIMB_BITS each. The compressed term is the bottom part.

fn negate(&self) -> BigUint

Negate: 2^T - self

Implementations on Foreign Types

impl BigUintForeignFieldHelpers for BigUint

fn two() -> Self

fn two_to_limb() -> Self

fn two_to_2limb() -> Self

fn binary_modulus() -> Self

fn max_foreign_field_modulus<F: PrimeField>() -> Self

fn to_limbs(&self) -> [Self; 3]

fn to_compact_limbs(&self) -> [Self; 2]

fn to_field_limbs<F: Field>(&self) -> [F; 3]

fn to_compact_field_limbs<F: Field>(&self) -> [F; 2]

fn negate(&self) -> BigUint

Implementors