Add EIP: Precompile for ML-DSA signature verification

[simonmasson]

This proposal creates a two contracts for:

• Verifying a ML-DSA (FIPS-204 standard) signature
• Verifying a ML-DSA-ETH signature (where the hash function has a lower gas cost).

This enables post-quantum secure signatures for Ethereum.

[eth-bot]

File EIPS/eip-8051.md

Requires 1 more reviewers from @g11tech, @lightclient, @SamWilsn

[g11tech]

@SamWilsn how best to handle reference implementation, again we have code attached in assets. How can we let people refer to full working code implementations?

@simonmasson instead of having full code attached, we prefer if you showcase the implementation through high level concepts/pseudo code instead of trying to attach a full working code

[rdubois-crypto]

Looking at bls12 eip, which face similar problems, would test vectors be enough ?

[SamWilsn]

@g11tech how would you feel if they cut down the reference implementation to just the bare minimum required to showcase the EIP? There does seem to be a lot of extra stuff in there.

[g11tech]

I guess that will work, also what about testvectors, some of them are/could be huge files (as in some other EIPs as well)

@rdubois-crypto its for you to best decide how to succinctly represent your EIP so yes that could work but again if its a limited amount of vectors

[simonmasson]

I have removed the python code, and provide now only the KAT vectors, and solidity tests in Solidity.

[github-actions]

The commit 7747dfe (as a parent of 1eec3db) contains errors.
Please inspect the Run Summary for details.

[g11tech]

pls fix the issues flagged by the bot