Submit a story or source

Suggesting a link for: Succinct patches SP1 bug that could let invalid proofs pass in native Rust verification, onchain Solidity verifiers unaffected