A high-severity soundness bug in Succinct's SP1 zero-knowledge proving system exposed Succinct's mainnet Prover Network to invalid execution proofs from third-party provers

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.