From e1228da74d62a18d4bb17fa234d9f44d3e75e172 Mon Sep 17 00:00:00 2001
From: Trolli Schmittlauch <t.schmittlauch@orlives.de>
Date: Mon, 27 Apr 2020 02:07:24 +0200
Subject: [PATCH] start specifying protocol format in ASN.1

---
 Hash2Pub/FediChord.asn1 | 13 +++++++++++++
 Hash2Pub/default.nix    |  1 +
 2 files changed, 14 insertions(+)
 create mode 100644 Hash2Pub/FediChord.asn1

diff --git a/Hash2Pub/FediChord.asn1 b/Hash2Pub/FediChord.asn1
new file mode 100644
index 0000000..643c0ce
--- /dev/null
+++ b/Hash2Pub/FediChord.asn1
@@ -0,0 +1,13 @@
+FediChordProtocol DEFINITIONS AUTOMATIC TAGS ::= BEGIN
+
+NodeID ::= INTEGER (0..115792089237316195423570985008687907853269984665640564039457584007913129639935)
+
+Request ::= SEQUENCE {
+	requestID		INTEGER,
+	senderID		NodeID,
+	parts			INTEGER,
+	part			INTEGER,
+	action			ENUMERATED {queryID, join, leave, stabilise}
+	}
+
+END
diff --git a/Hash2Pub/default.nix b/Hash2Pub/default.nix
index af086b8..aadc22e 100644
--- a/Hash2Pub/default.nix
+++ b/Hash2Pub/default.nix
@@ -26,6 +26,7 @@ in
         haddock
         cabal-install
         hlint
+        pkgs.python3Packages.asn1ate
       ];
   };
 }