speakeasy proofs

speakeasy proofs