Struct snarkvm_curves::bw6_761::FqParameters

pub struct FqParameters;

Trait Implementations

impl FftParameters for FqParameters

const TWO_ADICITY: u32

(MODULUS - 1) % 2^TWO_ADICITY == 0

const TWO_ADIC_ROOT_OF_UNITY: BigInteger

least_quadratic_nonresidue(MODULUS) in Sage.

type BigInteger = BigInteger

const SMALL_SUBGROUP_BASE: Option<u32>

An integer b such that there exists a multiplicative subgroup of size b^k for some integer k.

const SMALL_SUBGROUP_BASE_ADICITY: Option<u32>

The integer k such that there exists a multiplicative subgroup of size Self::SMALL_SUBGROUP_BASE^k.

const LARGE_SUBGROUP_ROOT_OF_UNITY: Option<Self::BigInteger>

GENERATOR^((MODULUS-1) / (2^s * SMALL_SUBGROUP_BASE^SMALL_SUBGROUP_BASE_ADICITY)) Used for mixed-radix FFT.

impl FieldParameters for FqParameters

const GENERATOR: BigInteger

GENERATOR = 2 primitive_root(MODULUS)

const INV: u64

(-1/MODULUS) % 2^64

const MODULUS: BigInteger

MODULUS = 6891450384315732539396789682275657542479668912536150109513790160209623422243491736087683183289411687640864567753786613451161759120554247759349511699125301598951605099378508850372543631423596795951899700429969112842764913119068299

const MODULUS_MINUS_ONE_DIV_TWO: BigInteger

(MODULUS - 1) / 2

const R: BigInteger

2^768 % MODULUS

const R2: BigInteger

R^2

const REPR_SHAVE_BITS: u32

Gap to 64-bit machine word

const T: BigInteger

T = 3445725192157866269698394841137828771239834456268075054756895080104811711121745868043841591644705843820432283876893306725580879560277123879674755849562650799475802549689254425186271815711798397975949850214984556421382456559534149 (MODULUS - 1) / 2 ^ TWO_ADICITY

const T_MINUS_ONE_DIV_TWO: BigInteger

(T - 1)/2 = 1722862596078933134849197420568914385619917228134037527378447540052405855560872934021920795822352921910216141938446653362790439780138561939837377924781325399737901274844627212593135907855899198987974925107492278210691228279767074

const CAPACITY: u32

The number of bits that can be reliably stored. (Should equal SELF::MODULUS_BITS - 1)

const MODULUS_BITS: u32

The number of bits needed to represent the Self::MODULUS.

impl PoseidonDefaultParameters for FqParameters

const PARAMS_OPT_FOR_CONSTRAINTS: [PoseidonDefaultParametersEntry; 7]

An array of the parameters optimized for constraints (rate, alpha, full_rounds, partial_rounds, skip_matrices) for rate = 2, 3, 4, 5, 6, 7, 8

const PARAMS_OPT_FOR_WEIGHTS: [PoseidonDefaultParametersEntry; 7]

An array of the parameters optimized for weights (rate, alpha, full_rounds, partial_rounds, skip_matrices) for rate = 2, 3, 4, 5, 6, 7, 8

impl Fp768Parameters for FqParameters