Struct PrecompileWitness 

pub struct PrecompileWitness { /* private fields */ }

A portable opening of one nonempty deferred execution obligation.

Entries are canonical, child-first, duplicate-free, and reachable from the single non-TRUE root. A witness contains private prover input, without runtime state or evaluation caches. Structural validity does not establish operation support or assertion truth.

Implementations

impl PrecompileWitness

pub const WIRE_VERSION: u8 = 1

Version of the standalone singleton witness encoding. Other versions are rejected.

pub fn from_entries(entries: Vec<WireEntry>) -> Result<Self, IntegrityError>

Checks a nonempty canonical singleton graph without evaluating any precompile.

pub fn root_unchecked(&self) -> Digest

Returns the cached commitment without checking the precompile computations.

Use Self::compute_root to evaluate the witness and recompute its commitment.

pub fn compute_root( &self, registry: Arc<PrecompileRegistry>, ) -> Result<Digest, PrecompileError>

Evaluates the witness under registry and returns its recomputed root commitment.

Entries must reference only earlier entries or implicit TRUE at index zero. Each node is registered in a temporary DeferredState, which checks its shape and computation. The final node must evaluate to TRUE. The cached root is not used.

Errors

Returns an error for an empty witness, invalid references, unsupported operations, failed assertions, or evaluation that exceeds the deferred state budget.

pub fn entries(&self) -> &[WireEntry]

Returns canonical child-first entries. Index zero denotes implicit TRUE.

Trait Implementations

impl Clone for PrecompileWitness

fn clone(&self) -> PrecompileWitness

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrecompileWitness

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

Formats the value using the given formatter.

impl Deserializable for PrecompileWitness

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

fn min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

fn read_from_bytes_with_budget( bytes: &[u8], budget: usize, ) -> Result<Self, DeserializationError>

Deserializes Self from bytes with a byte budget limit.

impl Eq for PrecompileWitness

impl PartialEq for PrecompileWitness

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

Equality operator ==.

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

Inequality operator !=.

impl Serializable for PrecompileWitness

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StructuralPartialEq for PrecompileWitness