{
  "id": 7545,
  "title": "EIP-7545: Verkle proof verification precompile",
  "status": "Stagnant",
  "type": "Standards Track",
  "category": "Core",
  "summary": "This adds efficient built-in verification for Verkle tree cryptographic proofs. Instead of expensive smart contract computations, this precompile enables fast and cheap verification of the new proof system.",
  "impacts": [
    "Benefits through cheaper applications that need to verify state proofs, enabling new use cases like efficient cross-chain bridges.",
    "Enables building applications that efficiently verify Verkle proofs, opening up new possibilities for cross-chain protocols and state-dependent applications.",
    "Can implement more efficient state verification in light clients and improve cross-chain transaction validation.",
    "Infrastructure services can leverage efficient proof verification for state-dependent queries and cross-chain data verification.",
    "Critical for Layer 2 systems that need to verify L1 state efficiently, enabling better bridge security and state synchronization.",
    "Indirect benefits through more efficient proof verification reducing overall network computational load.",
    "No direct impact on consensus layer operations as this affects execution layer precompile functionality.",
    "Must implement the Verkle proof verification precompile with proper gas accounting and cryptographic verification algorithms.",
    "Enables cheap verification of Verkle proofs in smart contracts",
    "Unlocks new cross-chain application possibilities",
    "Reduces gas costs for state proof verification",
    "Essential infrastructure for stateless applications"
  ],
  "discussion_url": "https://ethereum-magicians.org/t/verkle-proof-verification-precompile/16274",
  "source_markdown_url": "https://github.com/ethereum/EIPs/blob/master/EIPS/eip-7545.md",
  "canonical_url": "/latest/eips/7545.json",
  "markdown_url": "/latest/eips/7545.md",
  "citations": [
    {
      "recordId": "eip-7545",
      "artifactPath": "normalized/7545.json",
      "url": "/records/proposal/eip-7545/normalized/7545.json",
      "label": "EIP-7545: Verkle proof verification precompile",
      "snippet": "This adds efficient built-in verification for Verkle tree cryptographic proofs. Instead of expensive smart contract computations, this precompile enables fast and cheap verification of the new proof system."
    }
  ]
}