Update corrRNG example code and documentation after comments

Author: dieriver

docs/new-sdk/CorrRNG.rst

@@ -7,13 +7,12 @@ quantum entanglement.  Found in ``examples/new-sdk/corrRNG/``.
 The protocol
 ------------
 
-1. Alice creates an EPR pair (two maximally entangled qubits) with Bob.
-2. Both Alice and Bob measure their respective qubits.
-3. Because the qubits are entangled, both measurements yield the same random bit.
+1. Alice creates an EPR pair (two maximally entangled qubits ``A`` and ``B``) with Bob:
 
-The state before measurement is:
+.. math:: |\Phi^{+}\rangle = = \frac{1}{\sqrt{2}} \left(|0\rangle_A |0\rangle_B + |1\rangle_A |1\rangle_B\right)
 
-.. math:: |\Psi\rangle_{AB} = \frac{1}{\sqrt{2}} \left(|0\rangle_A |0\rangle_B + |1\rangle_A |1\rangle_B\right)
+2. Both Alice and Bob measure their respective qubits.
+3. Because the qubits are entangled, both measurements yield the same random bit.
 
 Alice's code
 ------------
@@ -28,19 +27,19 @@ From ``aliceTest.py``::
         sim_conn = NetQASMConnection(this_node_name, epr_sockets=[epr_socket])
 
         # Create an entangled qubit
-        epr = epr_socket.create_keep()[0]
+        A = epr_socket.create_keep()[0]
 
         # And simply measure it
-        m1 = epr.measure()
+        a = A.measure()
 
         # flush() executes all queued quantum operations and makes measurement
-        # results available.  Before flush(), m1 is just a future/promise.
+        # results available.  Before flush(), a is just a future/promise.
         sim_conn.flush()
 
         # int(m) extracts the measurement outcome — only valid after flush().
-        m1_val = int(m1)
+        a_val = int(a)
         sim_conn.close()
-        return m1_val
+        return a_val
 
 Bob's code
 ----------
@@ -50,17 +49,25 @@ the rest of the code is analogous to Alice's::
 
     def run_bob(this_node_name: str, remote_node_name: str) -> int:
         epr_socket = EPRSocket(remote_node_name)
+
+        # sim_conn is our connection to the quantum backend (SimulaQron), not to Alice.
+        # Alice is reached via EPRSocket for quantum and reader/writer for classical.
         sim_conn = NetQASMConnection(this_node_name, epr_sockets=[epr_socket])
 
-        # Receive an entangled qubit (Alice created the pair)
-        epr = epr_socket.recv_keep()[0]
+        # Receive an entangled qubit
+        B = epr_socket.recv_keep()[0]
 
-        m1 = epr.measure()
+        # And simply measure it
+        b = B.measure()
+
+        # flush() executes all queued quantum operations and makes measurement
+        # results available.  Before flush(), b is just a future/promise.
         sim_conn.flush()
 
-        m1_val = int(m1)
+        # int(m) extracts the measurement outcome — only valid after flush().
+        b_val = int(b)
         sim_conn.close()
-        return m1_val
+        return b_val
 
 Key concepts
 ------------

examples/new-sdk/corrRNG/aliceTest.py

@@ -23,19 +23,19 @@ def run_alice(this_node_name: str, remote_node_name: str) -> int:
     sim_conn = NetQASMConnection(this_node_name, epr_sockets=[epr_socket])
 
     # Create an entangled qubit
-    epr = epr_socket.create_keep()[0]
+    A = epr_socket.create_keep()[0]
 
     # And simply measure it
-    m1 = epr.measure()
+    a = A.measure()
 
     # flush() executes all queued quantum operations and makes measurement
-    # results available.  Before flush(), m1 is just a future/promise.
+    # results available.  Before flush(), a is just a future/promise.
     sim_conn.flush()
 
     # int(m) extracts the measurement outcome — only valid after flush().
-    m1_val = int(m1)
+    a_val = int(a)
     sim_conn.close()
-    return m1_val
+    return a_val
 
 
 if __name__ == "__main__":

examples/new-sdk/corrRNG/bobTest.py

@@ -23,19 +23,19 @@ def run_bob(this_node_name: str, remote_node_name: str) -> int:
     sim_conn = NetQASMConnection(this_node_name, epr_sockets=[epr_socket])
 
     # Receive an entangled qubit
-    epr = epr_socket.recv_keep()[0]
+    B = epr_socket.recv_keep()[0]
 
     # And simply measure it
-    m1 = epr.measure()
+    b = B.measure()
 
     # flush() executes all queued quantum operations and makes measurement
-    # results available.  Before flush(), m1 is just a future/promise.
+    # results available.  Before flush(), b is just a future/promise.
     sim_conn.flush()
 
     # int(m) extracts the measurement outcome — only valid after flush().
-    m1_val = int(m1)
+    b_val = int(b)
     sim_conn.close()
-    return m1_val
+    return b_val
 
 
 if __name__ == "__main__":