Struct dusk_cdf::Witness

pub struct Witness { /* private fields */ }

Witness allocation representation

Implementations

impl Witness

pub const fn new(id: usize, value: Scalar, source: Source) -> Self

Create a new witness

pub const fn id(&self) -> usize

Id of the witness in the constraint system

pub const fn value(&self) -> &Scalar

Value of the witness in the constraint system

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

Source reference of the witness

Trait Implementations

impl Clone for Witness

fn clone(&self) -> Witness

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Witness

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

Formats the value using the given formatter.

impl Default for Witness

fn default() -> Witness

Returns the “default value” for a type.

impl Element for Witness

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 Witness

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 Ord for Witness

fn cmp(&self, other: &Witness) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self where
    Self: PartialOrd<Self>, 

Restrict a value to a certain interval.

impl PartialEq<Witness> for Witness

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

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

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

This method tests for !=.

impl PartialOrd<Witness> for Witness

fn partial_cmp(&self, other: &Witness) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Witness

impl StructuralEq for Witness

impl StructuralPartialEq for Witness