Proving Impact Without Exploits