Struct dusk_cdf::IndexedWitness

pub struct IndexedWitness { /* private fields */ }

Representation of an indexed witness.

Its index is the dense representation of the constraint system. Since CDF files will store witnesses first, it will be line (starting at zero) of the file.

Its origin will be the constraint that created this witness. Its None when the witness is referenced on the same constraint it was created.

Implementations

impl IndexedWitness

pub const fn new(index: usize, origin: Option<usize>, value: Scalar) -> Self

Create a new indexed witness

pub const fn index(&self) -> usize

Witness index

pub const fn origin(&self) -> &Option<usize>

Witness constraint originator

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

Witness value

Trait Implementations

impl Clone for IndexedWitness

fn clone(&self) -> IndexedWitness

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IndexedWitness

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

Formats the value using the given formatter.

impl Default for IndexedWitness

fn default() -> IndexedWitness

Returns the “default value” for a type.

impl Element for IndexedWitness

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 IndexedWitness

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

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

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

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

This method tests for !=.

impl Copy for IndexedWitness

impl Eq for IndexedWitness

impl StructuralEq for IndexedWitness

impl StructuralPartialEq for IndexedWitness