På EVM kodar calldata function och parameters. UI kan säga 'swap' medan payload gör något annat; dekoda och jämför med avsikten.
Detta koncept är viktigt eftersom Kärnrisk: behandla inte knappen är inte transaktionen som en oviktig detalj.
Inspektera de exakta protokollfälten som skapar behörighet eller ändrar exekveringen. Jämför fälten med användarens deklarerade avsikt och den förväntade säkerhetsgränsen.
Inspektera de exakta protokollfälten som skapar behörighet eller ändrar exekveringen.
På protokoll- och exekveringsnivå ska du inspektera selector och arguments och target och native value och nested execution. Protokollidentifierare översätts inte eftersom de ingår i den tekniska payloaden.
selectorTekniska inspektionspunkter
argumentsTekniska inspektionspunkter
targetTekniska inspektionspunkter
native valueTekniska inspektionspunkter
nested executionTekniska inspektionspunkter
Behandla motsägelser, överdriven behörighet och oförklarade beroenden som materiella felsignaler.
Den praktiska konsekvensen är att Åtgärd: verifiera teknisk evidence kring knappen är inte transaktionen före auktorisering. Okänt är inte samma sak som säkert.
Koppla varje materiell signal till dess konkreta konsekvens för tillgångar, behörighet eller förtroende.
Den praktiska konsekvensen är att Åtgärd: verifiera teknisk evidence kring knappen är inte transaktionen före auktorisering.
Eskalera när evidensen är motsägelsefull eller ofullständig eller när konsekvensen överstiger rutinpolicy.
Verifiera begäran med oberoende evidens före irreversibel auktorisering.
Inspektera de exakta protokollfälten som skapar behörighet eller ändrar exekveringen.
Jämför fälten med användarens deklarerade avsikt och den förväntade säkerhetsgränsen.
Verifiera begäran med oberoende evidens före irreversibel auktorisering.
Dokumentera fakta, antaganden, okända faktorer och beslut så att en annan analytiker kan reproducera granskningen.
Eskalera när evidensen är motsägelsefull eller ofullständig eller när konsekvensen överstiger rutinpolicy.
Dokumentera fakta, antaganden, okända faktorer och beslut så att en annan analytiker kan reproducera granskningen.
Kärnrisk: behandla inte knappen är inte transaktionen som en oviktig detalj. och Åtgärd: verifiera teknisk evidence kring knappen är inte transaktionen före auktorisering.
Kärnrisk: behandla inte knappen är inte transaktionen som en oviktig detalj.
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 → materiell evidens
evidens → konsekvens / behörighet
konsekvens → tydligt beslut + nästa åtgärd
decoded-intent record + mismatch listcalldata / intentSwap 1 ETH0x095ea7b3approve(address,uint256)0xNew...MAX_UINT2560Identifiera före svaret vilken befogenhet som ges, vilken trust boundary som kan fallera och vilken konsekvens som blir oåterkallelig.
Separera identitet, auktoritet, exekvering och kontext före säkerhetsbeslutet.
Vem eller vad begär, tar emot eller representerar auktoritet?
Vilken förmåga kan ges, behållas eller utövas?
0xNew...Vad kommer payload, route eller system faktiskt att göra?
0x095ea7b3approve(address,uint256)MAX_UINT2560Vilka omgivande fakta kan materiellt ändra beslutet?
Swap 1 ETHSvara inte ur minnet. Använd fallet, protokollfälten och verifieringsproceduren ovan för att skriva ett reproducerbart fynd.
Kärnrisk: behandla inte knappen är inte transaktionen som en oviktig detalj.
Åtgärd: verifiera teknisk evidence kring knappen är inte transaktionen före auktorisering.
Skriv ned ditt resonemang före kontrollen och avsluta med ett tydligt beslut eller nästa åtgärd. Anteckningarna stannar på den här enheten.
Utveckla alla tre avsnitten innan slutförande.
Modulen fördjupar transaktionsavsikt och calldata med tillämpad teori och ett eget besluts-labb.