Évaluation des preuves en DeFi

Source maîtresse EN · P11-L08 · durée estimée : 30 minutes · needs_review

Étude formative hors ligne. Aucune connexion à un portefeuille, aucun fonds réel, aucune clé privée, aucune signature, aucune négociation en direct ni donnée personnelle de portefeuille. Les visuels sont des spécifications ; il ne s’agit ni de contenu à l’exécution ni d’une certification.

Une déclaration officielle d’incident constitue une preuve solide de ce qu’a rapporté un contributeur du protocole, mais ne peut pas, à elle seule, prouver toutes les affirmations de sécurité sous-jacentes.

Établir d’abord le paquet historique

Le paquet persisté séparément P11-L08-AAVE-DISCLOSURE-20231104-v1 contient deux enregistrements de publications officielles du forum [INC, DEP], récupérées le 2026-10-01. Il s’agit d’un enregistrement de paraphrases sélectionnées, pas d’une archive identique octet par octet. Le cas porte sur la divulgation de sécurité d’Aave v2/v3 du 4 novembre 2023, pas sur une exploitation inventée.

Délimiter l’affirmation sur le mécanisme

R1 consigne le bogue critique rapporté par BGD et la restriction du taux stable ; R2 consigne les restrictions de création de dette à taux stable décrites ultérieurement et une proposition de retrait progressif. Les détails sous-jacents de l’exploitation et le code exact déployé sont absents du paquet. R3 préserve une incohérence de direction dans le texte ultérieur de spécification ; ne la résolvez pas en devinant le comportement implémenté. La leçon évalue la qualité de la divulgation, pas une reproduction du code vulnérable.

Séparer les pistes temporelles

Le rapport de novembre et la proposition du 31 janvier 2024 ont des limites d’information différentes. Le fil actuellement récupéré peut comprendre des révisions et des mises à jour ultérieures ; il n’est donc pas authentifié comme l’écran exact du 4 novembre. N’utilisez pas le raisonnement de janvier comme preuve disponible au moment de la décision antérieure. Une proposition rapportée n’est pas une exécution vérifiée indépendamment.

Tester des affirmations plus restreintes

« La publication R1 contient une assurance de non-exploitation » peut être évalué à partir de la déclaration conservée. « Aucune exploitation n’a eu lieu nulle part » ne peut pas être authentifié par cette seule assurance. De même, les formulations de sécurité du protocole restent attribuées à leurs auteurs, sans être adoptées comme verdict d’Academy. Une enquête sur la chaîne native n’est pas nécessaire pour cet objectif d’évaluation de publication, mais des affirmations portant sur des transactions exigeraient des reçus, un réseau et une provenance des états qui n’ont pas été collectés ici. Aucun montant, aucune adresse, aucune perte ni aucune heure d’exécution ne sont inventés.

Rédiger une conclusion délimitée

Associez chaque affirmation à un enregistrement, une piste temporelle, un état de preuve, des hypothèses et des éléments manquants. L’inférence pédagogique est qu’il faut vérifier les restrictions par rapport au périmètre d’implémentation avant de tirer une conclusion de sécurité plus forte. Il s’agit d’une priorité de vérification, pas d’un audit démontré des mesures d’atténuation. Préservez sans modification les limites acceptées de P02-L08/P03-L07 ailleurs dans le cursus.

• Enregistrement d’une publication officielle : déclaration datée d’un contributeur, pas preuve automatique de l’événement sous-jacent.
• Attribution : maintenir le lien entre un rapport et son auteur ou sa source.
• Lacune d’implémentation : absence de code et d’état figés à des versions exactes.
• Piste délimitée dans le temps : affirmations restreintes à ce que fournit leur enregistrement daté.

Le paquet HISTORICAL comprend R1 (divulgation du 4 novembre), R2 (proposition et justification du 31 janvier) et R3 (incohérence ultérieure de spécification). Voir docs/academy-2/datasets/P11-L08-AAVE-DISCLOSURE-20231104-v1.json. Aucun enregistrement de transaction sur la chaîne n’est fourni ; la source sélectionnée étaye uniquement une évaluation de divulgation.

Panneau historique de preuves : pistes datées R1/R2, signalement du conflit non résolu R3 ; colonnes distinguant affirmation d’une publication et preuve indépendante d’événement. Aucune chronologie de chaîne fabriquée, aucun reçu fabriqué, aucun graphique de pertes ni aucune note de sécurité.

Ce que rapportent les enregistrements conservés des publications officielles, dans les limites de leur restitution et de leur récupération.

La non-exploitation vérifiée indépendamment, la justesse des mesures d’atténuation déployées, les états réels des transactions, les calculs exacts de l’exploitation, les pertes, l’identité humaine ou la sécurité universelle.

• OBSERVED (OBSERVÉ) : R1 conservé contient la déclaration de divulgation attribuée ; le périmètre est le contenu de la publication.
• INFERRED (INFÉRÉ) : la restriction rapportée fait de l’examen du périmètre d’implémentation une prochaine question utile pour les preuves, en supposant le rapport pertinent.
• UNKNOWN (INCONNU) : calculs exacts de la vulnérabilité et état exécuté du contrat dans ce paquet.
• INSUFFICIENT EVIDENCE (ÉLÉMENTS DE PREUVE INSUFFISANTS) : les publications prouvent indépendamment que tous les pools sont sûrs ou qu’aucune exploitation n’a eu lieu.

• Transformer l’assurance d’un contributeur en preuve de la chaîne.
• Traiter une proposition comme une exécution.
• Résoudre par invention la phrase dont la direction est incohérente.
• Utiliser un raisonnement ultérieur à la limite d’information antérieure.

Construisez quatre lignes d’affirmations : publication du rapport, priorité de vérification, implémentation exacte et absence mondiale d’exploitation. Indiquez l’état, la source ou l’enregistrement, la piste temporelle et les preuves manquantes. Expliquez le traitement de R3 et rédigez une conclusion délimitée en deux phrases, sans transactions ni montants de pertes.

Fournissez les calculs ou annotations, le tableau affirmations/sources et les limites. Répartition suggérée : étude 12 minutes, exercice 8, correction et quiz 10 ; estimation à calibrer.

• Utiliser le paquet figé et l’enregistrement daté.
• Attribuer les assurances du protocole à leurs auteurs.
• Distinguer proposition et exécution.
• Laisser non résolus le code ou l’état manquants et le conflit textuel.
• Exiger la provenance des transactions avant d’ajouter des affirmations sur la chaîne.

Le critère historique est satisfait pour une évaluation délimitée de publications officielles. Les assurances concernant l’événement sous-jacent et l’implémentation restent attribuées et non vérifiées.

• Rédiger une évaluation, affirmation par affirmation, d’une divulgation historique officielle.
• Préserver les limites non résolues d’implémentation et d’attribution.

La séquence du programme est terminée. Revenez au cursus pour la progression approuvée par le Controller ; aucun nouveau programme n’est implicite.

NONE dans le catalogue faisant autorité. Le jeu fictif ou paquet hors ligne fourni suffit ; aucune fonctionnalité payante ni capacité Production non vérifiée n’est nécessaire. Les métadonnées de laboratoire ou de certification désignent des associations en aval, pas des conditions d’accès ni des distinctions délivrées en direct.

• [INC] BGD Labs sur la gouvernance Aave — divulgation du 4 novembre 2023 — Rapport de bogue attribué, atténuation liée au taux stable, déclaration de non-exploitation et divulgation restreinte ; pas preuve de la chaîne. Vérifié le 2026-10-01 ; repère turn10view0.
• [DEP] BGD Labs sur la gouvernance Aave — suivi du 31 janvier 2024 — Restrictions de création de dette à taux stable et proposition attribuées ; la source contient une incohérence de direction dans le paragraphe de spécification. Vérifié le 2026-10-01 ; repère turn13view1.