Function p256_verify

pub fn p256_verify(input: &Bytes, gas_limit: u64) -> PrecompileResult

Wrapper around revm P256 precompile, matching EIP-7212 spec.

Per Optimism implementation, P256 precompile returns empty bytes on failure, but per EIP-7212 it should be 32 bytes of zeros instead.