Add images for posts

assets/img/rln-message-verification.msc

@@ -0,0 +1,43 @@
+# Sequence diagram for RLN Relay protocol (publishing,routing, and slashing)
+msc {
+  hscale="1",
+  wordwraparcs=true;
+
+  a [label="RLN-Relay Node: Publisher"],
+  b [label="RLN-Relay Node: Router"],
+  c [label="RLN-Relay Node"],
+  d [label="RLN-Relay Node"],
+  e [label="Membership Contract"];
+
+  # a rbox a [label="RLN-Relay Node: Publisher"],
+  # b rbox b [label="RLN-Relay Node: Router"],
+  # c rbox c [label="RLN-Relay Node"],
+  # d rbox d [label="RLN-Relay Node"],
+  # e note e [label="Membership Contract"];
+  |||;
+  b box b [label=" \n nullifierMap= [(nullifier, shareX, shareY)...] \n \n  Initialize an empty map of the received nullifiers \n "],
+  c box c [label=" \n nullifierMap= [(nullifier, shareX, shareY)...] \n \n Initialize an empty map of the received nullifiers \n "],
+  d box d [label=" \n nullifierMap= [(nullifier, shareX, shareY)...] \n \n Initialize an empty map of the received nullifiers \n "];
+  |||;
+  ...,
+  a -> a [label="Keep track of epoch"],
+  b -> b [label="Keep track of epoch"],
+  c -> c [label="Keep track of epoch"],
+  d -> d [label="Keep track of epoch"];
+  a box a [label=" \n Message: the intended message \n \n epoch: the current epoch \n "];
+  a box a [label=" \n  A(x) = sk + H(sk, epoch)x \n \n shareX = H(message), shareY = A(shareX) \n \n nullifier = H(H(sk,epoch)) \n "];
+  a box a [label="  \n  zkProof: generate the proof using zkSNARK \n "];
+  |||;
+  a => b [label="Message, epoch, proofBundle:(shareX, shareY, nullifier, zkProof) \n "];
+  b box b [label="1. If the received epoch is far from the current epoch"];
+  b -x c [label="Do not relay"];
+  b box b [label=" \n 2. If verification of zkProof failed \n "];
+  b -x c [label="Do not relay"];
+  b box b [label=" \n 3. If identical nullifier exists in the nullifierMap, \n \n extract the publisher sk \n "];
+  b -x c [label="Do not relay"];
+  b => e [label="Slash the publisher: Unlbock the deposit associated with sk"];
+  e => b [label="x ETH"];
+  b box b [label=" \n 4. If none of  1-3 happens, update the nullifierMap \n "];
+  b => c [label="Relay"];
+  b => d [label="Relay"];
+}

assets/img/rln-relay.msc

@@ -0,0 +1,32 @@
+# Sequence diagram for RLN Relay protocol (registration)
+msc {
+  hscale = "2";
+
+  d [label = "RLN-Relay Node B"], a [label = "RLN-Relay Node A"],b [label = "Membership Contract"];
+  # a rbox a [label="Relay Node A"], 
+  # b note b [label="Membership Contract"],
+  # d rbox d [label = "Relay Node B"];
+  |||;
+
+  a box a [ label=" \n Generate sk,pk \n "] ;
+  a=>b [ label = " \n Register(pk, x ETH) \n " ] ;
+  |||;
+
+  b box b [label=" \n Insert pk to the list \n  "];
+  //|||;
+  //b=>a [ label = "index"];
+  |||;
+  ...,  ---;
+  ...   [ label = "Other relay nodes register and the membership contract gets updatetd" ];
+  ...,  ---;
+  # a=>b [ label = "getRoot()" ] ;
+  # b box b [label="  \n  root: Get the current root\n  "];
+  # b=>a [ label = "root"];
+
+  # ...,  ---  [ label = "    " ];
+
+  # a=>b [ label = "getAuthPath(index)" ] ;
+  # b box b [label="  \n  authPath: Calculate the authentication path of the leaf with the given index and based on the current tree\n  "];
+
+  # b=>a [ label = "authPath"];
+}