På EVM encoder calldata function og parameters. Et UI kan vise 'swap', mens payloaden autoriserer noget andet; decode og sammenlign med intentionen.
Dette koncept er vigtigt, fordi Kjernerisiko: behandl ikke knappen er ikke transaktionen som en uvæsentlig detalje.
Inspicér de præcise protokolfelter, der skaber autoritet eller ændrer eksekveringen. Sammenlign felterne med brugerens erklærede hensigt og den forventede sikkerhedsgrænse.
Inspicér de præcise protokolfelter, der skaber autoritet eller ændrer eksekveringen.
På protokol- og eksekveringsniveau skal du inspicere selector og arguments og target og native value og nested execution. Protokolidentifikatorer oversættes ikke, fordi de er en del af den tekniske payload.
selectorTekniske inspektionspunkter
argumentsTekniske inspektionspunkter
targetTekniske inspektionspunkter
native valueTekniske inspektionspunkter
nested executionTekniske inspektionspunkter
Behandl modstrid, overdreven autoritet og uforklarede afhængigheder som væsentlige fejlsignaler.
Den praktiske konsekvens er, at Handling: verificér teknisk evidence omkring knappen er ikke transaktionen før autorisation. Ukendt er ikke det samme som sikkert.
Knyt hvert væsentligt signal til den konkrete konsekvens for aktiver, autoritet eller tillid.
Den praktiske konsekvens er, at Handling: verificér teknisk evidence omkring knappen er ikke transaktionen før autorisation.
Eskaler når evidensen er modstridende eller ufuldstændig, eller når konsekvensen overstiger rutinepolitik.
Verificér requesten med uafhængig evidens før irreversibel autorisation.
Inspicér de præcise protokolfelter, der skaber autoritet eller ændrer eksekveringen.
Sammenlign felterne med brugerens erklærede hensigt og den forventede sikkerhedsgrænse.
Verificér requesten med uafhængig evidens før irreversibel autorisation.
Dokumentér fakta, antagelser, ukendte forhold og beslutning, så en anden analytiker kan reproducere reviewet.
Eskaler når evidensen er modstridende eller ufuldstændig, eller når konsekvensen overstiger rutinepolitik.
Dokumentér fakta, antagelser, ukendte forhold og beslutning, så en anden analytiker kan reproducere reviewet.
Kjernerisiko: behandl ikke knappen er ikke transaktionen som en uvæsentlig detalje. og Handling: verificér teknisk evidence omkring knappen er ikke transaktionen før autorisation.
Kjernerisiko: behandl ikke knappen er ikke transaktionen som en uvæsentlig detalje.
calldata[0:4]ABI-decoded parameterstransaction.totransaction.valuemulticall / router subcallsUI intent != decoded method
unknown selector
unexpected recipient
hidden native value
nested call changes authority
capture exact payload
resolve selector / ABI
decode every material parameter
trace nested calls when present
compare decoded action with user intent
fakta → materiel evidens
evidens → konsekvens / autoritet
konsekvens → eksplicit beslutning + næste handling
decoded-intent record + mismatch listcalldata / intentSwap 1 ETH0x095ea7b3approve(address,uint256)0xNew...MAX_UINT2560Identificér før svaret den autoritet der gives, den trust boundary der kan fejle, og den irreversible konsekvens.
Adskil identitet, autoritet, eksekvering og kontekst før sikkerhedsbeslutningen.
Hvem eller hvad anmoder om, modtager eller repræsenterer autoritet?
Hvilken kapacitet kan gives, beholdes eller udøves?
0xNew...Hvad vil payload, route eller system faktisk gøre?
0x095ea7b3approve(address,uint256)MAX_UINT2560Hvilke omgivende fakta kan materielt ændre beslutningen?
Swap 1 ETHSvar ikke fra hukommelsen. Brug casen, protokolfelterne og verifikationsproceduren ovenfor til at skrive et reproducerbart fund.
Kjernerisiko: behandl ikke knappen er ikke transaktionen som en uvæsentlig detalje.
Handling: verificér teknisk evidence omkring knappen er ikke transaktionen før autorisation.
Notér din begrundelse før checkpointet og afslut med en eksplicit beslutning eller næste handling. Noterne bliver på denne enhed.
Udbyg alle tre sektioner før afslutning.
Dette modul går i dybden med transaktionsintention og calldata gennem anvendt teori og et separat beslutningslab.