p PatchFirst

CVE-2025-21607

CVE-2025-21607 · Success of Certain Precompile Calls not Checked in Vyper

This page contains facts from public vulnerability sources. Check the original advisory before updating.

Vyper is a Pythonic Smart Contract Language for the EVM. When the Vyper Compiler uses the precompiles EcRecover (0x1) and Identity (0x4), the success flag of the call is not checked. As a consequence an attacker can provide a specific amount of gas to make these calls fail but let the overall execution continue. Then the execution result can be incorrect. Based on EVM's rules, after the failed precompile the remaining code has only 1/64 of the pre-call-gas left (as 63/64 were forwarded and spent). Hence, only fairly simple executions can follow the failed precompile calls. Therefore, we found no significantly impacted real-world contracts. None the less an advisory has been made out of an abundance of caution. This issue is fixed in 0.4.1.

CVSS 2.3 · Low · EPSS 0.7% · Fix available

Published
Updated

Stack: python

Affected products and versions

  • vyper

    Versions
    • < 0.4.1: Affected

    No fix published

  • vyper PyPI

    Versions
    • 0.1.0b1
    • 0.1.0b10
    • 0.1.0b11
    • 0.1.0b12
    • 0.1.0b13
    • 0.1.0b14
    • 0.1.0b15
    • 0.1.0b16
    • 0.1.0b17
    • 0.1.0b2
    • 0.1.0b3
    • 0.1.0b4
    • 0.1.0b5
    • 0.1.0b6
    • 0.1.0b7
    • 0.1.0b8
    • 0.1.0b9
    • 0.2.1
    • 0.2.10
    • 0.2.11
    • 0.2.12
    • 0.2.13
    • 0.2.14
    • 0.2.15
    • 0.2.16
    • 0.2.2
    • 0.2.3
    • 0.2.4
    • 0.2.5
    • 0.2.6
    • 0.2.7
    • 0.2.8
    • 0.2.9
    • 0.3.0
    • 0.3.1
    • 0.3.10
    • 0.3.10rc1
    • 0.3.10rc2
    • 0.3.10rc3
    • 0.3.10rc4
    • 0.3.10rc5
    • 0.3.2
    • 0.3.3
    • 0.3.4
    • 0.3.5
    • 0.3.6
    • 0.3.7
    • 0.3.8
    • 0.3.9
    • 0.4.0
    • 0.4.0b1
    • 0.4.0b2
    • 0.4.0b3
    • 0.4.0b4
    • 0.4.0b5
    • 0.4.0b6
    • 0.4.0rc1
    • 0.4.0rc2
    • 0.4.0rc3
    • 0.4.0rc4
    • 0.4.0rc5
    • 0.4.0rc6
    • 0.4.1
    • 0.4.1b1
    • 0.4.1b2
    • 0.4.1b3
    • 0.4.1b4
    • 0.4.1rc1
    • 0.4.1rc2
    • 0.4.1rc3
    • 0.4.2
    • 0.4.2rc1
    • 0.4.3
    • 0.4.3rc1
    • 0.5.0a1
    • 0.5.0a2
    • 0.5.0a3
    • 0.5.0b1
    Affected ranges
    • ECOSYSTEM: (−∞, +∞)

    No fix published

  • vyper PyPI

    Versions
    • 0.1.0b1
    • 0.1.0b10
    • 0.1.0b11
    • 0.1.0b12
    • 0.1.0b13
    • 0.1.0b14
    • 0.1.0b15
    • 0.1.0b16
    • 0.1.0b17
    • 0.1.0b2
    • 0.1.0b3
    • 0.1.0b4
    • 0.1.0b5
    • 0.1.0b6
    • 0.1.0b7
    • 0.1.0b8
    • 0.1.0b9
    • 0.2.1
    • 0.2.10
    • 0.2.11
    • 0.2.12
    • 0.2.13
    • 0.2.14
    • 0.2.15
    • 0.2.16
    • 0.2.2
    • 0.2.3
    • 0.2.4
    • 0.2.5
    • 0.2.6
    • 0.2.7
    • 0.2.8
    • 0.2.9
    • 0.3.0
    • 0.3.1
    • 0.3.10
    • 0.3.10rc1
    • 0.3.10rc2
    • 0.3.10rc3
    • 0.3.10rc4
    • 0.3.10rc5
    • 0.3.2
    • 0.3.3
    • 0.3.4
    • 0.3.5
    • 0.3.6
    • 0.3.7
    • 0.3.8
    • 0.3.9
    • 0.4.0
    • 0.4.0b1
    • 0.4.0b2
    • 0.4.0b3
    • 0.4.0b4
    • 0.4.0b5
    • 0.4.0b6
    • 0.4.0rc1
    • 0.4.0rc2
    • 0.4.0rc3
    • 0.4.0rc4
    • 0.4.0rc5
    • 0.4.0rc6
    • 0.4.1b1
    • 0.4.1b2
    • 0.4.1b3
    • 0.4.1b4
    • 0.4.1rc1
    • 0.4.1rc2
    • 0.4.1rc3
    Affected ranges
    • ECOSYSTEM: < 0.4.1

    Update to 0.4.1

Original sources

Check your server →