<?xml version='1.0' encoding='UTF-8'?>
<?xml-stylesheet href="/static/style.xsl" type="text/xsl"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
  <id>https://db.gcve.eu/sightings/feed</id>
  <title>Most recent sightings.</title>
  <updated>2026-05-20T22:20:54.430342+00:00</updated>
  <author>
    <name>Vulnerability-Lookup</name>
    <email>info@gcve.eu</email>
  </author>
  <link href="https://db.gcve.eu" rel="alternate"/>
  <generator uri="https://lkiesow.github.io/python-feedgen" version="1.0.0">python-feedgen</generator>
  <subtitle>Contains only the most 10 recent sightings.</subtitle>
  <entry>
    <id>https://db.gcve.eu/sighting/a507dd05-d3eb-4d58-8770-93d42050cd7f/export</id>
    <title>a507dd05-d3eb-4d58-8770-93d42050cd7f</title>
    <updated>2026-05-20T22:20:55.001579+00:00</updated>
    <author>
      <name>cedric</name>
      <uri>http://db.gcve.eu/user/cedric</uri>
    </author>
    <content>{"uuid": "a507dd05-d3eb-4d58-8770-93d42050cd7f", "vulnerability_lookup_origin": "1a89b78e-f703-45f3-bb86-59eb712668bd", "author": "2a075640-a300-48a4-bb44-bc6130783b9b", "vulnerability": "GHSA-JF2R-X3J4-23M7", "type": "published-proof-of-concept", "source": "https://t.me/DarkWebInformer_CVEAlerts/14630", "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", "creation_timestamp": "2025-05-02T23:17:25.000000Z"}</content>
    <link href="https://db.gcve.eu/sighting/a507dd05-d3eb-4d58-8770-93d42050cd7f/export"/>
    <published>2025-05-02T23:17:25+00:00</published>
  </entry>
</feed>
