[kruggerand_proof.png]