Gas estimation for Proof verification