Update ICS 006 per @colinaxner changes

cosmos · Oct 19, 2020 · 128082e · 128082e
1 parent ade677a
commit 128082e
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/spec.pdf b/spec.pdf
diff --git a/spec/ics-006-solo-machine-client/README.md b/spec/ics-006-solo-machine-client/README.md
@@ -101,7 +101,7 @@ Signatures are provided in the `Proof` field of client state verification functi
 
 ```typescript
 interface Signature {
-  sig: []byte
+  data: []byte
   timestamp: uint64
 }
 ```
@@ -157,9 +157,16 @@ function checkMisbehaviourAndUpdateState(
     h2 = misbehaviour.h2
     pubkey = clientState.consensusState.publicKey
     diversifier = clientState.consensusState.diversifier
+    timestamp = clientState.consensusState.timestamp
+    // assert that timestamp could have fooled the light client
+    assert(misbehaviour.h1.signature.timestamp >= timestamp)
+    assert(misbehaviour.h2.signature.timestamp >= timestamp)
+    // assert that signature data is different
     assert(misbehaviour.h1.signature.data !== misbehaviour.h2.signature.data)
-    assert(checkSignature(pubkey, misbehaviour.sequence, diversifier, misbehaviour.h1.signature.sig))
-    assert(checkSignature(pubkey, misbehaviour.sequence, diversifier, misbehaviour.h2.signature.sig))
+    // assert that the signatures validate
+    assert(checkSignature(pubkey, misbehaviour.sequence, diversifier, misbehaviour.h1.signature.data))
+    assert(checkSignature(pubkey, misbehaviour.sequence, diversifier, misbehaviour.h2.signature.data))
+    // freeze the client
     clientState.frozen = true
 }
 ```