provide precompile addresses + final linting

Author: rdubois-crypto

EIPS/eip-8051.md

@@ -49,7 +49,7 @@ The following specification provides two precompiled contract:
 |**Precompiled contract**|**1**|**2**|
 |-|-|-|
 |**Name**|`MLDSA_VERIFY`|`MLDSA_VERIFY_ETH`|
-|**Address**| TBD| TBD|
+|**Address**| 0x12| 0x13|
 |**Gas cost**|  4500| 4500|
 
 While ML-DSA can be instantiated for three security levels: NIST level II, III and IV, this EIP only covers NIST level II, corresponding to 128 bits of security.
@@ -225,28 +225,28 @@ In the format of EIP-7932:
 
 * For the NIST-compliant version:
 ```python
-    verify(signature_info: bytes, payload_hash: Hash32) -> ExecutionAddress:
-        assert len(signature_info) == 699
-        version      = signature_info[0]
-        signature    = signature_info[1:2421]
-        pubkey_hash  = signature_info[2421:2441]
-        assert version == 0xD1
-        pubkey = lookup_pubkey(pubkey_hash)
-        assert VERIFY_MLDSA(pubkey, payload_hash, signature)
-        return ExecutionAddress(keccak256(pubkey)[12:])
+verify(signature_info: bytes, payload_hash: Hash32) -> ExecutionAddress:
+    assert len(signature_info) == 699
+    version      = signature_info[0]
+    signature    = signature_info[1:2421]
+    pubkey_hash  = signature_info[2421:2441]
+    assert version == 0xD1
+    pubkey = lookup_pubkey(pubkey_hash)
+    assert VERIFY_MLDSA(pubkey, payload_hash, signature)
+    return ExecutionAddress(keccak256(pubkey)[12:])
 ```
 
 * For the EVM-friendly version:
 ```python
-    verify(signature_info: bytes, payload_hash: Hash32) -> ExecutionAddress:
-        assert len(signature_info) == 699
-        version      = signature_info[0]
-        signature    = signature_info[1:2421]
-        pubkey_hash  = signature_info[2421:2441]
-        assert version == 0xD2
-        pubkey = lookup_pubkey(pubkey_hash)
-        assert VERIFY_MLDSA_ETH(pubkey, payload_hash, signature)
-        return ExecutionAddress(keccak256(pubkey)[12:])
+verify(signature_info: bytes, payload_hash: Hash32) -> ExecutionAddress:
+    assert len(signature_info) == 699
+    version      = signature_info[0]
+    signature    = signature_info[1:2421]
+    pubkey_hash  = signature_info[2421:2441]
+    assert version == 0xD2
+    pubkey = lookup_pubkey(pubkey_hash)
+    assert VERIFY_MLDSA_ETH(pubkey, payload_hash, signature)
+    return ExecutionAddress(keccak256(pubkey)[12:])
 ```
 
 ## Test Cases