Skip to content
OpenAdvisories

Package · crates.io

sp1-stark

1 known vulnerabilities.

All Critical High Medium Low Exploited only Public exploit

1 result · Feed

  • High —
    GHSA-c873-wfhp-wx5m

    SP1 has missing verifier checks and fiat-shamir observations

    In SP1’s STARK verifier, the prover provided `chip_ordering` is used to fetch the index of the chips that have preprocessed columns. Prior to v4.0.0, the validation that this `chip_ordering` correctly provides these indexes was missing. In v4.0.0, this was fi…

    sp1-stark crates.io