Data

Tools

Indexes

Applications

Experiments

Advisories

An open API service providing security vulnerability metadata for many open source software ecosystems.

cargo

sp1-recursion-circuit

cargo

Recursion circuit for SP1 proof aggregation

View on github.com · View on crates.io

Security Advisories for sp1-recursion-circuit in cargo

Potential
High
over 1 year ago

SP1 has missing verifier checks and fiat-shamir observations GSA_kwCzR0hTQS1jODczLXdmaHAtd3g1bc4ABDas

cargo sp1-stark
Low
almost 2 years ago

sp1 has insufficient observation of cumulative sum GSA_kwCzR0hTQS04bTI0LTNjZngtOWZqd84ABBGA

cargo sp1-recursion-circuit
Potential
Moderate
almost 2 years ago

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

cargo sp1-recursion-gnark-ffi

Filter by Severity

Moderate 1 Low 1 High 1