{"id":"CVE-2026-40583","aliases":["EUVD-2026-24179","GHSA-q8wx-2crx-c7pp"],"status":"published","title":"UltraDAG: SmartOp Vote Path Triggers Fatal Supply Invariant Halt","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.","severity":{"version":"4.0","score":8.8,"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","level":"high","assessor":"cna","from":"cve"},"epss":{"day":"2026-11-09","score":0.00376,"percentile":0.31873,"model":"v2026.06.15"},"facts":{"in_kev":false,"known_exploited":false,"public_exploit":false,"fix_available":false},"cwes":["CWE-460","CWE-696"],"published":"2026-04-21T16:57:42Z","modified":"2026-11-02T10:45:57Z","products":[{"vendor":"opnsense","product":"core"},{"vendor":"ultradag","product":"ultradag"},{"vendor":"ultradagcom","product":"core"}],"references":[{"url":"https://github.com/UltraDAGcom/core/security/advisories/GHSA-q8wx-2crx-c7pp","tags":["x_refsource_CONFIRM","exploit","Exploit","Mitigation","Vendor Advisory","advisory"]},{"url":"https://github.com/UltraDAGcom/core/commit/2f5a3a237ea519b48d71e6e3093c89f60694c7be","tags":["x_refsource_MISC","Patch","fix"]},{"url":"https://github.com/UltraDAGcom/core/commit/45bcf7064741897319b6196d3d9f9e1307093511","tags":["x_refsource_MISC","Patch","fix"]},{"url":"https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/40xxx/CVE-2026-40583.json","tags":["advisory"]},{"url":"https://nvd.nist.gov/vuln/detail/CVE-2026-40583","tags":["advisory"]}],"sources":{"cve":[{"id":"CVE-2026-40583","title":"UltraDAG: SmartOp Vote Path Triggers Fatal Supply Invariant Halt","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.","status":"published","published":"2026-04-21T16:57:42.1Z","modified":"2026-04-21T20:37:16.729Z","cvss":[{"version":"4.0","score":8.8,"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","level":"high","assessor":"cna"}],"cwes":["CWE-460","CWE-696"],"updated_at":"2026-11-02T13:43:11.445168Z"}],"euvd":[{"id":"EUVD-2026-24179","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.","status":"published","published":"2026-04-21T16:57:42Z","modified":"2026-04-21T20:37:16Z","cvss":[{"version":"4.0","score":8.8,"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","level":"high"}],"updated_at":"2026-11-02T19:24:21.101387Z"}],"nvd":[{"id":"CVE-2026-40583","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.","status":"published","published":"2026-04-21T17:16:56.083Z","modified":"2026-10-26T21:10:00.17Z","cvss":[{"version":"4.0","score":8.8,"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/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:Red","level":"high","assessor":"secondary"},{"version":"3.1","score":8.2,"vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:L/A:H","level":"high","assessor":"primary"}],"cwes":["CWE-460","CWE-696"],"updated_at":"2026-11-02T14:12:15.493943Z"}],"osv":[{"id":"CVE-2026-40583","title":"UltraDAG: SmartOp Vote Path Triggers Fatal Supply Invariant Halt","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.","status":"published","published":"2026-04-21T16:57:42.1Z","modified":"2026-11-03T02:46:51.234378797Z","cvss":[{"version":"4.0","score":8.8,"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","level":"high"}],"cwes":["CWE-460","CWE-696"],"updated_at":"2026-11-03T03:05:43.703218Z"}]}}