Skip to content
OpenAdvisories

Package · crates.io

sp1-recursion-gnark-ffi

1 known vulnerabilities.

All Critical High Medium Low Exploited only Public exploit

1 result · Feed

  • Medium 5.3
    GHSA-f77q-r5qm-w4m8

    sp1-recursion-gnark-ffi has insufficient range checks of BabyBear arithmetic

    The Gnark recursion circuit constrains arithmetic over BabyBear when the native field of the ZKP circuit is the BN254 scalar field. Proper implementation of this logic requires range checking Bn254 values to be less than the BabyBear modulus. In versions < 1.…

    sp1-recursion-gnark-ffi crates.io