{"metadata": {"vulnerability": "cve-2025-46723", "count": 16, "kinds": {"milestone": 4, "sighting": 4, "kev": 0, "other": 8}}, "data": [{"timestamp": "2025-04-28T20:56:09.084Z", "date_only": false, "value": "2025-04-28T20:56:09.084Z", "kind": "milestone", "label": "Reserved", "source": "cvelistv5", "record": "cve-2025-46723", "field": "cveMetadata.dateReserved"}, {"timestamp": "2025-05-02T22:18:55.696Z", "date_only": false, "value": "2025-05-02T22:18:55.696Z", "kind": "milestone", "label": "Published", "source": "cvelistv5", "record": "cve-2025-46723", "field": "cveMetadata.datePublished"}, {"timestamp": "2025-05-02T22:18:55.696Z", "date_only": false, "value": "2025-05-02T22:18:55.696Z", "kind": "other", "label": "Updated", "source": "cvelistv5 / GitHub_M", "record": "cve-2025-46723", "field": "containers.cna.providerMetadata.dateUpdated"}, {"timestamp": "2025-05-02T23:15:16Z", "date_only": false, "value": "2025-05-02T23:15:16Z", "kind": "other", "label": "Nvd published at", "source": "github \u00b7 GHSA-JF2R-X3J4-23M7", "record": "GHSA-JF2R-X3J4-23M7", "field": "database_specific.nvd_published_at"}, {"timestamp": "2025-05-02T23:15:16.580Z", "date_only": false, "value": "2025-05-02T23:15:16.580", "kind": "milestone", "label": "Published", "source": "fkie_nvd \u00b7 FKIE_CVE-2025-46723", "record": "FKIE_CVE-2025-46723", "field": "published"}, {"timestamp": "2025-05-02T23:17:25Z", "date_only": false, "value": "2025-05-02T23:17:25.000000Z", "kind": "sighting", "label": "Published proof of concept", "source": "https://t.me/DarkWebInformer_CVEAlerts/14630", "record": "CVE-2025-46723", "field": "creation_timestamp", "uuid": "780b9603-c3cd-406b-9e76-52b5f33f446a", "content": "\ud83d\udd17 DarkWebInformer.com - Cyber Threat Intelligence\n\ud83d\udccc CVE ID: CVE-2025-46723\n\ud83d\udd25 CVSS Score: 7.8 (cvssV4_0, Vector: CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:H/SC:N/SI:N/SA:N/E:P)\n\ud83d\udd39 Description: OpenVM is a performant and modular zkVM framework built for customization and extensibility. In version 1.0.0, OpenVM is vulnerable to overflow through byte decomposition of pc in AUIPC chip. A typo results in the highest limb of pc being range checked to 8-bits instead of 6-bits. This results in the if statement never being triggered because the enumeration gives i=0,1,2, when instead the enumeration should give i=1,2,3, leaving pc_limbs[3] range checked to 8-bits instead of 6-bits. This leads to a vulnerability where the pc_limbs decomposition differs from the true pc, which means a malicious prover can make the destination register take a different value than the AUIPC instruction dictates, by making the decomposition overflow the BabyBear field. This issue has been patched in version 1.1.0.\n\ud83d\udccf Published: 2025-05-02T22:18:55.696Z\n\ud83d\udccf Modified: 2025-05-02T22:18:55.696Z\n\ud83d\udd17 References:\n1. https://github.com/openvm-org/openvm/security/advisories/GHSA-jf2r-x3j4-23m7\n2. https://github.com/openvm-org/openvm/commit/68da4b50c033da5603517064aa0a08e1bbf70a01\n3. https://cantina.xyz/code/c486d600-bed0-4fc6-aed1-de759fd29fa2/findings/21\n4. https://github.com/openvm-org/openvm/blob/0f94c8a3dfa7536c1231465d1bdee5fc607a5993/extensions/rv32im/circuit/src/auipc/core.rs#L135\n5. https://github.com/openvm-org/openvm/releases/tag/v1.1.0", "url": "https://t.me/DarkWebInformer_CVEAlerts/14630"}, {"timestamp": "2025-05-03T01:36:03.870Z", "date_only": false, "value": "2025-05-03T01:36:03.870232Z", "kind": "sighting", "label": "Seen", "source": "https://bsky.app/profile/2rZiKKbOU3nTafniR2qMMSE0gwZ.activitypub.awakari.com.ap.brid.gy/post/3lo7vcxbg7uz2", "record": "CVE-2025-46723", "field": "creation_timestamp", "uuid": "97843689-f8ca-4ed5-9506-2f53a7013f34", "url": "https://bsky.app/profile/2rZiKKbOU3nTafniR2qMMSE0gwZ.activitypub.awakari.com.ap.brid.gy/post/3lo7vcxbg7uz2"}, {"timestamp": "2025-05-03T01:59:27Z", "date_only": false, "value": "2025-05-03T01:59:27.000000Z", "kind": "sighting", "label": "Seen", "source": "https://t.me/cvedetector/24380", "record": "CVE-2025-46723", "field": "creation_timestamp", "uuid": "8574edc8-e211-4b81-8802-a84491b53eb2", "content": "{\n  \"Source\": \"CVE FEED\",\n  \"Title\": \"CVE-2025-46723 - OpenVM AUIPC Instruction Overflow Vulnerability\", \n  \"Content\": \"CVE ID : CVE-2025-46723 \nPublished : May 2, 2025, 11:15 p.m. | 17\u00a0minutes ago \nDescription : OpenVM is a performant and modular zkVM framework built for customization and extensibility. In version 1.0.0, OpenVM is vulnerable to overflow through byte decomposition of pc in AUIPC chip. A typo results in the highest limb of pc being range checked to 8-bits instead of 6-bits. This results in the if statement never being triggered because the enumeration gives i=0,1,2, when instead the enumeration should give i=1,2,3, leaving pc_limbs[3] range checked to 8-bits instead of 6-bits. This leads to a vulnerability where the pc_limbs decomposition differs from the true pc, which means a malicious prover can make the destination register take a different value than the AUIPC instruction dictates, by making the decomposition overflow the BabyBear field. This issue has been patched in version 1.1.0. \nSeverity: 0.0 | NA \nVisit the link for more details, such as CVSS details, affected products, timeline, and more...\",\n  \"Detection Date\": \"03 May 2025\",\n  \"Type\": \"Vulnerability\"\n}\n\ud83d\udd39 t.me/cvedetector \ud83d\udd39", "url": "https://t.me/cvedetector/24380"}, {"timestamp": "2025-05-03T02:06:25.598Z", "date_only": false, "value": "2025-05-03T02:06:25.598591Z", "kind": "sighting", "label": "Seen", "source": "https://bsky.app/profile/cve.skyfleet.blue/post/3loaavfzvjp2p", "record": "CVE-2025-46723", "field": "creation_timestamp", "uuid": "904457a1-3efe-4e26-a6c0-277b598155d3", "url": "https://bsky.app/profile/cve.skyfleet.blue/post/3loaavfzvjp2p"}, {"timestamp": "2025-05-05T19:57:09Z", "date_only": false, "value": "2025-05-05T19:57:09Z", "kind": "milestone", "label": "Published", "source": "github \u00b7 GHSA-JF2R-X3J4-23M7", "record": "GHSA-JF2R-X3J4-23M7", "field": "published"}, {"timestamp": "2025-05-05T19:57:09Z", "date_only": false, "value": "2025-05-05T19:57:09Z", "kind": "other", "label": "Updated", "source": "github \u00b7 GHSA-JF2R-X3J4-23M7", "record": "GHSA-JF2R-X3J4-23M7", "field": "modified"}, {"timestamp": "2025-05-06T13:47:21.220Z", "date_only": false, "value": "2025-05-06T13:47:21.220851Z", "kind": "other", "label": "Recorded", "source": "cvelistv5 / CISA-ADP", "record": "cve-2025-46723", "field": "containers.adp.0.metrics.0.other.content.timestamp"}, {"timestamp": "2025-05-06T13:47:21.220Z", "date_only": false, "value": "2025-05-06T13:47:21.220851Z", "kind": "other", "label": "Recorded", "source": "fkie_nvd \u00b7 FKIE_CVE-2025-46723", "record": "FKIE_CVE-2025-46723", "field": "metrics.ssvcV203.0.ssvcData.timestamp"}, {"timestamp": "2025-05-06T14:37:52.764Z", "date_only": false, "value": "2025-05-06T14:37:52.764Z", "kind": "other", "label": "Updated", "source": "cvelistv5", "record": "cve-2025-46723", "field": "cveMetadata.dateUpdated"}, {"timestamp": "2025-05-06T14:37:52.764Z", "date_only": false, "value": "2025-05-06T14:37:52.764Z", "kind": "other", "label": "Updated", "source": "cvelistv5 / CISA-ADP", "record": "cve-2025-46723", "field": "containers.adp.0.providerMetadata.dateUpdated"}, {"timestamp": "2026-06-17T09:26:52.697Z", "date_only": false, "value": "2026-06-17T09:26:52.697", "kind": "other", "label": "Updated", "source": "fkie_nvd \u00b7 FKIE_CVE-2025-46723", "record": "FKIE_CVE-2025-46723", "field": "lastModified"}]}