Struct UintPrecompile 

pub struct UintPrecompile;

Precompile for 256-bit arithmetic over fixed uint domains.

Implementations

impl UintPrecompile

pub const NAME: &'static str = "uint256"

Stable precompile name used to derive this precompile’s tag id.

pub const VALUE_OP_ID: u64 = 0

Operation discriminants owned by this precompile.

pub const ADD_OP_ID: u64 = 1

pub const SUB_OP_ID: u64 = 2

pub const MUL_OP_ID: u64 = 3

pub const EQ_OP_ID: u64 = 4

pub fn id() -> Felt

Stable precompile id derived from Self::NAME.

pub fn value_tag(domain: UintDomain) -> Tag

Builds a canonical uint VALUE tag for domain.

pub fn op_tag(op_id: u64) -> Tag

Builds a uint operation tag from op_id.

Known operation ids decode to their declared shapes; unknown ids produce a tag that this precompile rejects. Operand VALUE nodes carry the concrete domain.

pub fn value_node(domain: UintDomain, limbs: Limbs) -> Node

Builds a uint VALUE node from trusted canonical limbs.

Callers must ensure limbs is canonical for domain. Debug builds assert this precondition; registration and evaluation validate nodes constructed from untrusted limbs.

pub fn decode_value_node( node: &Node, domain: UintDomain, ) -> Result<Limbs, DeferredError>

Decodes a canonical uint VALUE node for domain.

pub fn decode_node(node: &Node) -> Result<Option<UintNodeRef>, PrecompileError>

Decodes a uint precompile node without evaluating its children.

Returns Ok(None) when node belongs to another precompile. Owned operation nodes return their structural child digests directly from the payload.

Trait Implementations

impl Clone for UintPrecompile

fn clone(&self) -> UintPrecompile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for UintPrecompile

impl Debug for UintPrecompile

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

Formats the value using the given formatter.

impl Default for UintPrecompile

fn default() -> UintPrecompile

Returns the “default value” for a type.

impl Precompile for UintPrecompile

fn name(&self) -> &'static str

Stable name hashed into the precompile id; renaming changes every tag this precompile owns.

fn id(&self) -> Felt

Stable tag id for this precompile.

fn init(&self) -> Vec<Node>

Canonical constants this precompile wants registered before execution.

fn decode(&self, args: [Felt; 3]) -> Option<NodeType>

Declares the body shape for recognized local tag arguments.

fn evaluate( &self, args: [Felt; 3], payload: &Payload, context: &mut DeferredContext<'_>, ) -> Result<Node, PrecompileError>

Evaluates one owned node to its canonical form.