Resumo Técnico: Seguro Paramétrico Habilitado por Blockchain com Preservação de Privacidade via Sensoriamento Remoto e IoT

1. Declaração do Problema

O seguro de indenização tradicional sofre com altos custos operacionais, opacidade, ineficiência e falta de confiança devido a avaliações manuais caso a caso. Embora o seguro paramétrico — que automatiza pagamentos com base em índices verificáveis derivados de dados públicos (por exemplo, IoT, sensoriamento remoto) — ofereça uma solução, sua integração com blockchain introduz dois desafios críticos:

1. Vazamento de Privacidade: A transparência da blockchain exige que os registros de transações e os dados de processamento sejam publicamente visíveis. No seguro paramétrico, isso expõe dados sensíveis do usuário (por exemplo, locais segurados específicos ou detalhes de sinistros) ao livro-razão público, permitindo potencialmente a desanonimização e comprometendo a privacidade do usuário.
2. Altos Custos de Processamento: A execução de contratos inteligentes em plataformas como Ethereum é medida por "taxas de gás", que escalam com a complexidade computacional e o uso de memória. Tarefas complexas, como o processamento de grandes imagens de satélite para detecção de incêndios florestais, são proibitivamente caras para execução direta na cadeia.

Soluções existentes, como pseudo-anonimato ou blockchains permissionadas, falham em fornecer garantias robustas de privacidade enquanto mantêm a transparência e a responsabilidade exigidas para seguros descentralizados.

2. Metodologia

Os autores propõem um framework de seguro paramétrico com preservação de privacidade que aproveita Provas de Conhecimento Zero Succintas (zk-SNARKs) para permitir verificação transparente sem revelar dados privados. O protocolo central permite que um segurado submeta uma prova de conhecimento zero a um contrato inteligente de blockchain, atestando a validade de um sinistro e a autenticidade de suas fontes de dados sem divulgar as entradas privadas subjacentes.

Protocolo Central: zk-SNARK Sonic Estendido

O framework é construído sobre o protocolo zk-SNARK Sonic, que suporta strings de referência estruturadas (SRS) universais e atualizáveis. Os autores introduzem duas extensões críticas ao Sonic para atender às necessidades específicas do seguro paramétrico:

• Autenticação de Fontes de Dados Heterogêneas:

  • Em cenários do mundo real, os dados provêm de múltiplos provedores independentes (por exemplo, diferentes provedores de imagens de satélite ou sensores IoT) que são agnósticos à aplicação de seguro específica.
  • Os autores estendem o Sonic para permitir que um provador incorpore dados de $J$ fontes independentes, cada uma com sua própria String de Referência Estruturada (SRS) e assinatura digital.
  • O protocolo verifica que os dados usados no cálculo do sinistro são autênticos (assinados pelo provedor) e corretamente incorporados à prova, sem exigir que os provedores de dados coordenem com o designer do circuito (a seguradora). Isso previne conluio e garante a imparcialidade dos dados.

• Processamento Eficiente na Cadeia via Verificação em Lote:

  • Os protocolos Sonic padrão exigem a verificação de múltiplas aberturas polinomiais em diferentes pontos, o que incorre em altos custos de gás devido a múltiplas verificações de emparelhamento.
  • Os autores propõem um esquema de compromisso polinomial aprimorado que habilita verificação em lote. Isso permite que o verificador verifique múltiplas aberturas polinomiais simultaneamente com uma única prova, reduzindo significativamente o número de equações de emparelhamento necessárias na cadeia.

Aplicação: Seguro Paramétrico de Incêndios Florestais

O framework é instanciado para seguro de incêndios florestais, onde a validade do sinistro depende do Razão de Queima Normalizada Delta (dNBR) calculada a partir de imagens de satélite.

• Processamento de Dados: O sistema calcula o dNBR usando bandas de Infravermelho Próximo (NIR) e Infravermelho de Onda Curta (SWIR) de imagens de satélite (por exemplo, Sentinel-2).
• Sistema de Restrições: A lógica para determinar "queima severa" (por exemplo, pixels com dNBR > limite) é codificada em um sistema de restrições envolvendo restrições lineares e multiplicativas.
• Privacidade de Localização: Para proteger a localização segurada, o provedor de dados assina um hash da localização combinado com o compromisso de dados. O contrato inteligente verifica a assinatura contra o hash, garantindo que os dados correspondam à localização correta sem revelar a localização em si na cadeia.

3. Contribuições Principais

1. Protocolo zk-SNARK Estendido (Sdat): Uma extensão do protocolo Sonic que suporta a validação de dados de fontes heterogêneas e independentes. Isso permite que provedores de dados autentiquem dados independentemente da lógica da aplicação, prevenindo conluio entre fontes de dados e seguradoras.
2. Esquema de Verificação em Lote: Um esquema de compromisso polinomial novel projetado para o Sonic que habilita verificação em lote de múltiplas aberturas polinomiais. Isso reduz o custo de gás de verificação na cadeia em até 80% em comparação com implementações padrão.
3. Framework Genérico: Um framework genérico proposto para seguro paramétrico com preservação de privacidade que pode ser aplicado a vários cenários (por exemplo, atraso de voo, inundações) além de incêndios florestais.
4. Implementação de Prova de Conceito: Um protótipo funcional implementado na blockchain Ethereum (testnet Goerli) para seguro de incêndios florestais, utilizando contratos inteligentes Solidity para verificação na cadeia.

4. Resultados Experimentais

Os autores conduziram avaliações empíricas extensas na testnet Ethereum usando dados de imagens de satélite do repositório Digital Earth Australia (DEA).

• Escalabilidade: O tempo de prova escala linearmente com o tamanho da entrada (número de pixels), enquanto o tamanho da prova permanece constante (aproximadamente 1,22 KB). O tempo de verificação na cadeia também é constante, independentemente do tamanho da entrada.
• Redução de Custo de Gás:
  • O Verificador Aprimorado (usando verificação em lote) reduziu os custos de gás de verificação em aproximadamente 78% em comparação com o verificador Sonic padrão.
  • O Verificador Aprimorado+ (que armazena elementos SRS fora da cadeia e os recupera via oráculos) alcançou uma redução de 80% nos custos de gás.
  • Especificamente, o custo de verificação para um sinistro caiu de ~1,62M de gás (Sonic Padrão) para ~0,34M de gás (Aprimorado), reduzindo o custo em USD de ~$38,91 para ~$8,19 (com base nas taxas de 2022).
• Sobrecarga: O tamanho da String de Referência Estruturada (SRS) é significativo (~191 MB), mas é gerado uma vez e compartilhado. Apenas um número fixo de elementos SRS é necessário para verificação na cadeia.

5. Significado e Alegações

O artigo alega oferecer uma solução prática para o trade-off entre privacidade e transparência em seguros baseados em blockchain. Ao utilizar zk-SNARKs, o framework:

• Protege a Privacidade do Usuário: Garante que dados sensíveis de sinistros (localização, leituras específicas de sensores) permaneçam ocultos do livro-razão público, permitindo ainda a verificação pública da validade do sinistro.
• Garante Integridade dos Dados: Valida a autenticidade de dados de múltiplas fontes independentes, prevenindo fraudes e garantindo a imparcialidade dos dados usados para pagamentos.
• Melhora a Viabilidade Econômica: As otimizações propostas (verificação em lote e gerenciamento de SRS fora da cadeia) reduzem drasticamente os custos computacionais (taxas de gás) associados à verificação na cadeia, tornando produtos complexos de seguro paramétrico economicamente viáveis em blockchains públicas como a Ethereum.

Os autores concluem que seu framework demonstra a viabilidade de implantar sistemas de seguros automatizados com preservação de privacidade em plataformas de blockchain do mundo real, abrindo caminho para uma adoção mais ampla na gestão de riscos financeiros.