Public inputs precomputations by verifier strategy

[ed255]

The current design involves the verifier to precomputed values based on the block public data (block headers, transaction fields, etc.) This data i precomputed by the verifier following the tx table and block table layout. There i room for improvement in the strategy in order to

• Reduce the precomputation done by the verifier
• Simplify some constraints in the circuit

Here's a discussion about how padding in the Tx Table works related to thi https://github.com/privacy-scaling-explorations/zkevm-specs/pull/243#discussion_r945086940