address comments

Author: georgehao

core/vm/contracts.go

@@ -611,6 +611,17 @@ func (c *bigModExp) Run(input []byte) ([]byte, error) {
 		modLen           = modLenBig.Uint64()
 		inputLenOverflow = max(baseLenBig.BitLen(), expLenBig.BitLen(), modLenBig.BitLen()) > 64
 	)
+
+	// Since the ZKVM is more compatible, EIP-7823 && EIP-7883 don't need this check anymore,
+	// but still need it for EIP-2565 to be compatible with backward compatibility
+	if c.eip2565 {
+		// Check that all inputs are `u256` (32 - bytes) or less, revert otherwise
+		var lenLimit = new(big.Int).SetInt64(32)
+		if baseLenBig.Cmp(lenLimit) > 0 || expLenBig.Cmp(lenLimit) > 0 || modLenBig.Cmp(lenLimit) > 0 {
+			return nil, errModexpUnsupportedInput
+		}
+	}
+
 	if len(input) > 96 {
 		input = input[96:]
 	} else {

params/protocol_params.go

@@ -162,7 +162,7 @@ const (
 	Bls12381MapG1Gas          uint64 = 5500   // Gas price for BLS12-381 mapping field element to G1 operation
 	Bls12381MapG2Gas          uint64 = 110000 // Gas price for BLS12-381 mapping field element to G2 operation
 
-	P256VerifyGas uint64 = 6900 // secp256r1 elliptic curve signature verifier gas price
+	P256VerifyGas uint64 = 3450 // secp256r1 elliptic curve signature verifier gas price
 
 	// The Refund Quotient is the cap on how much of the used gas can be refunded. Before EIP-3529,
 	// up to half the consumed gas could be refunded. Redefined as 1/5th in EIP-3529