Auditoria de Feed de Dados do Oráculo Soroban

O que é: Rastreia provedores de feed de preços descentralizados, limites de atualidade e lógica de medianizador multi-fonte para prevenir manipulação de oráculos em protocolos Soroban.

Visão Geral

Fornece um framework padronizado e auditável e um modelo de dados para operações de Auditoria de Feed de Dados do Oráculo Soroban em sistemas de engenharia distribuída e aplicações descentralizadas.

Quando Usar Esta Habilidade

• Ao formalizar contratos de arquitetura, invariantes de segurança ou limites operacionais para a Auditoria de Feed de Dados do Oráculo Soroban.
• Quando for necessária revisão interfuncional entre desenvolvedores de protocolo, auditores de contratos inteligentes e agentes de engenharia de IA.
• Ao gerar registros reproduzíveis em CSV, SQL DDL, JSON Schema e propriedades do Notion para rastrear conformidade.

Como Funciona

1. Defina os parâmetros, limiares e associações de identidade necessários para o registro operacional alvo.
2. Selecione os valores apropriados de aplicação de limites dos conjuntos de seleção de enum validados.
3. Exporte artefatos padronizados (tabela CSV, SQL DDL, JSON Schema) para integrar em pipelines de CI de validação.

Referência de Campo

Opções de Seleção

Limite de Reversão do Disjuntor

Yes | No

Status de Saúde do Feed

Active Healthy | Stale Alert | Deviation Triggered | Paused

Relações

• Audit Reference -> links para a documentação de revisão formal ou repositório de testes.
• Target Architecture -> links para o contrato implantado ou componente de tempo de execução do agente autônomo.

Exemplos

Prompt

How do I configure and track Soroban Oracle Data Feed Audit for our production environment?

Próximo Passo Recomendado

Gere o esquema de campo unificado, a migração SQL DDL e o esquema de validação JSON para registrar em seu catálogo de sistema.

Fluxo de trabalho: Defina critérios -> Execute verificação automatizada -> Registre linha de base -> Monitore invariantes.

Melhores Práticas

• Aplique tipagem rigorosa em limites numéricos e valores de moeda; evite campos de texto livre não estruturados para estados críticos.
• Reexecute suítes de teste de validação em cada commit que altera o estado ou mudança de parâmetro.
• Mantenha dados de exemplo sintéticos e isolados de chaves criptográficas de produção ou endpoints privados.

Limitações

• Fornece especificações de arquitetura, modelos de dados e esquemas de verificação; não executa assinatura direta de transação sem ferramentas externas autorizadas.
• Requer conectividade de rede e credenciais RPC válidas ao consultar estados on-chain.

Notas de Segurança e Proteção

• Todos os parâmetros declaram risk: safe. Nenhuma modificação de estado não autorizada ou acesso a credenciais privilegiadas é realizada.
• Use chaves fictícias sintéticas e endereços mock em suítes de teste e scripts de verificação local.

Armadilhas Comuns

• Problema: Precisão decimal incompatível entre o tempo de execução do contrato e o registro do banco de dados. Solução: Sempre verifique os decimais usando o mapeamento explícito de campo nesta referência.
• Problema: Falta de verificações de autorização antes da atualização do estado. Solução: Faça a validação cruzada com o registro de Auditoria de Segurança antes da implantação.

Habilidades Relacionadas

• @soroban-contract-audit - fornece a lista de verificação de segurança e categorização de vulnerabilidades.
• @soroban-storage-ttl-lifecycle - cobre a política de aluguel de ledger e extensão de TTL.
• @smart-contract-formal-verification - verifica invariantes de estado matematicamente.

…