JIT Costing: The Definitive PR#876

Open

mwaddip wants to merge 37 commits into

ergoplatform:developfrom

mwaddip:jit-costing-final

Commits on Jun 3, 2026

Add JIT cost infrastructure: Context cost accumulator + limit

mwaddip
and
claude
committed
Charge per-Expr-node base cost across eval ops

mwaddip
and
claude
committed
Charge FixedCost for builtin-type method evaluations

mwaddip
and
claude
committed
Charge BinOp per-kind cost and per-element equality

mwaddip
and
claude
committed
Cost the top-level reduction (reduce_to_crypto)

mwaddip
and
claude
committed
Enforce cumulative JIT cost limit across tx inputs

mwaddip
and
claude
committed
Charge Coll.indexOf cost (per-comparison equality + iterations)

mwaddip
and
claude
committed
Charge Coll.flatMap cost (per-input ADD_TO_ENV + output PerItemCost)

mwaddip
and
claude
committed
Charge ADD_TO_ENV_COST per binding in Apply and BlockValue

mwaddip
and
claude
committed
Charge HOF iteration and env costs (map/filter/fold/exists/forall)

mwaddip
and
claude
committed
Charge PerItemCost for Coll methods (zip/indices/patch/updated/updateMany/reverse/startsWith/endsWith/get)

mwaddip
and
claude
committed
Charge SubstConstants by template-constant count

mwaddip
and
claude
committed
Charge Slice cost on the requested range

mwaddip
and
claude
committed
Charge SigmaPropBytes by proposition node count

mwaddip
and
claude
committed
Charge per-coll-element And/Blake2b256 and boolean-const collections

mwaddip
and
claude
committed
Charge FixedCost for v6.0 numeric and UnsignedBigInt methods

mwaddip
and
claude
committed
Charge Scala CostKinds for Global nbits and powHit

mwaddip
and
claude
committed
Add serialize-cost accumulator and charge direct types

mwaddip
and
claude
committed
Charge serialize cost for GroupElement, SigmaProp and UnsignedBigInt

mwaddip
and
claude
committed
Charge serialize cost for Box (register prefix + creationHeight)

mwaddip
and
claude
committed
Charge serialize cost for AvlTree

mwaddip
and
claude
committed
Charge serialize cost for fast-path register type codes

mwaddip
and
claude
committed
Charge serialize cost for Header

mwaddip
and
claude
committed
Add Scala cost-parity harness with mainnet vectors

mwaddip
and
claude
committed

Commits on Jun 4, 2026

fix(jit-cost): charge UnsignedBigInt numeric cast like BigInt (30)

mwaddip
and
claude
committed

Commits on Jun 5, 2026

Commits on Jun 7, 2026

fix(costing): zero op-cost tree height when verifier reconstruction cannot start

mwaddip
and
claude
committed

Commits on Jun 14, 2026

fix(jit-cost): Coll eq per-item cost charges the compared count

mwaddip
and
claude
committed

Commits on Jun 16, 2026

fix(tx): enforce MaxBlockCost in block units, not against the raw JIT accumulator
mwaddip
committed