Module proof 

Universal STARK proof estimation and claim structure.

These formulas apply to all FRI-based STARK provers regardless of target VM or field. Warriors call these functions for cost reporting and proof parameter computation.

Structs

Claim

Universal proof claim: what any STARK/SNARK proof asserts.

Functions

estimate_proof_size

Estimate proof size in bytes.

estimate_proving_ns

Estimate proving time in nanoseconds.

fri_query_count

Estimate the number of FRI queries needed for a target security level.

merkle_depth

Merkle tree depth for a trace of the given padded height.

ntt_domain_size

NTT (Number Theoretic Transform) domain size.

padded_height

Padded trace height: next power of two above the tallest table.