Struct MultiEmulationParams 

pub struct MultiEmulationParams {}

MultiEmulationParams.

Trait Implementations

impl Clone for MultiEmulationParams

fn clone(&self) -> MultiEmulationParams

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MultiEmulationParams

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for MultiEmulationParams

fn default() -> MultiEmulationParams

Returns the “default value” for a type.

impl Eq for MultiEmulationParams

impl FieldEmulationParams<Fq, FieldElement> for MultiEmulationParams

Secp256r1’s Base field over BLS12-381’s Scalar field.

const LOG2_BASE: u32 = 64

The logarithm in base 2 (bit length) of the base in which we represent integers modulo the emulated modulus. The actual base is 2 powered to this constant.

const NB_LIMBS: u32 = 4

The number of limbs used to represent a emulated field element. It must hold base^NB_LIMBS >= emulated_modulus.

const RC_LIMB_SIZE: u32 = 17

Log2 of the limb size of range-checks. This value is different and independent of base, the size of ModArith limbs.

fn moduli() -> Vec<BigInt>

Auxiliary moduli used in the identities. They should be as large as possible, to maximize their contribution to the lcm bound. On the other hand, they cannot be excessively large, in order to guarantee no wrap-around (modulo the native modulus) in the equations.

fn base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The i-th element must be congruent to base^i modulo the emulated modulus.

fn double_base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The (i * nb_limbs + j)-th element must be congruent to base^(i+j) modulo the emulated modulus.

fn max_limb_bound() -> BI

A bound on the maximum size of the absolute value of limb bounds for non-well-formed emulated field elements. If such bound is exceeded, the normalization function can no longer be applied. We set this value to be base^2 by default. This value is guaranteed to be supported with the same moduli as those used for the multiplication gate. Another good choice for this value would be the largest possible value that allows us to implement the normalization gate with only one extra auxiliary modulus.

impl FieldEmulationParams<Fq, Fp> for MultiEmulationParams

Secp256k1’s Base field over BLS12-381’s Scalar field.

const LOG2_BASE: u32 = 64

The logarithm in base 2 (bit length) of the base in which we represent integers modulo the emulated modulus. The actual base is 2 powered to this constant.

const NB_LIMBS: u32 = 4

The number of limbs used to represent a emulated field element. It must hold base^NB_LIMBS >= emulated_modulus.

const RC_LIMB_SIZE: u32 = 16

Log2 of the limb size of range-checks. This value is different and independent of base, the size of ModArith limbs.

fn moduli() -> Vec<BigInt>

Auxiliary moduli used in the identities. They should be as large as possible, to maximize their contribution to the lcm bound. On the other hand, they cannot be excessively large, in order to guarantee no wrap-around (modulo the native modulus) in the equations.

fn base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The i-th element must be congruent to base^i modulo the emulated modulus.

fn double_base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The (i * nb_limbs + j)-th element must be congruent to base^(i+j) modulo the emulated modulus.

fn max_limb_bound() -> BI

A bound on the maximum size of the absolute value of limb bounds for non-well-formed emulated field elements. If such bound is exceeded, the normalization function can no longer be applied. We set this value to be base^2 by default. This value is guaranteed to be supported with the same moduli as those used for the multiplication gate. Another good choice for this value would be the largest possible value that allows us to implement the normalization gate with only one extra auxiliary modulus.

impl FieldEmulationParams<Fq, Fp> for MultiEmulationParams

BLS12-381’s Base field over BLS12-381’s Scalar field.

const LOG2_BASE: u32 = 56

The logarithm in base 2 (bit length) of the base in which we represent integers modulo the emulated modulus. The actual base is 2 powered to this constant.

const NB_LIMBS: u32 = 7

The number of limbs used to represent a emulated field element. It must hold base^NB_LIMBS >= emulated_modulus.

const RC_LIMB_SIZE: u32 = 15

Log2 of the limb size of range-checks. This value is different and independent of base, the size of ModArith limbs.

fn moduli() -> Vec<BigInt>

Auxiliary moduli used in the identities. They should be as large as possible, to maximize their contribution to the lcm bound. On the other hand, they cannot be excessively large, in order to guarantee no wrap-around (modulo the native modulus) in the equations.

fn base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The i-th element must be congruent to base^i modulo the emulated modulus.

fn double_base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The (i * nb_limbs + j)-th element must be congruent to base^(i+j) modulo the emulated modulus.

fn max_limb_bound() -> BI

A bound on the maximum size of the absolute value of limb bounds for non-well-formed emulated field elements. If such bound is exceeded, the normalization function can no longer be applied. We set this value to be base^2 by default. This value is guaranteed to be supported with the same moduli as those used for the multiplication gate. Another good choice for this value would be the largest possible value that allows us to implement the normalization gate with only one extra auxiliary modulus.

impl FieldEmulationParams<Fq, Fp> for MultiEmulationParams

Curve25519’s Base field over BLS12-381’s Scalar field.

const LOG2_BASE: u32 = 64

The logarithm in base 2 (bit length) of the base in which we represent integers modulo the emulated modulus. The actual base is 2 powered to this constant.

const NB_LIMBS: u32 = 4

The number of limbs used to represent a emulated field element. It must hold base^NB_LIMBS >= emulated_modulus.

const RC_LIMB_SIZE: u32 = 16

Log2 of the limb size of range-checks. This value is different and independent of base, the size of ModArith limbs.

fn moduli() -> Vec<BigInt>

Auxiliary moduli used in the identities. They should be as large as possible, to maximize their contribution to the lcm bound. On the other hand, they cannot be excessively large, in order to guarantee no wrap-around (modulo the native modulus) in the equations.

fn base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The i-th element must be congruent to base^i modulo the emulated modulus.

fn double_base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The (i * nb_limbs + j)-th element must be congruent to base^(i+j) modulo the emulated modulus.

fn max_limb_bound() -> BI

A bound on the maximum size of the absolute value of limb bounds for non-well-formed emulated field elements. If such bound is exceeded, the normalization function can no longer be applied. We set this value to be base^2 by default. This value is guaranteed to be supported with the same moduli as those used for the multiplication gate. Another good choice for this value would be the largest possible value that allows us to implement the normalization gate with only one extra auxiliary modulus.

impl FieldEmulationParams<Fq, Fq> for MultiEmulationParams

BLS12-381’s Scalar field over BLS12-381’s Scalar field.

const LOG2_BASE: u32 = 52

The logarithm in base 2 (bit length) of the base in which we represent integers modulo the emulated modulus. The actual base is 2 powered to this constant.

const NB_LIMBS: u32 = 5

The number of limbs used to represent a emulated field element. It must hold base^NB_LIMBS >= emulated_modulus.

const RC_LIMB_SIZE: u32 = 14

Log2 of the limb size of range-checks. This value is different and independent of base, the size of ModArith limbs.

fn moduli() -> Vec<BigInt>

Auxiliary moduli used in the identities. They should be as large as possible, to maximize their contribution to the lcm bound. On the other hand, they cannot be excessively large, in order to guarantee no wrap-around (modulo the native modulus) in the equations.

fn base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The i-th element must be congruent to base^i modulo the emulated modulus.

fn double_base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The (i * nb_limbs + j)-th element must be congruent to base^(i+j) modulo the emulated modulus.

fn max_limb_bound() -> BI

A bound on the maximum size of the absolute value of limb bounds for non-well-formed emulated field elements. If such bound is exceeded, the normalization function can no longer be applied. We set this value to be base^2 by default. This value is guaranteed to be supported with the same moduli as those used for the multiplication gate. Another good choice for this value would be the largest possible value that allows us to implement the normalization gate with only one extra auxiliary modulus.

impl FieldEmulationParams<Fq, Scalar> for MultiEmulationParams

Secp256k1’s Scalar field over BLS12-381’s Scalar field.

const LOG2_BASE: u32 = 64

The logarithm in base 2 (bit length) of the base in which we represent integers modulo the emulated modulus. The actual base is 2 powered to this constant.

const NB_LIMBS: u32 = 4

The number of limbs used to represent a emulated field element. It must hold base^NB_LIMBS >= emulated_modulus.

const RC_LIMB_SIZE: u32 = 17

Log2 of the limb size of range-checks. This value is different and independent of base, the size of ModArith limbs.

fn moduli() -> Vec<BigInt>

Auxiliary moduli used in the identities. They should be as large as possible, to maximize their contribution to the lcm bound. On the other hand, they cannot be excessively large, in order to guarantee no wrap-around (modulo the native modulus) in the equations.

fn base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The i-th element must be congruent to base^i modulo the emulated modulus.

fn double_base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The (i * nb_limbs + j)-th element must be congruent to base^(i+j) modulo the emulated modulus.

fn max_limb_bound() -> BI

A bound on the maximum size of the absolute value of limb bounds for non-well-formed emulated field elements. If such bound is exceeded, the normalization function can no longer be applied. We set this value to be base^2 by default. This value is guaranteed to be supported with the same moduli as those used for the multiplication gate. Another good choice for this value would be the largest possible value that allows us to implement the normalization gate with only one extra auxiliary modulus.

impl FieldEmulationParams<Fq, Scalar> for MultiEmulationParams

Secp256r1’s Scalar field over BLS12-381’s Scalar field.

const LOG2_BASE: u32 = 64

The logarithm in base 2 (bit length) of the base in which we represent integers modulo the emulated modulus. The actual base is 2 powered to this constant.

const NB_LIMBS: u32 = 4

The number of limbs used to represent a emulated field element. It must hold base^NB_LIMBS >= emulated_modulus.

const RC_LIMB_SIZE: u32 = 17

Log2 of the limb size of range-checks. This value is different and independent of base, the size of ModArith limbs.

fn moduli() -> Vec<BigInt>

Auxiliary moduli used in the identities. They should be as large as possible, to maximize their contribution to the lcm bound. On the other hand, they cannot be excessively large, in order to guarantee no wrap-around (modulo the native modulus) in the equations.

fn base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The i-th element must be congruent to base^i modulo the emulated modulus.

fn double_base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The (i * nb_limbs + j)-th element must be congruent to base^(i+j) modulo the emulated modulus.

fn max_limb_bound() -> BI

A bound on the maximum size of the absolute value of limb bounds for non-well-formed emulated field elements. If such bound is exceeded, the normalization function can no longer be applied. We set this value to be base^2 by default. This value is guaranteed to be supported with the same moduli as those used for the multiplication gate. Another good choice for this value would be the largest possible value that allows us to implement the normalization gate with only one extra auxiliary modulus.

impl FieldEmulationParams<Fq, Scalar> for MultiEmulationParams

Curve25519’s Scalar field over BLS12-381’s Scalar field.

const LOG2_BASE: u32 = 51

The logarithm in base 2 (bit length) of the base in which we represent integers modulo the emulated modulus. The actual base is 2 powered to this constant.

const NB_LIMBS: u32 = 5

The number of limbs used to represent a emulated field element. It must hold base^NB_LIMBS >= emulated_modulus.

const RC_LIMB_SIZE: u32 = 17

Log2 of the limb size of range-checks. This value is different and independent of base, the size of ModArith limbs.

fn moduli() -> Vec<BigInt>

Auxiliary moduli used in the identities. They should be as large as possible, to maximize their contribution to the lcm bound. On the other hand, they cannot be excessively large, in order to guarantee no wrap-around (modulo the native modulus) in the equations.

fn base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The i-th element must be congruent to base^i modulo the emulated modulus.

fn double_base_powers() -> Vec<BI>

Vector of powers of the base, used for the foreign-field identities. The (i * nb_limbs + j)-th element must be congruent to base^(i+j) modulo the emulated modulus.

fn max_limb_bound() -> BI

A bound on the maximum size of the absolute value of limb bounds for non-well-formed emulated field elements. If such bound is exceeded, the normalization function can no longer be applied. We set this value to be base^2 by default. This value is guaranteed to be supported with the same moduli as those used for the multiplication gate. Another good choice for this value would be the largest possible value that allows us to implement the normalization gate with only one extra auxiliary modulus.

impl PartialEq for MultiEmulationParams

fn eq(&self, other: &MultiEmulationParams) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for MultiEmulationParams