Voltar para Documentação

Docs Técnicas

Cost Model

TREA has static and runtime cost surfaces.

O conteúdo abaixo vem das fontes técnicas do repositório e é prerenderizado no site para leitura direta por pessoas, crawlers e agentes.

TREA has static and runtime cost surfaces.

Runtime Cost

Execution output includes a CostReceipt.

Runtime cost accounts for:

  • storage writes;
  • storage deletes;
  • move operations;
  • post operations;
  • posting lines;
  • event emits;
  • intrinsic calls;
  • total cost units.

Static Cost

The compiler estimates static worst-case cost and emits a proof report.

Static cost uses bounded loops and known instruction shape to calculate upper bounds.

Limits

Runtime limit constants include:

text
writes per execution: 128
deletes per execution: 128
posts per execution: 16
posting lines per execution: 64
emits per execution: 64
returns per execution: 16
loop iterations per loop: 1024