TLR 2 · Modelagem matemática e de dados

Das fórmulas do inventário ao código do contrato

As fórmulas de conversão usadas hoje na plataforma de gestão ESG são mapeadas e traduzidas em lógica determinística de contratos inteligentes, de modo que o cálculo seja idêntico, reprodutível e auditável por qualquer parte.

Fórmulas aplicadas na simulação

Perda técnica medida

Perda(MWh) = E_injetada − E_entregue

Perda estimada (processo atual)

Perda(MWh) = E_injetada × 0.04

Emissão de Escopo 2

tCO₂eq = Perda(MWh) × 0.0385

Serviços auxiliares

tCO₂eq = (Σ leituras_kWh ÷ 1000) × 0.0385

Ancoragem

hash_bloco = SHA256(index ‖ timestamp ‖ prevHash ‖ merkleRoot)

Lógica equivalente em smart contract

Pseudocódigo de referência

contract CarbonTraceability {
  uint256 constant FATOR_EMISSAO_MICRO = 38500; // 0,0385 tCO2eq/MWh
  uint256 constant PREMISSA_ONS_BPS   = 400;    // 4,00%

  struct Leitura {
    bytes32 concessao;
    uint32  periodo;      // AAAAMM
    uint256 injetadaKWh;
    uint256 entregueKWh;
    bool    medido;
  }

  function perdaKWh(Leitura memory l) internal pure returns (uint256) {
    if (l.medido) return l.injetadaKWh - l.entregueKWh;
    return (l.injetadaKWh * PREMISSA_ONS_BPS) / 10000;
  }

  function escopo2Micro(Leitura memory l) public pure returns (uint256) {
    // kWh -> MWh -> tCO2eq (precisao em micro-toneladas)
    return (perdaKWh(l) * FATOR_EMISSAO_MICRO) / 1000;
  }

  function emitir(Leitura memory l) external returns (bytes32 tokenId) {
    require(l.entregueKWh <= l.injetadaKWh, "balanco invalido");
    tokenId = keccak256(abi.encode(l.concessao, l.periodo, l.injetadaKWh));
    _ancorar(tokenId, escopo2Micro(l), keccak256(abi.encode(l)));
  }
}

Premissas e limites do escopo

escopo 2 Abordagem de escolha de compra, considerando origem renovável contratada; as perdas de transmissão são a base do cálculo.
fator Fator médio de 0.0385 tCO₂eq/MWh usado como referência única da simulação; em produção seria atualizado por oráculo de fator mensal.
premissa A premissa fixa de 4% permanece no modelo apenas como linha de base comparativa.

fora do escopo Nenhuma intervenção em sensores de alta tensão ou sistemas produtivos: a PoC opera sobre dados históricos e sintéticos.
determinismo Gerador de dados com semente fixa: a mesma execução produz os mesmos números, requisito para auditoria da própria prova de conceito.
criptografia Hashes SHA-256 reais calculados no navegador, encadeados por bloco com Merkle root dos eventos.