function handleConnCloseTry()
{state, version, counterpartyIdentifier, rootOfTrust} = Get(identifier)
assert(state == OPEN)
assert(identifierCounterparty == counterpartyIdentifier)
assert(verify(roofOfTrust, proofInit, (counterpartyIdentifier, TRYCLOSE)))
state = CLOSED
Set(identifier, (state, version, counterpartyIdentifier, rootOfTrust))
Last active
April 9, 2019 14:58
-
-
Save jaekwon/7d03062b555102a2c41d3d799eeafd65 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment