Struct dusk_cdf::Context

pub struct Context<S> { /* private fields */ }

Encoding and decoding context to be defined by the reader/writer and consumed by the elements

Implementations

impl Context<()>

pub const fn unit() -> Self

Create a new context without CDF backend

impl<S> Context<S>

pub fn with_source_cache_id(&mut self, id: usize) -> &mut Self

Set a source cache id in the context. The next witness or constraint encoding should consume it instead of storing the raw path

pub fn take_source_cache_id(&mut self) -> Option<usize>

Consume a previously set source cache id.

pub fn with_cdf(cdf: CircuitDescription<S>) -> Self

Set the internal CDF provider

pub fn source(&mut self) -> Option<&mut S>

Fetch the internal source

impl<S> Context<S> where
    S: Read + Seek, 

pub fn fetch_source_path(
    &mut self,
    idx: usize
) -> Result<FixedText<{ Source::PATH_LEN }>>

Attempt to fetch a path from source cache

Trait Implementations

impl<S: Debug> Debug for Context<S>

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

Formats the value using the given formatter.

impl<S: Default> Default for Context<S>

fn default() -> Context<S>

Returns the “default value” for a type.