UltraDAG: SmartOp Vote Path Triggers Fatal Supply Invariant Halt_CVE-2026-40583

{
    "lastseen": "",
    "description": "UltraDAG is a minimal DAG-BFT blockchain in Rust. In version 0.1, a non-council attacker can submit a signed SmartOp::Vote transaction that passes signature, nonce, and balance prechecks, but fails authorization only after state mutation has already occurred.",
    "published": "2026-04-21T16:57:42.100Z",
    "modified": "2026-04-21T16:57:42.100Z",
    "type": "cve",
    "title": "UltraDAG: SmartOp Vote Path Triggers Fatal Supply Invariant Halt",
    "source": "GitHub_M",
    "references": "https://github.com/UltraDAGcom/core/security/advisories/GHSA-q8wx-2crx-c7pp\nhttps://github.com/UltraDAGcom/core/commit/2f5a3a237ea519b48d71e6e3093c89f60694c7be\nhttps://github.com/UltraDAGcom/core/commit/45bcf7064741897319b6196d3d9f9e1307093511",
    "id": "CVE-2026-40583",
    "bulletinFamily": "",
    "cwe": [
        "CWE-460",
        "CWE-696"
    ],
    "cvelist": null,
    "sourceData": "UltraDAGcom core = 0.1",
    "sourceHref": "",
    "cvss": {
        "score": 8.8,
        "severity": "HIGH",
        "vector": "CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:L/VA:H/SC:N/SI:N/SA:N/U:Red",
        "version": "4.0"
    },
    "cvss2": [],
    "cvss3": {
        "version": "",
        "vectorString": "",
        "baseScore": 0,
        "baseSeverity": "",
        "attackVector": "",
        "attackComplexity": "",
        "privilegesRequired": "",
        "userInteraction": "",
        "scope": "",
        "confidentialityImpact": "",
        "integrityImpact": "",
        "availabilityImpact": "",
        "cvssV3": {
            "version": "",
            "vectorString": "",
            "baseScore": 0,
            "baseSeverity": "",
            "attackVector": "",
            "attackComplexity": "",
            "privilegesRequired": "",
            "userInteraction": "",
            "scope": "",
            "confidentialityImpact": "",
            "integrityImpact": "",
            "availabilityImpact": ""
        }
    },
    "href": "",
    "category_name": "CVE",
    "post_link": "",
    "product": "core",
    "version": "= 0.1",
    "vendor": "UltraDAGcom",
    "ai_description": "A vulnerability in UltraDAG's SmartOp Vote functionality allows a non-council attacker to submit a signed transaction that passes initial checks but fails authorization after state mutation, potentially triggering a fatal supply invariant halt.",
    "ai_severity": "High",
    "ai_vendor": "UltraDAGcom",
    "ai_product": "UltraDAG core",
    "ai_version": "0.1",
    "ai_score": 8.8
}