Struct dusk_cdf::Polynomial

pub struct Polynomial { /* private fields */ }

PLONK polynomial expression representation with its selectors and witnesses.

Implementations

impl Polynomial

pub const fn new(
    qm: Scalar,
    ql: Scalar,
    qr: Scalar,
    qd: Scalar,
    qc: Scalar,
    qo: Scalar,
    pi: Scalar,
    a: IndexedWitness,
    b: IndexedWitness,
    d: IndexedWitness,
    o: IndexedWitness,
    re: bool
) -> Self

Create a new polynomial

pub const fn is_ok(&self) -> bool

Check if the polynomial evaluation is ok

pub const fn internals(
    &self
) -> (&Scalar, &Scalar, &Scalar, &Scalar, &Scalar, &Scalar, &Scalar, &IndexedWitness, &IndexedWitness, &IndexedWitness, &IndexedWitness, bool)

Fetch the constraint internals

Trait Implementations

impl Clone for Polynomial

fn clone(&self) -> Polynomial

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Polynomial

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

Formats the value using the given formatter.

impl Default for Polynomial

fn default() -> Polynomial

Returns the “default value” for a type.

impl Element for Polynomial

type Config = Config

Configuration for the serialization and deserialization

fn zeroed() -> Self

A zeroed/default instance of the type.

fn len(config: &Self::Config) -> usize

Serializable length

fn to_buffer(
    &self,
    config: &Self::Config,
    context: &mut ContextUnit,
    buf: &mut [u8]
)

Write the type into the buffer.

fn try_from_buffer_in_place<S>(
    &mut self,
    config: &Self::Config,
    context: &mut Context<S>,
    buf: &[u8]
) -> Result<()> where
    S: Read + Seek, 

Deserialize the type from a given buffer

fn validate(&self, preamble: &Preamble) -> Result<()>

Perform the internal validations of the associated element

fn validate_buffer_len(config: &Self::Config, len: usize) -> Result<()>

Assert the buffer is big enough to store the type

fn to_vec(&self, config: &Self::Config, context: &mut ContextUnit) -> Vec<u8>

Serialize the object into a bytes array.

fn try_from_buffer<S>(
    config: &Self::Config,
    context: &mut Context<S>,
    buf: &[u8]
) -> Result<Self> where
    S: Read + Seek, 

Create a new instance of the type from the provided buffer

fn try_decode_in_place<'a, S>(
    &mut self,
    config: &Self::Config,
    context: &mut Context<S>,
    buf: &'a [u8]
) -> Result<&'a [u8]> where
    S: Read + Seek, 

Write an element from the buffer, and return the remainder bytes

fn try_decode<'a, S>(
    config: &Self::Config,
    context: &mut Context<S>,
    buf: &'a [u8]
) -> Result<(Self, &'a [u8])> where
    S: Read + Seek, 

Write an element from the buffer, and return the remainder bytes

fn encode<'a>(
    &self,
    config: &Self::Config,
    context: &mut ContextUnit,
    buf: &'a mut [u8]
) -> &'a mut [u8]

Read an element into the buffer, returning the remainder bytes

fn try_to_writer<W>(
    &self,
    writer: W,
    config: &Self::Config,
    context: &mut ContextUnit
) -> Result<usize> where
    W: Write, 

Send the bytes representation of an element to a writer

fn try_from_context<S>(
    config: &Self::Config,
    context: &mut Context<S>
) -> Result<Self> where
    S: Read + Seek, 

Fetch a new element from a context

impl Hash for Polynomial

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<Polynomial> for Polynomial

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

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

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

This method tests for !=.

impl Copy for Polynomial

impl Eq for Polynomial

impl StructuralEq for Polynomial

impl StructuralPartialEq for Polynomial