Avaliação de evidências DeFi

Fonte-mestra EN · P11-L08 · duração estimada: 30 minutos · needs_review

Estudo formativo sem ligação à rede. Sem ligação de carteira, fundos reais, chaves privadas, assinaturas, operação em tempo real ou entradas de carteira pessoal. Os recursos visuais são especificações; não é conteúdo de execução nem certificação.

Uma declaração oficial de incidente é evidência sólida do que um colaborador do protocolo comunicou, mas não prova por si só cada afirmação subjacente de segurança.

Estabelecer primeiro o pacote histórico

O pacote persistido separadamente P11-L08-AAVE-DISCLOSURE-20231104-v1 contém dois registos oficiais de publicações do fórum [INC, DEP], recuperados em 2026-10-01. É um registo seletivo de paráfrases, não um arquivo idêntico byte a byte. O caso é a divulgação de segurança Aave v2/v3 de 4 de novembro de 2023, não uma exploração inventada.

Delimitar a afirmação do mecanismo

R1 regista o erro crítico e a restrição de taxa estável comunicados por BGD; R2 regista restrições à criação de dívida estável descritas depois e proposta de retirada. Faltam detalhes subjacentes da exploração e código implementado exato. R3 preserva inconsistência de direção na especificação posterior; não a resolva adivinhando comportamento implementado. A lição avalia qualidade da divulgação, não reproduz código vulnerável.

Separar faixas temporais

O relato de novembro e a proposta de 31 de janeiro de 2024 têm cortes de informação diferentes. O tópico recuperado atualmente pode incluir revisões e atualizações posteriores, pelo que não é autenticado como ecrã exato de 4 de novembro. Não use justificação de janeiro como evidência disponível na decisão anterior. Proposta comunicada não é execução verificada independentemente.

Testar afirmações mais restritas

«A publicação R1 contém garantia de não exploração» pode ser avaliado pela declaração preservada. «Não ocorreu exploração em lugar algum» não é autenticado apenas por essa garantia. Igualmente, linguagem de segurança do protocolo é atribuída, não adotada como veredicto Academy. Investigação de cadeia nativa não é necessária para este objetivo de avaliação da publicação, mas afirmações ao nível de transação exigiriam recibos e proveniência de rede/estado não recolhidos. Não se inventa montante, endereço, perda nem tempo de execução.

Redigir conclusão delimitada

Associe cada afirmação a registo, faixa temporal, estado de evidência, pressupostos e material ausente. A inferência didática é verificar restrições face ao âmbito de implementação antes de concluir mais fortemente sobre segurança. É prioridade de revisão, não auditoria demonstrada da mitigação. Preserve os limites aceites de P02-L08/P03-L07 nos seus outros contextos.

• Registo de publicação oficial: declaração datada de colaborador, não prova automática do evento subjacente.
• Atribuição: manter relato ligado ao autor/fonte.
• Lacuna de implementação: falta de código fixado a versão e estado.
• Faixa de corte: afirmações limitadas ao que o registo datado fornece.

Registos do pacote HISTORICAL R1 (divulgação de 4 de novembro), R2 (proposta/justificação de 31 de janeiro) e R3 (inconsistência da especificação posterior). Ver docs/academy-2/datasets/P11-L08-AAVE-DISCLOSURE-20231104-v1.json. Não é fornecido registo de transação da cadeia; a fonte selecionada sustenta apenas avaliação da divulgação.

Painel histórico de evidências: faixas datadas R1/R2, indicador de conflito por resolver R3; colunas de afirmação publicada e prova independente do evento. Sem cronologia de cadeia, recibos, gráfico de perdas ou classificação de segurança fabricados.

O que os registos oficiais preservados comunicaram dentro dos seus limites de representação e recuperação.

Ausência de exploração verificada independentemente, correção da mitigação implementada, estados reais de transação, aritmética exata da exploração, perdas, identidade humana ou segurança universal.

• OBSERVED: R1 preservado contém declaração atribuída de divulgação; âmbito do conteúdo publicado.
• INFERRED: a restrição comunicada torna útil rever âmbito de implementação como próxima pergunta de evidência, pressupondo pertinência do relato.
• UNKNOWN: aritmética vulnerável exata e estado contratual executado neste pacote.
• INSUFFICIENT EVIDENCE: as publicações provam independentemente segurança de todos os pools ou ausência de exploração.

• Promover garantia de colaborador a prova de cadeia.
• Tratar proposta como execução.
• Resolver por invenção a frase contraditória de direção.
• Usar justificação posterior no corte anterior.

Construa quatro linhas de afirmações: publicação do relato, prioridade de revisão, implementação exata e ausência global de exploração. Indique estado, fonte/registo, faixa temporal e evidências ausentes. Explique o tratamento de R3 e redija conclusão delimitada de duas frases sem transações ou montantes de perdas.

Entregue cálculos ou anotações, tabela de afirmações/fontes e limites. Distribuição sugerida: estudo 12 minutos, exercício 8, correção/questionário 10; estimativa sujeita a calibração.

• Usar pacote congelado e registo datado.
• Atribuir garantias do protocolo.
• Distinguir proposta de execução.
• Preservar código/estado ausentes e conflito textual por resolver.
• Exigir proveniência de transações antes de acrescentar afirmações de cadeia.

O requisito histórico está satisfeito para avaliar publicação oficial de forma delimitada. Garantias do evento subjacente e da implementação continuam atribuídas e não verificadas.

• Redigir uma avaliação específica de afirmações de uma divulgação histórica oficial.
• Preservar limites de implementação e atribuição por resolver.

Sequência do programa concluída. Regresse ao plano de estudos para progressão aprovada pelo Controller; não se implica um programa novo.

NONE no catálogo autorizado. Os dados do exercício/pacote sem ligação à rede bastam; não exige função paga nem capacidade de produção não verificada. Metadados de laboratório/certificação indicam associações posteriores, não condições de acesso ou prémios em tempo real.

• [INC] BGD Labs na governança Aave — divulgação de 4 de novembro de 2023 — Relato de erro, mitigação de taxa estável, declaração de não exploração e divulgação restrita atribuídos; não prova de cadeia. Verificado 2026-10-01; localizador turn10view0.
• [DEP] BGD Labs na governança Aave — seguimento de 31 de janeiro de 2024 — Restrições à criação de dívida estável e proposta atribuídas; a fonte contém uma inconsistência de direção no parágrafo de especificação. Verificado 2026-10-01; localizador turn13view1.