Struct PrecompileWitness 

pub struct PrecompileWitness { /* private fields */ }

Bounded, untrusted portable entries for one deferred execution obligation.

Decoding establishes only canonical transport syntax and allocation bounds. Use Self::prepare to validate the graph, compute its commitments and root, and enforce declared work limits before evaluation.

Implementations

impl PrecompileWitness

pub const WIRE_VERSION: u8 = 2

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

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

Creates bounded portable entries without hashing or validating their graph.

pub fn prepare( self, registry: Arc<PrecompileRegistry>, verification_limits: &PrecompileLimits, ) -> Result<PreparedWitness, PreparationError>

Consumes and admits this graph under registry and verification_limits, computing each commitment once without evaluating precompile semantics or establishing assertion truth. Callers retaining the portable witness must clone it explicitly.

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

Returns the bounded, untrusted wire 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<(), Error>

Formats the value using the given formatter.

impl Deserializable for PrecompileWitness

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

where R: ByteReader,

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<PrecompileWitness, 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>(&self, target: &mut W)

where W: ByteWriter,

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