Struct PrecompileCommitment 

pub struct PrecompileCommitment { /* private fields */ }

A commitment to the evaluation of PrecompileRequest, representing both the input and result of the request.

This structure contains both the tag (which includes metadata like event ID) and the commitment to the input and result (calldata) of the precompile request.

Tag Structure

The tag is a 4-element word [event_id, meta1, meta2, meta3] where:

• First element: The EventId from the corresponding EventHandler
• Remaining 3 elements: Available for precompile-specific metadata (e.g., len_bytes for hash functions to distinguish actual data from padding)

Implementations

impl PrecompileCommitment

pub fn new(tag: Word, comm: Word) -> Self

Creates a new precompile commitment from a TAG and COMM.

• TAG: 4-element word where the first element encodes the EventId; the remaining elements are available as precompile-specific metadata (e.g., len_bytes).
• COMM: 4-element word containing the commitment to the calldata (or handler-specific witness) for this precompile request.

pub fn tag(&self) -> Word

Returns the TAG word which encodes the EventId in the first element and optional precompile-specific metadata in the remaining three elements.

pub fn comm_calldata(&self) -> Word

Returns the COMM word (calldata commitment), i.e., the commitment to the precompile’s calldata (or other handler-specific witness).

pub fn to_elements(&self) -> [Felt; 8]

Returns the concatenation of TAG and COMM as field elements.

pub fn event_id(&self) -> EventId

Returns the EventId used to identify the verifier that produced this commitment from a PrecompileRequest.

Trait Implementations

impl Clone for PrecompileCommitment

fn clone(&self) -> PrecompileCommitment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrecompileCommitment

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

Formats the value using the given formatter.

impl PartialEq for PrecompileCommitment

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for PrecompileCommitment

impl Eq for PrecompileCommitment

impl StructuralPartialEq for PrecompileCommitment