The SP1 soundness flaw affected native Rust verification in sp1_hypercube, sp1_prover, and sp1_sdk versions 6.0.0 through 6.8.0

Thefts and exploits that drain funds from exchanges, protocols and bridges, with their post-mortems, laundering routes and recoveries.

Mathematical foundations of blockchains: hash functions, digital signatures, and encryption schemes that secure transactions, wallets, and consensus.