Aller au contenuBlockAssay

Signatures, messages et transactions

P03-L03 · P03 · P03-M01

Distinguer la signature de messages des instructions modifiant des actifs

ILLUSTRATIVE · needs_review

Prérequis: P03-L02

Objectifs pédagogiques

  • Distinguer la signature de messages des instructions modifiant des actifs
  • Lire les champs de messages portant une autorisation.
  • Séparer les étapes demandé, signé, soumis et exécuté.

Source maître EN · P03-L03 · needs_review

Étude exclusivement hors ligne/en lecture seule. Ne fournissez jamais de secrets, de mots de passe ni de codes d’authentification. Aucune connexion de portefeuille, autorisation réelle, révocation en direct, signature de transaction, aucun transfert, fonds ou échange. Les visuels sont uniquement des spécifications.

Pourquoi ce sujet compte

Le libellé d’une demande peut indiquer une connexion alors que ses champs autorisent une dépense. La demande réelle et les preuves ultérieures d’exécution doivent être évaluées séparément.

Explication

Classer l’autorisation

Les transactions portent des instructions signées [ETH_TX]. Les messages peuvent aussi autoriser des actions d’application. EIP-712 définit la signature structurée et le contexte de domaine ; la gestion du rejeu reste de la responsabilité de l’application [TYPED]. ERC-2612 fournit un mécanisme d’allowance signé utilisant owner, spender, value, nonce et deadline [PERMIT]. Aucune signature n’est créée dans cette leçon.

Comparer trois résumés hors ligne

R1 stipule une déclaration de type connexion, R2 une demande de type permit et R3 une demande de transfert. Le libellé de connexion de R2 ne supprime pas les champs spender/value. R1 ne possède pas d’autorité stipulée sur les actifs, mais son innocuité en dehors de l’exercice simplifié n’est pas établie. Un bouton générique de signature ne permet pas de déterminer quel rôle une application donnera au contenu signé.

Préserver le périmètre

Lisez le réseau/domaine, le contrat vérificateur, l’autorité, le spender, le montant, le nonce et la deadline lorsque ces champs s’appliquent. S’ils manquent, consignez UNKNOWN au lieu d’emprunter les champs d’une autre fiche. Un champ de nom de domaine familier n’authentifie pas indépendamment un projet. Le nonce et l’expiration nécessitent les règles de l’application qui accepte l’autorisation ; un format seul n’est pas une politique complète de sécurité.

Un permit peut être soumis par une autre partie selon les règles du contrat concerné. L’absence d’une transaction avec gas soumise par le signataire ne prouve donc pas qu’un message ne peut pas autoriser une allowance. Inversement, une demande de permit affichée ne prouve pas qu’une signature existe ou a été consommée.

Conserver les étapes dans le rapport

Demandé, signé, soumis et exécuté constituent des lignes distinctes. Seules des demandes sont fournies ici. OBSERVED : les résumés et les libellés. INFERRED : le classement selon les schémas stipulés. UNKNOWN : la production de signatures et l’exécution. INSUFFICIENT EVIDENCE : une perte, une intention malveillante ou une identité humaine. Évaluez la capacité sans formuler d’accusation et arrêtez-vous sans rien signer.

Terminologie

  • Message typé : contenu structuré de signature.
  • Permit : mécanisme applicable d’autorisation signée.
  • Séparation de domaines : contexte de périmètre, et non preuve d’identité.
  • Nonce : valeur vérifiée par rapport à l’état du contrat qui accepte l’autorisation pour distinguer les autorisations ; ERC-2612 incrémente le nonce de son owner lorsqu’un permit réussit.
  • Deadline : dernier moment auquel un permit ERC-2612 peut être accepté selon ses règles, et non garantie d’exécution.
  • Consommation : utilisation de l’autorisation par l’application ou le contrat.

Exemple historique

Résumés ILLUSTRATIVE expurgés, et non des charges utiles signables. R1 login/SIM-LOGIN/SIM-CHALLENGE, aucune permission sur des actifs stipulée. R2 libellé login, type Permit, owner SIM-A, spender SIM-S, value 500 unités entières du jeu de données, nonce 4, deadline SIM-T3, domain SIM-N/contract SIM-C. R3 demande de transfert de 7 unités SIM vers SIM-B sur SIM-N. Aucune signature, calldata ou reçu.

Spécifications visuelles

Matrice de permissions : libellé, type, périmètre et preuves d’exécution. Mettre en évidence R2 Permit/SIM-S/500 malgré le libellé de connexion. Toutes les fiches s’arrêtent avant la signature ; aucune charge utile exploitable ni bouton de transaction.

Ce que les preuves établissent

Les champs des demandes et les classements stipulés de capacités.

Ce que les preuves n’établissent pas

Une signature, une inclusion, une perte d’actifs, une protection complète contre le rejeu ou une intention humaine malveillante.

Erreurs fréquentes

  • Qualifier tous les messages de connexions inoffensives.
  • Interpréter l’absence de gas comme une absence d’autorité.
  • Assimiler l’affichage d’une demande à une exécution.

Exercice pratique

Classez R1–R3 et listez les champs d’autorité de R2. Remplissez les lignes demandé, signé, soumis et exécuté et précisez un enregistrement manquant nécessaire pour établir l’exécution.

Remettez un tableau et une conclusion délimitée en utilisant uniquement le matériel hors ligne fourni. Répartition éditoriale du temps : étude 12 min, exercice 8 min, correction/quiz 10 min.

Afficher la correction détaillée

R1 est uniquement une déclaration de connexion du jeu de données. R2 demande une capacité portant une allowance limitée à SIM-N/SIM-C, SIM-S, 500, nonce 4 et une expiration fictive. R3 demande un transfert. Signature, soumission et exécution sont UNKNOWN. Un enregistrement de signature consommée, d’état ou de reçu est nécessaire pour établir l’exécution. L’intention malveillante relève d’INSUFFICIENT EVIDENCE.

Grille : périmètre exact, provenance des sources, raisonnement, limites explicites et manipulation sûre hors ligne, un point chacun. Les observations inventées ou l’attribution d’identité non étayée doivent être corrigées quel que soit le score. Évaluation formative uniquement.

Liste de contrôle

  • Lire les champs avant le libellé.
  • Consigner contrat, réseau, spender et montant.
  • Conserver le contexte du nonce et de l’expiration.
  • Séparer les quatre étapes.
  • Ne jamais signer pour l’exercice.

Résumé

La signature d’un message peut autoriser des actions aux conséquences importantes. Examiner une capacité ne prouve pas l’exécution et n’établit pas indépendamment une intention malveillante.

Résumé

  • Distinguer la signature de messages des instructions modifiant des actifs
  • Lire les champs de messages portant une autorisation.
  • Séparer les étapes demandé, signé, soumis et exécuté.

Leçon suivante

P03-L04 après revue des prérequis et de la correction.

Outils

NONE dans le catalogue de référence. Les données hors ligne fournies suffisent ; aucun achat de produit ni aucune opération de portefeuille n’est requis.

Sources et limites des affirmations

La documentation explique les mécanismes. Les enregistrements historiques conservent leur classe de source déclarée. L’inspection d’une source ne constitue pas une acceptation éditoriale indépendante.

Spécifications visuelles

P03-L03-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Distinguer la signature de messages des instructions modifiant des actifs

Fiches hors ligne ILLUSTRATIVE expurgées ; ce n’est pas un écran en direct

Matrice de permissions : libellé, type, périmètre et preuves d’exécution. Mettre en évidence R2 Permit/SIM-S/500 malgré le libellé de connexion. Toutes les fiches s’arrêtent avant la signature ; aucune charge utile exploitable ni bouton de transaction.

Matrice de permissions : libellé, type, périmètre et preuves d’exécution. Mettre en évidence R2 Permit/SIM-S/500 malgré le libellé de connexion. Toutes les fiches s’arrêtent avant la signature ; aucune charge utile exploitable ni bouton de transaction.

390px : cartes empilées/équivalent textuel ; validation du rendu 768px/ordinateur en attente

Prose RTL ; identifiants isolés LTR ; sens factuel des liens conservé

FIX-P03-L03

Sources et limites des affirmations

TYPED · PRIMARY_DOCUMENTATION

Signature structurée typée EIP-712

Affirmation étayée
Champs de signature structurée et de domaine ; les protections contre le rejeu de l’application restent distinctes.
Limite de vérification
Source primaire inspectée pour le mécanisme associé ou la déclaration attribuée ; aucune authentification des données illustratives.
Date de vérification
2026-10-01
Ouvrir la source primaire
https://eips.ethereum.org/EIPS/eip-712

PERMIT · PRIMARY_DOCUMENTATION

Autorisations signées ERC-2612

Affirmation étayée
Autorisation d’allowance par permit avec owner, spender, value, nonce et deadline.
Limite de vérification
Source primaire inspectée pour le mécanisme associé ou la déclaration attribuée ; aucune authentification des données illustratives.
Date de vérification
2026-10-01
Ouvrir la source primaire
https://eips.ethereum.org/EIPS/eip-2612

ETH_TX · PRIMARY_DOCUMENTATION

Transactions Ethereum

Affirmation étayée
Instructions signées et inclusion distincte de la soumission.
Limite de vérification
Source primaire inspectée pour le mécanisme associé ou la déclaration attribuée ; aucune authentification des données illustratives.
Date de vérification
2026-10-01
Ouvrir la source primaire
https://ethereum.org/en/developers/docs/transactions/

Provenance des données

id: FIX-P03-L03

dataStatus: ILLUSTRATIVE

source: Original embedded offline cards; no real observations

observedAt: null

timeBasis: SIM/T markers are fictional order, not UTC timestamps

Testez votre raisonnement

P03-L03-Q1 · Le libellé de connexion prévaut-il sur les champs Permit ?
P03-L03-Q2 · Quelle preuve d’exécution manque ?
P03-L03-Q3 · EIP-712 seul assure-t-il la protection contre le rejeu ?
P03-L03-Q4 · Quels champs définissent directement le périmètre de dépense ?
P03-L03-Q5 · Une demande d’autorisation prouve-t-elle une intention malveillante ?