Impact Settlement Network
SIAC 2026 · PPGI / UFRJ · Mestrado em Informática

Impact
Settlement
Network

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.

Isaac D'Césares de Carvalho Lima
Orientação: Profa. Maria Luiza Machado Campos e Prof. Sérgio Manuel Serra da Cruz
UFRJ e Programa de Pós-Graduação em Informática
Minerv@s DigitaisFrente Blockchain
Ponto de partida

Dá para confiar quando uma empresa diz que está ajudando o planeta?

“verde” “sustentável” “neutro em carbono” “net zero até 2050” “compromisso com o futuro”

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.

Impact Settlement Network
Cenário

O greenwashing está crescendo, e já chegou ao sistema financeiro

20212025
2×

das empresas ligadas, ao mesmo tempo, a risco de biodiversidade e a greenwashing

20242025
+19%

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.

Impact Settlement Network
Onde a promessa encontra o dinheiro

Dívida vinculada à sustentabilidade: o juro depende de a meta ser cumprida

meta falhou: o cupom sobe (multa) meta cumprida: o cupom segue juro pago ao investidor (cupom) Emissão Data de observação da meta Vencimento
1 · PROMESSA

A empresa fixa uma meta

Ex.: reduzir emissões. Em troca, capta dinheiro e sinaliza compromisso ao mercado.

2 · VERIFICAÇÃO

Alguém confere o resultado

É o momento que decide se a consequência financeira acontece.

3 · CONSEQUÊNCIA

O dinheiro reage

Se a meta falha, o emissor paga mais juros. Se cumpre, nada muda.

Impact Settlement Network
O problema

Hoje, o momento da verificação é o elo mais fraco

Quem verifica é escolhido e pago pelo emissor

O veredito chega como uma afirmação de terceiros, e não como um cálculo que se possa refazer.

O raciocínio não é publicado

Quem não estava presente não consegue reconstruir por que a meta foi considerada cumprida.

Brechas na estrutura do título

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

A conta do emissor
economia na emissão multa máx.

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

Impact Settlement Network
A virada

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á.

promessaverificaçãoliquidação
Impact Settlement Network
A proposta

Impact Settlement Network: três atos, um vínculo auditável

contribuição da pesquisa: o vínculo verificação → liquidação
ATO 1

Reivindicar

O emissor declara seu desempenho e publica a divulgação que o sustenta. A evidência fica endereçada por conteúdo (IPFS).

ATO 2

Verificar

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.

ATO 3

Liquidar

Um contrato lê a atestação, confere condições fixadas antes do aporte e libera ou retém a parcela do financiamento.

Ethereum Attestation ServiceIPFSW3C PROV-OSolidity · EVMDesign Science Research
Impact Settlement Network
Ato 2 · Verificar

GreenRisk: um escore de risco que mostra as regras que o produziram

EntradaParágrafo de divulgação climática corporativa
4 sinaisespecificidadecompromissoassimetria de sentimentonet zero
RegrasBase de regras fuzzy explícita (Mamdani) recombina os sinais
SaídaEscore 0 a 100 + regras que dispararam + grafo de proveniência W3C PROV-O

Neuro-simbólico: modelos de linguagem extraem sinais; a decisão é simbólica e pode ser recalculada.

Evidência · quartil mais vago do corpus (n = 253)

Onde a linha de base não vê diferença, o GreenRisk ainda separa

Índice cheap talk (linha de base)0,95 a 0,97
GreenRisk35 a 90
0escala normalizadamáx.

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

Impact Settlement Network
Ato 3 · Liquidar

Um contrato que se deixa auditar antes e depois de pagar

Sete condições para liberar uma parcela
Risco abaixo do limiarriskThreshold
Avaliador autorizadoevaluatorAllowed
Veredito dentro da validadeverdictLive
Reivindicação confereclaimMatches
Versão do instrumento permitidaversionPermitted
Regra de disposição atendidadispositionOK
Resultado de desempenho declaradooutcomeAsserted

Condições fixadas antes do aporte

Ninguém troca o instrumento de verificação depois que o dinheiro entrou.

Legíveis sem executar

Qualquer pessoa consulta quais condições passam, sem disparar nada.

Automação assimétrica

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.

Impact Settlement Network
Simulação · escolha uma divulgação

Da frase ao dinheiro: Reivindicar → Verificar → Liquidar

Reivindicar
Verificar · GreenRisk
--risco de
greenwashing
0limiar 50100
aguardando divulgação
evidenceDigest · sha-256 do texto
--
Liquidar · contrato
1,0 ETH parcelaFinanciada
    Escolha uma divulgação à esquerda.
    contratobeneficiário

    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.

    Impact Settlement Network
    Amadurecimento

    Do resumo submetido à pesquisa de hoje

    Resumo SIAC · junho
    Hoje · outubro
    Domínio
    Reflorestamento na Amazônia (ODS 15)
    Dívida vinculada à sustentabilidade
    Reivindicação
    Reivindicação de impacto tokenizada (Hypercert)
    Divulgação do emissor, referenciada na atestação
    Verificação
    Avaliador ou oráculo automatizado
    GreenRisk, avaliado no mesmo tipo de texto
    Liquidação
    Escrow libera a parcela do marco
    Sete condições e automação assimétrica

    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.

    Impact Settlement Network
    Até aqui

    O que já construímos

    Ciclo A · instrumento de verificação

    CONCLUÍDO
    problemaobjetivosprojetodemonstraçãoavaliaçãocomunicação

    Ciclo B · arquitetura e liquidação

    ESPECIFICADO · EM CONSTRUÇÃO
    problemaobjetivosprojetodemonstraçãoavaliaçãocomunicação
    1.009
    parágrafos de divulgação climática analisados
    0,602
    correlação de Spearman com o índice cheap talk
    4.158
    avaliações de propriedade da grade fuzzy
    46
    testes do contrato, 13 com payloads reais do adaptador
    42
    testes do adaptador Python que gera as atestações
    1
    liquidação ponta a ponta registrada em rede local
    Origem: LearnChain, blockchain na educação GreenRisk em acesso aberto, com DOI Artigo da arquitetura · CBlockchain / CSBC 2026 Best DeSci dApp · 1º lugar Arbitrum Hacker House · Gitcoin GG20 Frente Blockchain · Minerv@s Digitais
    Impact Settlement Network
    Próximos passos

    Onde queremos chegar

    Agora

    Levar a liquidação para uma rede pública

    • Registrar o esquema de atestação em testnet pública
    • Implantar o contrato com código-fonte verificado
    • Registrar uma liquidação ponta a ponta: do parágrafo ao dinheiro movido

    Pronto quando houver um trace público que qualquer pessoa possa seguir.

    Em seguida

    Avaliar com quem não construiu

    • Re-derivação: uma terceira parte reconstrói os vereditos só a partir do registro
    • Custo de gás e latência, comparados às taxas de asseguração
    • Avaliação com 4 a 6 especialistas do mercado, preservando as divergências

    Avaliação registrada antes de ser executada.

    Horizonte

    Infraestrutura pública de confiança

    • Verificação de reivindicações físicas, como reflorestamento, na extensão para o doutorado
    • Dissertação em inglês, para circulação internacional
    • Finanças sustentáveis em que a promessa e a consequência fiquem visíveis para todos
    Impact Settlement Network
    Impact Settlement Network

    Um veredito pode reter o pagamento sozinho.
    Nunca liberá-lo sozinho.

    Obrigado. Isaac D'Césares · dcesares.dev

    Código do GreenRiskgithub.com/idcesares/GreenRisk
    Artefato citável (Zenodo)doi.org/10.5281/zenodo.21122389
    UFRJ e Programa de Pós-Graduação em Informática
    Minerv@s DigitaisFrente Blockchain
    SIAC 2026 · PPGI / UFRJ
    ← → para navegar · F para tela cheia