diff options
author | Florian Dold <florian.dold@gmail.com> | 2020-09-25 17:16:22 +0530 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2020-09-25 17:16:22 +0530 |
commit | 4cbec4d5fa30e486354e6c38f289f4a8855fd929 (patch) | |
tree | f406a80d6673de34cfc5f0902c017bb94591aa48 /contrib/alloy | |
parent | f0e633ca0929ba70fe9c4e6ba3b6ad71a394b4a2 (diff) |
formatting
Diffstat (limited to 'contrib/alloy')
-rw-r--r-- | contrib/alloy/taler-sync.als | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/alloy/taler-sync.als b/contrib/alloy/taler-sync.als index f5b361926..3f302b4ad 100644 --- a/contrib/alloy/taler-sync.als +++ b/contrib/alloy/taler-sync.als @@ -14,8 +14,8 @@ sig SyncAccountKey { } // Abstraction of what's in a sync blob sig SyncBlobHeader { - // Access matrix, abstracts the DH - // suggested by Christian (https://bugs.gnunet.org/view.php?id=6077#c16959) + // Access matrix, abstracts the DH + // suggested by Christian (https://bugs.gnunet.org/view.php?id=6077#c16959) // The DH will yield the symmetric blob encryption key for the "inner blob" access: AnastasisMasterSecret -> WalletDeviceKey, } @@ -29,7 +29,7 @@ sig SyncAccount { sig WalletState { device_key: WalletDeviceKey, anastasis_key: AnastasisMasterSecret, - enrolled: set SyncAccount, + enrolled: set SyncAccount, } |