{
  "@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": "Summary\n\nYoroi DRep votes YES for IO: Cardano High Assurance Technical Collaboration, as an investment in the formal verification infrastructure and developer tooling that underpins Cardano’s credibility as a platform for serious, high-value applications.\n\nRationale\n\nAutomated formal verification at ecosystem scale  \n\nBlaster’s 2025/26 cycle proved production-scale formal verification is feasible. This proposal extends that to full DApp-level verification, adds language integrations across Aiken, Pebble, Scalus, and Futura, and delivers it with a VS Code extension and Common Vulnerability Library, making formal verification a practical default rather than an expert-only option.\n\nDistributed delivery and maintenance  \n\nThe consortium model across six ecosystem organisations is the right structure for public infrastructure of this nature. It prevents the verification layer from depending on a single team’s continued funding and creates a self-reinforcing maintenance structure.\n\nOnboarding friction is a real cost  \n\nA 60 to 70% attrition rate during Nix-based environment setup is not an acceptable baseline for a platform competing for developer mindshare. CBDE converting that to a single command has a direct effect on the number of active Plinth developers in the ecosystem.\n\nConclusion\n\nBased on the rationales in the above, Yoroi votes YES. High assurance tooling and accessible developer environments are not peripheral concerns. They are what translates Cardano’s research reputation into real adoption among the developers and institutions that value correctness above all else."
  },
  "hashAlgorithm": "blake2b-256"
}