Uninstall Virtual App Protocol
This is the Uninstall Virtual App Protocol.
Roles
Three users run the protocol. They are designated as initiating
, responding
, and intermediary
. It is required that initiating
and responding
have run the install-virtual-app
protocol previously with the same intermediary
; however it is allowed to swap the roles of initiating
and responding
.
The UninstallVirtualAppParams
type
UninstallVirtualAppParams
typeAt the end of this protocol the commitments {left,right}ETHVirtualAppAgreement
defined in the install-virtual-app
protocol are cancelled, and the free balances are updated.
Commitments
lockCommitment
The protocol produces a commitment to call virtualAppSetState
with the final state of the app and at a high app local nonce. The existence of this commitment and the high local nonce means that the s6
signature (from intermediary
on the targetVirtualAppSetState
commitment) is no longer useful, and the changes to the app state cannot be made without the intemediary's signature.
uninstallLeft
A commitment to cancel the leftETHVirtualAppAgreement
commitment produced by install-virtual-app
and simultaneously update the free balance in the initiating
-intermediary
free balance.
uninstallRight
A commitment to cancel the rightETHVirtualAppAgreement
commitment produced by install-virtual-app
and simultaneously update the free balance in the intermediary
-responding
free balance.
Signatures
Messages
M1
M2
M3
M4
M5
M6
M7
M8
Last updated