Update RM specs with types

docs/arch/node/concepts/subsystem.md

@@ -16,8 +16,9 @@ tags:
   specific goal. The purpose of a subsystem is to provide a high-level interface
   for the components that make up the node.
 
-## Examples
+## Subsystems
 
 - [[Hardware subsystem overview|Hardware subsystem]]
 - [[Identity subsystem overview|Identity subsystem]]
 - [[Ordering subsystem overview|Ordering subsystem]]
+- [[Network subsystem overview|Network subsystem]]

docs/arch/node/engines/mempool_worker_behaviour.juvix.md

@@ -443,7 +443,7 @@ transactionRequestAction
                 mailbox := some 0;
                 msg := Anoma.MsgMempoolWorker (MempoolWorkerMsgTransactionAck
                   (mkTransactionAck@{
-                    tx_hash := hash fingerprint candidate;
+                    tx_hash := TChash fingerprint candidate;
                     batch_number := MempoolWorkerLocalState.batch_number local;
                     batch_start := 0;
                     worker_id := worker_id;

docs/arch/node/types/crypto.juvix.md

@@ -8,6 +8,10 @@ tags:
   - types
   - crypto
   - prelude
+  - node-architecture
+  - types
+  - crypto
+  - prelude
 ---
 
 ??? code "Juvix imports"
@@ -27,14 +31,25 @@ Public key for public-key cryptography.
 type PublicKey :=
   | Curve25519PubKey ByteString
   ;
-
-instance
-PublicKeyOrd : Ord PublicKey :=
-  mkOrd@{
-    cmp := \{_ _ := Equal};
-  };
 ```
 
+??? quote "Auxiliary Juvix code"
+
+    ```juvix
+    deriving
+    instance
+    PublicKeyEq : Eq PublicKey;
+    ```
+
+    ```juvix
+    instance
+    PublicKeyOrd : Ord PublicKey :=
+      mkOrd@{
+        cmp := \{_ _ := Equal};
+      };
+    ```
+
+### `PrivateKey`
 ### `PrivateKey`
 
 Private key for public-key cryptography.
@@ -43,14 +58,22 @@ Private key for public-key cryptography.
 type PrivateKey :=
   | Curve25519PrivKey ByteString
   ;
-
-instance
-PrivateKeyOrd : Ord PrivateKey :=
-  mkOrd@{
-    cmp := \{_ _ := Equal};
-  };
 ```
 
+??? quote "Auxiliary Juvix code"
+
+    ```juvix
+    deriving
+    instance
+    PrivateKeyEq : Eq PrivateKey;
+
+    instance
+    PrivateKeyOrd : Ord PrivateKey :=
+      mkOrd@{
+        cmp := \{_ _ := Equal};
+      };
+    ```
+
 ### `SecretKey`
 
 Secret key for secret-key cryptography.
@@ -61,7 +84,19 @@ type SecretKey :=
   ;
 ```
 
-### `Signature`
+??? quote "Auxiliary Juvix code"
+
+    ```juvix
+    deriving
+    instance
+    SecretKeyEq : Eq SecretKey;
+
+    deriving
+    instance
+    SecretKeyOrd : Ord SecretKey;
+    ```
+
+### ``Signature``
 
 Cryptographic signature.
 
@@ -80,3 +115,23 @@ type Digest :=
   | Blake3Digest ByteString
   ;
 ```
+
+### `hash`
+
+```juvix
+axiom hash {A} : A -> Digest;
+```
+
+??? quote "Auxiliary Juvix code"
+
+    ```juvix
+    deriving
+    instance
+    DigestEq : Eq Digest;
+
+    instance
+    DigestOrd : Ord Digest :=
+      mkOrd@{
+        cmp := \{(Blake3Digest a) (Blake3Digest b) := Equal};
+      };
+    ```