RIP Snark (SNARK)