naive: match %configure-keys to skim:tx format

This commit is contained in:
drbeefsupreme 2021-06-10 15:34:42 -04:00
parent 4c7cdc253a
commit 3c2daa06b4
No known key found for this signature in database
GPG Key ID: B70D5683DE7F9EFC
2 changed files with 8 additions and 7 deletions

View File

@ -101,7 +101,7 @@
== ==
:: ::
++ get-keys ++ get-keys
|= [suite=@ud crypt=@ auth=@ breach=?] ^- octs |= [crypt=@ auth=@ suite=@ breach=?] ^- octs
%: cad:naive 3 %: cad:naive 3
(from-proxy proxy.from.tx) (from-proxy proxy.from.tx)
4^ship.from.tx 4^ship.from.tx

View File

@ -496,7 +496,7 @@
?+ tx-type.event !! ?+ tx-type.event !!
:: %spawn :: %spawn
:: %transfer-point :: %transfer-point
:: %configure-keys :: %configure-keys [%configure-keys encr auth 1 |]
:: %escape :: %escape
:: %cancel-escape :: %cancel-escape
:: %adopt :: %adopt
@ -729,7 +729,7 @@
-- --
:: ::
++ test-marbud-l2-change-keys-new ^- tang ++ test-marbud-l2-change-keys-new ^- tang
=/ new-keys [%configure-keys suit encr auth |] =/ new-keys [%configure-keys encr auth suit |]
=| =^state:naive =| =^state:naive
=^ f state (init-marbud state) =^ f state (init-marbud state)
=/ marbud-point (~(got by points.state) ~marbud) =/ marbud-point (~(got by points.state) ~marbud)
@ -1016,8 +1016,9 @@
=^ f state (n state %bat q:(gen-tx 0 lt-spawn-1 %marbud-skey)) =^ f state (n state %bat q:(gen-tx 0 lt-spawn-1 %marbud-skey))
state state
:: ::
::
++ test-marbud-l2-change-keys ^- tang ++ test-marbud-l2-change-keys ^- tang
=/ new-keys [%configure-keys suit encr auth |] =/ new-keys [%configure-keys encr auth suit |]
=/ marbud-mproxy [marbud-own %set-management-proxy (addr %marbud-mkey)] =/ marbud-mproxy [marbud-own %set-management-proxy (addr %marbud-mkey)]
:: ::
;: weld ;: weld
@ -1045,7 +1046,7 @@
:: ::
:: TODO: transfer breach via transfer proxy :: TODO: transfer breach via transfer proxy
++ test-marbud-l2-proxies-transfer ^- tang ++ test-marbud-l2-proxies-transfer ^- tang
=/ marbud-new-keys [marbud-own %configure-keys suit encr auth |] =/ marbud-new-keys [marbud-own %configure-keys encr auth suit |]
=/ marbud-sproxy [marbud-own %set-spawn-proxy (addr %marbud-skey)] =/ marbud-sproxy [marbud-own %set-spawn-proxy (addr %marbud-skey)]
=/ marbud-mproxy [marbud-own %set-management-proxy (addr %marbud-mkey)] =/ marbud-mproxy [marbud-own %set-management-proxy (addr %marbud-mkey)]
=/ marbud-tproxy [marbud-own %set-transfer-proxy (addr %marbud-key-1)] =/ marbud-tproxy [marbud-own %set-transfer-proxy (addr %marbud-key-1)]
@ -1124,8 +1125,8 @@
:: TODO: life+rift changes via transfer proxy :: TODO: life+rift changes via transfer proxy
:: ::
++ test-marbud-life-rift ^- tang ++ test-marbud-life-rift ^- tang
=/ new-keys-no-reset [marbud-own %configure-keys suit encr auth |] =/ new-keys-no-reset [marbud-own %configure-keys encr auth suit |]
=/ new-keys-yes-reset [marbud-own %configure-keys suit encr auth &] =/ new-keys-yes-reset [marbud-own %configure-keys encr auth suit &]
=/ zero-keys-no-reset [marbud-own %configure-keys 0 0 0 |] =/ zero-keys-no-reset [marbud-own %configure-keys 0 0 0 |]
=/ zero-keys-yes-reset [marbud-own %configure-keys 0 0 0 &] =/ zero-keys-yes-reset [marbud-own %configure-keys 0 0 0 &]
=/ marbud-transfer-no-breach [marbud-own %transfer-point (addr %marbud-key-1) |] =/ marbud-transfer-no-breach [marbud-own %transfer-point (addr %marbud-key-1) |]