{
  "id": 5450,
  "title": "EIP-5450: EOF - Stack Validation",
  "status": "Stagnant",
  "type": "Standards Track",
  "category": "Core",
  "summary": "This adds comprehensive stack validation to EOF contracts at deployment time, ensuring that stack underflow and overflow cannot happen during execution. By analyzing all possible code paths and tracking stack heights, it eliminates the need for most runtime stack checks, making execution faster and more predictable. Only CALLF and JUMPF instructions need runtime stack overflow checks. The validation also prevents deployment of unreachable code and ensures proper function termination. This creates guarantees that enable better compiler optimizations and ahead-of-time compilation while maintaining linear validation complexity.",
  "impacts": [],
  "discussion_url": "https://ethereum-magicians.org/t/eip-5450-eof-stack-validation/10410",
  "source_markdown_url": "https://github.com/ethereum/EIPs/blob/master/EIPS/eip-5450.md",
  "canonical_url": "/latest/eips/5450.json",
  "markdown_url": "/latest/eips/5450.md",
  "citations": [
    {
      "recordId": "eip-5450",
      "artifactPath": "normalized/5450.json",
      "url": "/records/proposal/eip-5450/normalized/5450.json",
      "label": "EIP-5450: EOF - Stack Validation",
      "snippet": "This adds comprehensive stack validation to EOF contracts at deployment time, ensuring that stack underflow and overflow cannot happen during execution. By analyzing all possible code paths and tracking stack heights, it"
    }
  ]
}