Struct blsttc::poly::Poly

pub struct Poly { /* fields omitted */ }

A univariate polynomial in the prime field.

Implementations

impl Poly

pub fn random<R: Rng>(degree: usize, rng: &mut R) -> Self

Creates a random polynomial.

Panics

Panics if the degree is too large for the coefficients to fit into a Vec.

pub fn try_random<R: Rng>(degree: usize, rng: &mut R) -> Result<Self>

Creates a random polynomial. This constructor is identical to the Poly::random() constructor in every way except that this constructor will return an Err where try_random would return an error.

pub fn zero() -> Self

Returns the polynomial with constant value 0.

pub fn is_zero(&self) -> bool

Returns true if the polynomial is the constant value 0.

pub fn one() -> Self

Returns the polynomial with constant value 1.

pub fn constant(c: Fr) -> Self

Returns the polynomial with constant value c.

pub fn identity() -> Self

Returns the identity function, i.e. the polynomial “x”.

pub fn monomial(degree: usize) -> Self

Returns the (monic) monomial: x.pow(degree).

pub fn interpolate<T, U, I>(samples_repr: I) -> Self where
    I: IntoIterator<Item = (T, U)>,
    T: IntoFr,
    U: IntoFr, 

Returns the unique polynomial f of degree samples.len() - 1 with the given values (x, f(x)).

pub fn degree(&self) -> usize

Returns the degree.

pub fn evaluate<T: IntoFr>(&self, i: T) -> Fr

Returns the value at the point i.

pub fn commitment(&self) -> Commitment

Returns the corresponding commitment.

pub fn reveal(&self) -> String

Generates a non-redacted debug string. This method differs from the Debug implementation in that it does leak the secret prime field elements.

Trait Implementations

impl<'a, B: Borrow<Poly>> Add<B> for &'a Poly

type Output = Poly

The resulting type after applying the + operator.

fn add(self, rhs: B) -> Poly

Performs the + operation.

impl<B: Borrow<Poly>> Add<B> for Poly

type Output = Poly

The resulting type after applying the + operator.

fn add(self, rhs: B) -> Poly

Performs the + operation.

impl<'a> Add<Fr> for Poly

type Output = Poly

The resulting type after applying the + operator.

fn add(self, rhs: Fr) -> Self::Output

Performs the + operation.

impl<'a> Add<u64> for Poly

type Output = Poly

The resulting type after applying the + operator.

fn add(self, rhs: u64) -> Self::Output

Performs the + operation.

impl<B: Borrow<Poly>> AddAssign<B> for Poly

fn add_assign(&mut self, rhs: B)

Performs the += operation.

impl Clone for Poly

fn clone(&self) -> Poly

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Poly

A debug statement where the coeff vector of prime field elements has been redacted.

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Poly

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Drop for Poly

fn drop(&mut self)

Executes the destructor for this type.

impl From<Poly> for SecretKeySet

fn from(poly: Poly) -> SecretKeySet

Performs the conversion.

impl From<Vec<Fr, Global>> for Poly

Creates a new Poly instance from a vector of prime field elements representing the coefficients of the polynomial.

fn from(coeff: Vec<Fr>) -> Self

Performs the conversion.

impl<'a> Mul<&'a Fr> for Poly

type Output = Poly

The resulting type after applying the * operator.

fn mul(self, rhs: &Fr) -> Self::Output

Performs the * operation.

impl<'a> Mul<&'a Fr> for &'a Poly

type Output = Poly

The resulting type after applying the * operator.

fn mul(self, rhs: &Fr) -> Self::Output

Performs the * operation.

impl<'a, B: Borrow<Poly>> Mul<B> for &'a Poly

type Output = Poly

The resulting type after applying the * operator.

fn mul(self, rhs: B) -> Self::Output

Performs the * operation.

impl<B: Borrow<Poly>> Mul<B> for Poly

type Output = Poly

The resulting type after applying the * operator.

fn mul(self, rhs: B) -> Self::Output

Performs the * operation.

impl Mul<Fr> for Poly

type Output = Poly

The resulting type after applying the * operator.

fn mul(self, rhs: Fr) -> Self::Output

Performs the * operation.

impl<'a> Mul<Fr> for &'a Poly

type Output = Poly

The resulting type after applying the * operator.

fn mul(self, rhs: Fr) -> Self::Output

Performs the * operation.

impl Mul<u64> for Poly

type Output = Poly

The resulting type after applying the * operator.

fn mul(self, rhs: u64) -> Self::Output

Performs the * operation.

impl<B: Borrow<Self>> MulAssign<B> for Poly

fn mul_assign(&mut self, rhs: B)

Performs the *= operation.

impl MulAssign<Fr> for Poly

fn mul_assign(&mut self, rhs: Fr)

Performs the *= operation.

impl PartialEq<Poly> for Poly

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Serialize for Poly

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl<'a, B: Borrow<Poly>> Sub<B> for &'a Poly

type Output = Poly

The resulting type after applying the - operator.

fn sub(self, rhs: B) -> Poly

Performs the - operation.

impl<B: Borrow<Poly>> Sub<B> for Poly

type Output = Poly

The resulting type after applying the - operator.

fn sub(self, rhs: B) -> Poly

Performs the - operation.

impl<'a> Sub<Fr> for Poly

type Output = Poly

The resulting type after applying the - operator.

fn sub(self, rhs: Fr) -> Self::Output

Performs the - operation.

impl<'a> Sub<u64> for Poly

type Output = Poly

The resulting type after applying the - operator.

fn sub(self, rhs: u64) -> Self::Output

Performs the - operation.

impl<B: Borrow<Poly>> SubAssign<B> for Poly

fn sub_assign(&mut self, rhs: B)

Performs the -= operation.

impl Zeroize for Poly

fn zeroize(&mut self)

Zero out this object from memory using Rust intrinsics which ensure the zeroization operation is not “optimized away” by the compiler.

impl Eq for Poly

impl StructuralEq for Poly

impl StructuralPartialEq for Poly