Uma arquitetura de referência em blockchain para que a promessa de impacto socioambiental só vire dinheiro depois de verificada, e de um jeito que qualquer pessoa possa conferir.
Dá para confiar quando uma empresa diz que está ajudando o planeta?
Termos vagos somados a progressos escolhidos a dedo produzem a imagem de um negócio bom para o planeta, sem que o impacto real tenha sido verificado. Isso tem nome: greenwashing.
das empresas ligadas, ao mesmo tempo, a risco de biodiversidade e a greenwashing
bancos e empresas de serviços financeiros sinalizados por greenwashing em um ano
Fonte: RepRisk, Where biodiversity risks grow, greenwashing follows, 4º relatório anual de greenwashing, 2025. Barras na mesma escala dentro de cada gráfico.
Ex.: reduzir emissões. Em troca, capta dinheiro e sinaliza compromisso ao mercado.
É o momento que decide se a consequência financeira acontece.
Se a meta falha, o emissor paga mais juros. Se cumpre, nada muda.
O veredito chega como uma afirmação de terceiros, e não como um cálculo que se possa refazer.
Quem não estava presente não consegue reconstruir por que a meta foi considerada cumprida.
Metas com data de observação tardia e opção de recompra antecipada enfraquecem a ligação entre meta e dinheiro.
Haq e Doumbia, Banco Mundial / IFC, WP 10200, 2022
Em média, um SLB sai cerca de 9 pontos-base mais barato que um título comum, e essa economia supera a multa máxima por falhar a meta.
Kölbel e Lambillon, Who Pays for Sustainability?, Swiss Finance Institute, 2022
Medir melhor não basta.
A falha está no elo entre a medição e o dinheiro.
A condição que libera os recursos precisa ser auditável antes de o dinheiro entrar e reproduzível depois que ele se moveu, por alguém que não estava lá.
O emissor declara seu desempenho e publica a divulgação que o sustenta. A evidência fica endereçada por conteúdo (IPFS).
Um instrumento congelado e versionado produz um veredito que carrega as entradas, a versão e um resumo do raciocínio, registrado como atestação on-chain.
Um contrato lê a atestação, confere condições fixadas antes do aporte e libera ou retém a parcela do financiamento.
Neuro-simbólico: modelos de linguagem extraem sinais; a decisão é simbólica e pode ser recalculada.
Vagueza quieta (≈ 35) fica separada da promessa vaga e barulhenta (≈ 85 a 90). Barra da linha de base: média ± 1 desvio-padrão.
Corpus: 1.009 parágrafos TCFD (climatebert/tcfd_recommendations). Código aberto · DOI 10.5281/zenodo.21122389
riskThresholdevaluatorAllowedverdictLiveclaimMatchesversionPermitteddispositionOKoutcomeAssertedNinguém troca o instrumento de verificação depois que o dinheiro entrou.
Qualquer pessoa consulta quais condições passam, sem disparar nada.
Risco alto retém automaticamente. Risco baixo não libera sozinho: texto específico não é o mesmo que texto verdadeiro, então a liberação passa por revisão.
Exemplos construídos para fins didáticos, com escores ilustrativos. O exemplo 3 reproduz o veredito do trace do contrato em rede local (Hardhat), em que a liquidação gastou 163.705 de gás.
Por que mudou: o objeto verificado passou a ser exatamente o tipo de texto em que o GreenRisk foi construído e avaliado, e o domínio tem uma falha de liquidação documentada. O reflorestamento continua na dissertação como cenário de projeto, mostrando que a arquitetura generaliza.
Pronto quando houver um trace público que qualquer pessoa possa seguir.
Avaliação registrada antes de ser executada.
Um veredito pode reter o pagamento sozinho.
Nunca liberá-lo sozinho.
Obrigado. Isaac D'Césares · dcesares.dev