Hopefully fix DH nonce bug for real

Author: samarth-aws

dh/implementation/leak_nonce_bug.patch

@@ -1,15 +1,15 @@
 diff --git a/initiator/initiator.go b/initiator/initiator.go
-index f91430c..0aa983f 100644
+index f91430c..e9d5179 100644
 --- a/initiator/initiator.go
 +++ b/initiator/initiator.go
 @@ -38,6 +38,12 @@ type Initiator struct {
-        //@ ghost YT tm.Term
+ 	//@ ghost YT tm.Term
  }
 
 +// DIODON ARTIFACT ONLY
 +// Leaks nonce data
 +func (i *Initiator) GetX() []byte {
-+       return i.x
++	return i.x
 +}
 +
  type InitiatorState int
@@ -20,11 +20,10 @@ index 8bbba36..3c7d688 100644
 --- a/main.go
 +++ b/main.go
 @@ -63,6 +63,7 @@ func main() {
-        if !success {
-                reportAndExit(errors.New("Producing handshake msg 1 failed"))
-        }
-+       hsMsg1 = initor.GetX() // bug: leak nonce data to connection
-        if _, err := conn.Write(hsMsg1); err != nil {
-                reportAndExit(err)
-        }
-
+ 	if !success {
+ 		reportAndExit(errors.New("Producing handshake msg 1 failed"))
+ 	}
++	hsMsg1 = initor.GetX() // bug: leak nonce data to connection
+ 	if _, err := conn.Write(hsMsg1); err != nil {
+ 		reportAndExit(err)
+ 	}