ART-607 · Verify-Rails · EVM Interface Identity Family
ERC-1967 Proxy Slot Classifier
Recomputes the four canonical EIP-1967 storage slots fresh on every run (keccak256 of a fixed label, minus 1), then classifies a pasted (declared_slot, storage_value) pair: which role the slot matches, if any, and whether the value looks like the zero-padded address EIP-1967 expects there. Zero network calls: never reads live chain state.
Slots recomputed fresh, not hardcodedEIP-55 checksum on any embedded addressAddress/slot fact only: no upgrade-safety judgment
🔒 All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only.
Scope: address/slot fact, never a safety judgment
declared_slot and storage_value are both values YOU read from your own eth_getStorageAt call or a block explorer; this tool never fetches them and cannot confirm they are current. A recognized slot with an address-shaped value says nothing about whether that implementation, admin, or beacon address is safe, audited, or behaves correctly.
Storage read (paste what you read from eth_getStorageAt)
Reference: canonical EIP-1967 slots (computed fresh on this page load)
Role
Slot
–
Matched Role
–
Overall Determination
Per-check findings
Check
Verdict
Detail
Embedded address
–
Compliance Flags
Not proven by this check
⚠ DECISION-SUPPORT DRAFT. Never an upgrade-safety, admin-trustworthiness, or implementation-safety judgment.