Struct dusk_cdf::Constraint

pub struct Constraint { /* private fields */ }

Constraint gate of a circuit

Implementations

impl Constraint

pub const fn new(id: usize, polynomial: Polynomial, source: Source) -> Self

Generate a new constraint

pub const fn id(&self) -> usize

Id of the gate in the constraint system

pub const fn polynomial(&self) -> &Polynomial

Polynomial of the gate in the constraint system

pub const fn source(&self) -> &Source

Source file that originated the constraint

pub const fn is_ok(&self) -> bool

Check if the polynomial evaluation is ok

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl Default for Constraint

fn default() -> Constraint

Returns the “default value” for a type.

impl Element for Constraint

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 Constraint

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<Constraint> for Constraint

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

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

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

This method tests for !=.

impl Eq for Constraint

impl StructuralEq for Constraint

impl StructuralPartialEq for Constraint