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
       ];
   };
 }