A Framework for Zero-Knowledge Proofs of Exploits in Solidity Smart Contracts.

Alessandro Cavaliere, Santiago Galianes Arienti, Christian Esposito, Naghmeh Ivaki, Nuno Laranjeiro

Browse the full SAC paper archive.