Enum PrecompileWitnessEntry 

pub enum PrecompileWitnessEntry {
    Data {
        tag: Tag,
        chunks: Vec<DataChunk>,
    },
    Join {
        tag: Tag,
        lhs: u32,
        rhs: u32,
    },
    PairList {
        tag: Tag,
        pairs: Vec<(u32, u32)>,
    },
}

One explicit deferred DAG entry in topological wire order.

Wire index 0 is implicit TRUE. entries[i] has wire index i + 1. Structural children must reference TRUE_INDEX or an earlier entry. Pair-list pairs store structural child references in payload order.

Variants

Data

Raw data payload interpreted by the tag’s precompile.

The payload requires at least one chunk. A tag’s precompile may assign value semantics to a one-chunk payload, but the wire shape itself does not.

Fields

tag: Tag

chunks: Vec<DataChunk>

Join

Two child references resolved against TRUE_INDEX or earlier wire indices.

Fields

tag: Tag

lhs: u32

rhs: u32

PairList

Raw structural child-reference pairs, with at least one pair.

Fields

tag: Tag

pairs: Vec<(u32, u32)>

Implementations

impl WireEntry

pub fn tag(&self) -> Tag

Returns the tag whose operation is checked by the precompile prover.

pub fn digest(&self, digests: &[Digest]) -> Result<Digest, IntegrityError>

Reconstructs this entry’s commitment from preceding digests, with TRUE at index zero.

This validates framework shapes and references, without interpreting precompile tags or evaluating assertions. The caller supplies only entries preceding this one.

Trait Implementations

impl Clone for WireEntry

fn clone(&self) -> WireEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WireEntry

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

Formats the value using the given formatter.

impl Eq for WireEntry

impl PartialEq for WireEntry

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

Equality operator ==.

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

Inequality operator !=.

impl Serializable for WireEntry

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 WireEntry