{
  "@context": {
    "CIP100": "https://github.com/cardano-foundation/CIPs/blob/master/CIP-0100/README.md#",
    "hashAlgorithm": "CIP100:hashAlgorithm",
    "body": {
      "@id": "CIP100:body",
      "@context": {
        "references": {
          "@id": "CIP100:references",
          "@container": "@set",
          "@context": {
            "GovernanceMetadata": "CIP100:GovernanceMetadataReference",
            "Other": "CIP100:OtherReference",
            "label": "CIP100:reference-label",
            "uri": "CIP100:reference-uri",
            "referenceHash": {
              "@id": "CIP100:referenceHash",
              "@context": {
                "hashDigest": "CIP100:hashDigest",
                "hashAlgorithm": "CIP100:hashAlgorithm"
              }
            }
          }
        },
        "comment": "CIP100:comment",
        "externalUpdates": {
          "@id": "CIP100:externalUpdates",
          "@context": {
            "title": "CIP100:update-title",
            "uri": "CIP100:uri"
          }
        }
      }
    },
    "authors": {
      "@id": "CIP100:authors",
      "@container": "@set",
      "@context": {
        "name": "http://xmlns.com/foaf/0.1/name",
        "witness": {
          "@id": "CIP100:witness",
          "@context": {
            "witnessAlgorithm": "CIP100:witnessAlgorithm",
            "publicKey": "CIP100:publicKey",
            "signature": "CIP100:signature"
          }
        }
      }
    }
  },
  "authors": [],
  "body": {
    "comment": "I’m voting yes because this upgrade meaningfully improves Plutus by making smart contracts cheaper to run, more correct through formal verification, and easier to develop with better tooling and simpler setup. That combination lowers friction for builders and increases reliability, which strengthens Cardano’s ability to support serious financial and DeFi applications. It also matters for real-world impact: more efficient contracts and better developer experience usually translate into more builders shipping on Cardano, more deployed dApps, and higher transaction activity over time. In that sense, we do need it—not because the system is broken, but because reducing cost, risk, and complexity is what drives the next wave of adoption and ecosystem growth. It also helps AI agents indirectly, since clearer tooling, better error reporting, and formal verification make smart contract behavior more predictable and machine-analyzable. That makes it easier for AI systems to safely generate, audit, and interact with on-chain logic."
  },
  "hashAlgorithm": "blake2b-256"
}