LEVM: Add support for the EIP-2537

[ilitteri]

Implement the BLS12-381 precompile following the reference spec https://eips.ethereum.org/EIPS/eip-2537.

Important

Use this lib https://github.com/sp1-patches/bls12_381 following this guide https://docs.succinct.xyz/docs/writing-programs/patched-crates.

Tip

Work in different PRs to keep them short and easier to review. The first one will include the addition of the dependency, but the following should only include the implementation.

Track

• BLS12_G1ADD
• BLS12_G1MSM
• BLS12_G2ADD
• BLS12_G2MSM
• BLS12_PAIRING_CHECK
• BLS12_MAP_FP_TO_G1
• BLS12_MAP_FP2_TO_G2

[fborello-lambda]

A comment in case we forget patching the crate when using levm for the prover.
If we use: bls12_381 = "0.8.0"
The patch for the zk_prover would be: https://github.com/sp1-patches/bls12_381/tree/patch-v0.8.0