feat(crypto): implement SHA-3 variants (sha3-224, sha3-256, sha3-384, sha3-512)

bindings/python/py/mrkle/_proof/__init__.py

@@ -1,15 +1,19 @@
-from mrkle._mrkle_rs import proof
-
 from collections.abc import Mapping
 from types import MappingProxyType
-from typing import Union, Final
+from typing import Final, Union
+
+from mrkle._mrkle_rs import proof
 
 __all__ = [
     "MrkleProofSha1",
     "MrkleProofSha224",
     "MrkleProofSha256",
     "MrkleProofSha384",
     "MrkleProofSha512",
+    "MrkleProofSha3_224",
+    "MrkleProofSha3_256",
+    "MrkleProofSha3_384",
+    "MrkleProofSha3_512",
     "MrkleProofKeccak224",
     "MrkleProofKeccak256",
     "MrkleProofKeccak384",
@@ -27,6 +31,10 @@
 MrkleProofSha384 = proof.MrkleProofSha384
 MrkleProofSha512 = proof.MrkleProofSha512
 
+MrkleProofSha3_224 = proof.MrkleProofSha3_224
+MrkleProofSha3_256 = proof.MrkleProofSha3_256
+MrkleProofSha3_384 = proof.MrkleProofSha3_384
+MrkleProofSha3_512 = proof.MrkleProofSha3_512
 
 MrkleProofKeccak224 = proof.MrkleProofKeccak224
 MrkleProofKeccak256 = proof.MrkleProofKeccak256
@@ -50,6 +58,10 @@
         MrkleProofSha256,
         MrkleProofSha384,
         MrkleProofSha512,
+        MrkleProofSha3_224,
+        MrkleProofSha3_256,
+        MrkleProofSha3_384,
+        MrkleProofSha3_512,
     ]
 ]
 
@@ -68,5 +80,9 @@
         "sha256": MrkleProofSha256,
         "sha384": MrkleProofSha384,
         "sha512": MrkleProofSha512,
+        "sha3_224": MrkleProofSha224,
+        "sha3_256": MrkleProofSha256,
+        "sha3_384": MrkleProofSha384,
+        "sha3_512": MrkleProofSha512,
     }
 )

bindings/python/py/mrkle/_proof/__init__.pyi

@@ -1,18 +1,22 @@
 from collections.abc import Mapping, Sequence
-from typing import Union, Final
-from mrkle.node import MrkleNode
-from typing_extensions import TypeAlias, override
+from typing import Final, Union
 
-from mrkle.tree import MrkleTree
+from typing_extensions import TypeAlias, override
 
 from mrkle.crypto.typing import Digest
+from mrkle.node import MrkleNode
+from mrkle.tree import MrkleTree
 
 __all__ = [
     "MrkleProofSha1",
     "MrkleProofSha224",
     "MrkleProofSha256",
     "MrkleProofSha384",
     "MrkleProofSha512",
+    "MrkleProofSha3_224",
+    "MrkleProofSha3_256",
+    "MrkleProofSha3_384",
+    "MrkleProofSha3_512",
     "MrkleProofKeccak224",
     "MrkleProofKeccak256",
     "MrkleProofKeccak384",
@@ -59,6 +63,10 @@ class MrkleProofSha224(BaseMrkleProof): ...
 class MrkleProofSha256(BaseMrkleProof): ...
 class MrkleProofSha384(BaseMrkleProof): ...
 class MrkleProofSha512(BaseMrkleProof): ...
+class MrkleProofSha3_224(BaseMrkleProof): ...
+class MrkleProofSha3_256(BaseMrkleProof): ...
+class MrkleProofSha3_384(BaseMrkleProof): ...
+class MrkleProofSha3_512(BaseMrkleProof): ...
 class MrkleProofKeccak224(BaseMrkleProof): ...
 class MrkleProofKeccak256(BaseMrkleProof): ...
 class MrkleProofKeccak384(BaseMrkleProof): ...
@@ -78,6 +86,10 @@ Proof_T: TypeAlias = Union[
     MrkleProofSha256,
     MrkleProofSha384,
     MrkleProofSha512,
+    MrkleProofSha3_224,
+    MrkleProofSha3_256,
+    MrkleProofSha3_384,
+    MrkleProofSha3_512,
 ]
 
 PROOF_MAP: Final[Mapping[str, Proof_T]]

bindings/python/py/mrkle/_tree/__init__.py

@@ -1,10 +1,10 @@
 """Merkle tree implementations for various hash algorithms."""
 
 from __future__ import annotations
-from types import MappingProxyType
-from typing import Final, Union
 
 from collections.abc import Mapping
+from types import MappingProxyType
+from typing import Final, Union
 
 from mrkle._mrkle_rs import tree
 
@@ -50,6 +50,10 @@
 MrkleTreeSha256 = tree.MrkleTreeSha256
 MrkleTreeSha384 = tree.MrkleTreeSha384
 MrkleTreeSha512 = tree.MrkleTreeSha512
+MrkleTreeSha3_224 = tree.MrkleTreeSha3_224
+MrkleTreeSha3_256 = tree.MrkleTreeSha3_256
+MrkleTreeSha3_384 = tree.MrkleTreeSha3_384
+MrkleTreeSha3_512 = tree.MrkleTreeSha3_512
 
 MrkleNodeBlake2s = tree.MrkleNodeBlake2s
 MrkleNodeBlake2b = tree.MrkleNodeBlake2b
@@ -62,6 +66,10 @@
 MrkleNodeSha256 = tree.MrkleNodeSha256
 MrkleNodeSha384 = tree.MrkleNodeSha384
 MrkleNodeSha512 = tree.MrkleNodeSha512
+MrkleNodeSha3_224 = tree.MrkleNodeSha3_224
+MrkleNodeSha3_256 = tree.MrkleNodeSha3_256
+MrkleNodeSha3_384 = tree.MrkleNodeSha3_384
+MrkleNodeSha3_512 = tree.MrkleNodeSha3_512
 
 # Re-export all iterator types
 MrkleTreeIterBlake2s = tree.MrkleTreeIterBlake2s
@@ -75,6 +83,10 @@
 MrkleTreeIterSha256 = tree.MrkleTreeIterSha256
 MrkleTreeIterSha384 = tree.MrkleTreeIterSha384
 MrkleTreeIterSha512 = tree.MrkleTreeIterSha512
+MrkleTreeIterSha3_224 = tree.MrkleTreeIterSha3_224
+MrkleTreeIterSha3_256 = tree.MrkleTreeIterSha3_256
+MrkleTreeIterSha3_384 = tree.MrkleTreeIterSha3_384
+MrkleTreeIterSha3_512 = tree.MrkleTreeIterSha3_512
 
 Node_T = type[
     Union[
@@ -89,6 +101,10 @@
         MrkleNodeSha256,
         MrkleNodeSha384,
         MrkleNodeSha512,
+        MrkleNodeSha3_224,
+        MrkleNodeSha3_256,
+        MrkleNodeSha3_384,
+        MrkleNodeSha3_512,
     ]
 ]
 
@@ -105,6 +121,10 @@
         MrkleTreeSha256,
         MrkleTreeSha384,
         MrkleTreeSha512,
+        MrkleTreeSha3_224,
+        MrkleTreeSha3_256,
+        MrkleTreeSha3_384,
+        MrkleTreeSha3_512,
     ]
 ]
 
@@ -121,6 +141,10 @@
         MrkleTreeIterSha256,
         MrkleTreeIterSha384,
         MrkleTreeIterSha512,
+        MrkleTreeIterSha3_224,
+        MrkleTreeIterSha3_256,
+        MrkleTreeIterSha3_384,
+        MrkleTreeIterSha3_512,
     ]
 ]
 
@@ -140,6 +164,10 @@
         "sha256": MrkleTreeSha256,
         "sha384": MrkleTreeSha384,
         "sha512": MrkleTreeSha512,
+        "sha3_224": MrkleTreeSha3_224,
+        "sha3_256": MrkleTreeSha3_256,
+        "sha3_384": MrkleTreeSha3_384,
+        "sha3_512": MrkleTreeSha3_512,
     }
 )
 
@@ -159,5 +187,9 @@
         "sha256": MrkleNodeSha256,
         "sha384": MrkleNodeSha384,
         "sha512": MrkleNodeSha512,
+        "sha3_224": MrkleNodeSha3_224,
+        "sha3_256": MrkleNodeSha3_256,
+        "sha3_384": MrkleNodeSha3_384,
+        "sha3_512": MrkleNodeSha3_512,
     }
 )