Struct ProgramCost 

pub struct ProgramCost {
    pub program_name: String,
    pub functions: Vec<FunctionCost>,
    pub total: TableCost,
    pub table_names: Vec<String>,
    pub table_short_names: Vec<String>,
    pub attestation_hash_rows: u64,
    pub padded_height: u64,
    pub estimated_proving_ns: u64,
    pub loop_bound_waste: Vec<(String, u64, u64)>,
}

Cost analysis result for the full program.

Fields

program_name: String

functions: Vec<FunctionCost>

total: TableCost

table_names: Vec<String>

Table names from the CostModel (e.g. [“processor”, “hash”, …]).

table_short_names: Vec<String>

Short display names (e.g. [“cc”, “hash”, …]).

attestation_hash_rows: u64

Program attestation adds ceil(instruction_count / 10) * 6 hash rows.

padded_height: u64

estimated_proving_ns: u64

loop_bound_waste: Vec<(String, u64, u64)>

H0004: loops where declared bound >> actual constant end.

Implementations

impl ProgramCost

pub fn short_names(&self) -> Vec<&str>

Short names as str slice refs (for passing to TableCost methods).

pub fn long_names(&self) -> Vec<&str>

Long names as str slice refs.

impl ProgramCost

pub fn to_json(&self) -> String

pub fn save_json(&self, path: &Path) -> Result<(), String>

Save cost analysis to a JSON file.

pub fn load_json(path: &Path) -> Result<ProgramCost, String>

Load cost analysis from a JSON file.

pub fn from_json(s: &str) -> Result<ProgramCost, String>

Parse a ProgramCost from a JSON string. Defaults to Triton table names for backward compatibility.

pub fn from_json_with_names( s: &str, names: &[&str], ) -> Result<ProgramCost, String>

Parse a ProgramCost from a JSON string with specific table names.

pub fn format_comparison(&self, other: &ProgramCost) -> String

Format a comparison between this cost and another (old vs new).

pub fn boundary_warnings(&self) -> Vec<Diagnostic>

Generate diagnostics for power-of-2 boundary proximity.

impl ProgramCost

pub fn format_report(&self) -> String

Format a table-style cost report.

pub fn format_hotspots(&self, top_n: usize) -> String

Format a hotspots report (top N cost contributors).

pub fn optimization_hints(&self) -> Vec<Diagnostic>

Generate optimization hints (H0001, H0002, H0004).

Trait Implementations

impl Clone for ProgramCost

fn clone(&self) -> ProgramCost

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramCost

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

Formats the value using the given formatter.