Struct BlastSize 

pub struct BlastSize {
    pub dag_nodes: u64,
    pub tree_nodes: u128,
}

The cost of turning one blasted obligation into a ProofExpr.

dag_nodes is what the blaster ALLOCATES (gates, shared); tree_nodes is what materialising it into the Box-tree ProofExpr WOULD allocate — the two diverge exponentially on a multiply chain, which is exactly the blow-up BLAST_BUDGET_NODES refuses.

Fields

dag_nodes: u64

Distinct gates in the shared DAG — the blaster’s real allocation.

tree_nodes: u128

Nodes the materialised ProofExpr tree would hold (saturating at u128::MAX).

Implementations

impl BlastSize

pub fn saturated(&self) -> bool

The tree count hit the saturation ceiling: the real tree is at LEAST tree_nodes big.

pub fn over_budget(&self) -> bool

Would materialising this obligation exceed the production certificate budget?

Trait Implementations

impl Clone for BlastSize

fn clone(&self) -> BlastSize

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlastSize

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

Formats the value using the given formatter.

impl PartialEq for BlastSize

fn eq(&self, other: &BlastSize) -> 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 BlastSize

impl Eq for BlastSize

impl StructuralPartialEq for BlastSize