Struct CircuitDescription 

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

A circuit description file

Since circuit descriptions are often large, it will perform lazy disk I/O, loading only the required data to satisfy the user operation.

Implementations

impl<S> CircuitDescription<S>

pub const fn preamble(&self) -> &Preamble

Decoded preamble

pub fn source_name_contains(&self, name: &str) -> bool

Check if the provided name is contained within the available source names

impl CircuitDescription<File>

pub fn open<P>(path: P) -> Result<Self>

where P: AsRef<Path>,

Open a CDF file as read-only.

impl<S> CircuitDescription<S>

where S: Read + Seek,

pub fn from_reader(source: S) -> Result<Self>

Create a new circuit description instance.

pub fn fetch_constraint(&mut self, idx: usize) -> Result<Constraint<'_>>

Attempt to read an indexed constraint from the source

pub fn fetch_witness(&mut self, idx: usize) -> Result<Witness<'_>>

Attempt to read an indexed witness from the source

Trait Implementations

impl<S: Clone> Clone for CircuitDescription<S>

fn clone(&self) -> CircuitDescription<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug> Debug for CircuitDescription<S>

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

Formats the value using the given formatter.

impl<S> From<CircuitDescription<S>> for ZkDebugger<S>

fn from(cdf: CircuitDescription<S>) -> Self

Converts to this type from the input type.