A Framework for Zero-Knowledge Proofs of Exploits in Solidity Smart Contracts. - Alessandro Cavaliere; Santiago Galiñanes Arienti; Christian Esposito 001; Naghmeh Ivaki; Nuno Laranjeiro (SAC, 2026)