Gas estimation for Proof verification

Gas estimation for Proof verification