mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-11-10 10:05:09 +03:00
Joe Bryan
GitHub
commit
56402890ce
2588
sys/vane/alef.hoon
Normal file
2588
sys/vane/alef.hoon
Normal file
File diff suppressed because it is too large
Load Diff
200
tests/sys/vane/alef.hoon
Normal file
200
tests/sys/vane/alef.hoon
Normal file
@ -0,0 +1,200 @@
|
||||
/+ *test
|
||||
/= alef /: /===/sys/vane/alef
|
||||
/!noun/
|
||||
:: construct some test fixtures
|
||||
::
|
||||
=/ vane (alef !>(..zuse))
|
||||
::
|
||||
=/ alice vane
|
||||
=/ bob vane
|
||||
::
|
||||
=. our.alice ~nec
|
||||
=. now.alice ~1111.1.1
|
||||
=. eny.alice 0xdead.beef
|
||||
::
|
||||
=. our.bob ~doznec-doznec
|
||||
=. now.bob ~1111.1.1
|
||||
=. eny.bob 0xbeef.dead
|
||||
::
|
||||
=. crypto-core.ames-state.alice (pit:nu:crub:crypto 512 (shaz 'alice'))
|
||||
=. crypto-core.ames-state.bob (pit:nu:crub:crypto 512 (shaz 'bob'))
|
||||
::
|
||||
=/ alice-pub pub:ex:crypto-core.ames-state.alice
|
||||
=/ alice-sec sec:ex:crypto-core.ames-state.alice
|
||||
=/ bob-pub pub:ex:crypto-core.ames-state.bob
|
||||
=/ bob-sec sec:ex:crypto-core.ames-state.bob
|
||||
::
|
||||
=/ alice-sym (derive-symmetric-key:alef bob-pub alice-sec)
|
||||
=/ bob-sym (derive-symmetric-key:alef alice-pub bob-sec)
|
||||
::
|
||||
?> =(alice-sym bob-sym)
|
||||
::
|
||||
=. life.ames-state.alice 2
|
||||
=. peers.ames-state.alice
|
||||
%+ ~(put by peers.ames-state.alice) ~doznec-doznec
|
||||
=| =peer-state:alef
|
||||
=. -.peer-state
|
||||
:* symmetric-key=bob-sym
|
||||
life=3
|
||||
public-key=bob-pub
|
||||
sponsor=~marzod
|
||||
==
|
||||
=. route.peer-state `[direct=%.y `lane:alef`[%& ~nec]]
|
||||
[%known peer-state]
|
||||
::
|
||||
=. life.ames-state.bob 3
|
||||
=. peers.ames-state.bob
|
||||
%+ ~(put by peers.ames-state.bob) ~nec
|
||||
=| =peer-state:alef
|
||||
=. -.peer-state
|
||||
:* symmetric-key=alice-sym
|
||||
life=2
|
||||
public-key=alice-pub
|
||||
sponsor=~nec
|
||||
==
|
||||
=. route.peer-state `[direct=%.y `lane:alef`[%| `@`%lane-bar]]
|
||||
[%known peer-state]
|
||||
::
|
||||
|%
|
||||
++ move-to-packet
|
||||
|= =move:alef
|
||||
^- [=lane:alef =blob:alef]
|
||||
::
|
||||
?> ?=([%give %send *] +.move)
|
||||
[lane blob]:+>+.move
|
||||
::
|
||||
++ is-move-send
|
||||
|= =move:alef
|
||||
^- ?
|
||||
?=([%give %send *] card.move)
|
||||
::
|
||||
++ snag-packet
|
||||
|= [index=@ud moves=(list move:alef)]
|
||||
^- [=lane:alef =blob:alef]
|
||||
::
|
||||
%- move-to-packet
|
||||
%+ snag index
|
||||
(skim moves is-move-send)
|
||||
--
|
||||
|%
|
||||
++ test-packet-encoding ^- tang
|
||||
::
|
||||
=/ =packet:alef
|
||||
:* [sndr=~nec rcvr=~doznec-doznec]
|
||||
encrypted=%.n
|
||||
origin=~
|
||||
content=[12 13]
|
||||
==
|
||||
::
|
||||
=/ encoded (encode-packet:alef packet)
|
||||
=/ decoded (decode-packet:alef encoded)
|
||||
::
|
||||
%+ expect-eq
|
||||
!> packet
|
||||
!> decoded
|
||||
::
|
||||
++ test-alien-encounter ^- tang
|
||||
::
|
||||
=/ lane-foo=lane:alef [%| `@ux``@`%lane-foo]
|
||||
::
|
||||
=/ =message:alef [/g/talk [%first %post]]
|
||||
::
|
||||
=/ =shut-packet:alef
|
||||
:* sndr-life=4
|
||||
rcvr-life=3
|
||||
bone=1
|
||||
message-num=1
|
||||
[%& num-fragments=1 fragment-num=0 (jam message)]
|
||||
==
|
||||
::
|
||||
=/ =packet:alef
|
||||
:* [sndr=~bus rcvr=~doznec-doznec]
|
||||
encrypted=%.y
|
||||
origin=~
|
||||
content=(encrypt:alef alice-sym shut-packet)
|
||||
==
|
||||
::
|
||||
=/ =blob:alef (encode-packet:alef packet)
|
||||
=^ moves1 bob (call bob ~[//unix] %hear lane-foo blob)
|
||||
=^ moves2 bob
|
||||
=/ =point:alef
|
||||
:* rift=1
|
||||
life=4
|
||||
crypto-suite=1
|
||||
encryption-key=`@`alice-pub
|
||||
authentication-key=`@`0
|
||||
sponsor=`~bus
|
||||
==
|
||||
%- take
|
||||
:^ bob /alien ~[//unix]
|
||||
^- sign:alef
|
||||
[%j %public-keys %full [n=[~bus point] ~ ~]]
|
||||
::
|
||||
;: weld
|
||||
%+ expect-eq
|
||||
!> [~[//unix] %pass /alien %j %public-keys ~bus]~
|
||||
!> moves1
|
||||
::
|
||||
%+ expect-eq
|
||||
!> [~[//unix] %pass /bone/~bus/1 %g %memo ~bus /g/talk [%first %post]]~
|
||||
!> moves2
|
||||
==
|
||||
::
|
||||
++ test-message-flow ^- tang
|
||||
::
|
||||
=^ moves1 alice
|
||||
(call alice ~[/alice] %memo ~doznec-doznec /g/talk [%get %post])
|
||||
::
|
||||
=^ moves2 bob (call bob ~[/bob] %hear (snag-packet 0 moves1))
|
||||
=^ moves3 bob (take bob /bone/~nec/1 ~[/bob] %g %done ~)
|
||||
=^ moves4 alice (call alice ~[/alice] %hear (snag-packet 0 moves3))
|
||||
=^ moves5 bob
|
||||
(take bob /bone/~nec/1 ~[/bob] %g %memo /g/talk [%post 'first1!!'])
|
||||
::
|
||||
=^ moves6 alice (call alice ~[/alice] %hear (snag-packet 0 moves5))
|
||||
=^ moves7 bob (call bob ~[/bob] %hear (snag-packet 0 moves6))
|
||||
::
|
||||
;: weld
|
||||
%+ expect-eq
|
||||
!> :~ :+ ~[/alice] %give [%done error=~]
|
||||
:+ ~[/alice] %pass
|
||||
[/pump/~doznec-doznec/0 %b %rest ~1111.1.1..00.00.06]
|
||||
==
|
||||
!> moves4
|
||||
::
|
||||
%+ expect-eq
|
||||
!> [~[/alice] %give %memo /g/talk %post 'first1!!']
|
||||
!> (snag 1 `(list move:alef)`moves6)
|
||||
==
|
||||
::
|
||||
++ test-nack ^- tang
|
||||
=^ moves1 alice
|
||||
(call alice ~[/alice] %memo ~doznec-doznec /g/talk [%get %post])
|
||||
::
|
||||
=^ moves2 bob (call bob ~[/bob] %hear (snag-packet 0 moves1))
|
||||
=/ =error:alef [%flub [%leaf "sinusoidal repleneration"]~]
|
||||
=^ moves3 bob (take bob /bone/~nec/1 ~[/bob] %g %done `error)
|
||||
=^ moves4 alice (call alice ~[/alice] %hear (snag-packet 0 moves3))
|
||||
=^ moves5 alice (call alice ~[/alice] %hear (snag-packet 1 moves3))
|
||||
=^ moves6 bob (call bob ~[/bob] %hear (snag-packet 0 moves5))
|
||||
::
|
||||
%+ expect-eq
|
||||
!> [~[/alice] %give %done `error]
|
||||
!> (snag 1 `(list move:alef)`moves5)
|
||||
::
|
||||
++ call
|
||||
|= [vane=_alice =duct =task:alef]
|
||||
^- [moves=(list move:alef) _alice]
|
||||
::
|
||||
=/ vane-core (vane(now `@da`(add ~s1 now.vane)))
|
||||
::
|
||||
(call:vane-core duct ** task)
|
||||
::
|
||||
++ take
|
||||
|= [vane=_alice =wire =duct =sign:alef]
|
||||
^- [moves=(list move:alef) _alice]
|
||||
::
|
||||
=/ vane-core (vane(now `@da`(add ~s1 now.vane)))
|
||||
::
|
||||
(take:vane-core wire duct ** sign)
|
||||
--
|
||||
97
tests/sys/zuse/ordered-map.hoon
Normal file
97
tests/sys/zuse/ordered-map.hoon
Normal file
@ -0,0 +1,97 @@
|
||||
:: TODO: move +ordered-map to zuse
|
||||
::
|
||||
/+ *test
|
||||
/= alef /: /===/sys/vane/alef
|
||||
/!noun/
|
||||
::
|
||||
=/ items-from-keys
|
||||
|= keys=(list @ud)
|
||||
%+ turn keys
|
||||
|= k=@ud
|
||||
[k `@tas`(add k %a)]
|
||||
::
|
||||
=/ test-items=(list [@ud @tas])
|
||||
(items-from-keys (gulf 0 6))
|
||||
::
|
||||
=/ atom-map ((ordered-map:alef @ud @tas) lte)
|
||||
::
|
||||
|%
|
||||
++ test-ordered-map-gas ^- tang
|
||||
::
|
||||
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
|
||||
::
|
||||
%+ expect-eq
|
||||
!> %.y
|
||||
!> (check-balance:atom-map a)
|
||||
::
|
||||
++ test-ordered-map-tap ^- tang
|
||||
::
|
||||
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
|
||||
::
|
||||
%+ expect-eq
|
||||
!> test-items
|
||||
!> (tap:atom-map a)
|
||||
::
|
||||
++ test-ordered-map-pop ^- tang
|
||||
::
|
||||
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
|
||||
::
|
||||
%+ expect-eq
|
||||
!> [[0 %a] (gas:atom-map ~ (items-from-keys (gulf 1 6)))]
|
||||
!> (pop:atom-map a)
|
||||
::
|
||||
++ test-ordered-map-peek ^- tang
|
||||
::
|
||||
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
|
||||
::
|
||||
%+ expect-eq
|
||||
!> `[0 %a]
|
||||
!> (peek:atom-map a)
|
||||
::
|
||||
++ test-ordered-map-nip ^- tang
|
||||
::
|
||||
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
|
||||
::
|
||||
=/ b (nip:atom-map a)
|
||||
::
|
||||
%+ expect-eq
|
||||
!> (gas:atom-map ~ ~[[0^%a] [1^%b] [2^%c] [3^%d] [4^%e] [5^%f]])
|
||||
!> b
|
||||
::
|
||||
++ test-ordered-map-traverse ^- tang
|
||||
::
|
||||
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
|
||||
::
|
||||
=/ b %- (traverse:atom-map ,(list [@ud @tas]))
|
||||
:* a
|
||||
state=~
|
||||
::
|
||||
|= [s=(list [@ud @tas]) k=@ud v=@tas]
|
||||
:+ ?: =(3 k)
|
||||
~
|
||||
[~ `@tas`+(v)]
|
||||
=(5 k)
|
||||
[[k v] s]
|
||||
==
|
||||
::
|
||||
;: weld
|
||||
%+ expect-eq
|
||||
!> (gas:atom-map ~ ~[[0^%b] [1^%c] [2^%d] [4^%f] [5^%g] [6^%g]])
|
||||
!> +.b
|
||||
::
|
||||
%+ expect-eq
|
||||
!> (flop (items-from-keys (gulf 0 5)))
|
||||
!> -.b
|
||||
==
|
||||
::
|
||||
++ test-ordered-map-uni ^- tang
|
||||
::
|
||||
=/ a=(tree [@ud @tas]) (gas:atom-map ~ (scag 4 test-items))
|
||||
=/ b=(tree [@ud @tas]) (gas:atom-map ~ (slag 4 test-items))
|
||||
::
|
||||
=/ c (uni:atom-map a b)
|
||||
::
|
||||
%+ expect-eq
|
||||
!> (gas:atom-map ~ test-items)
|
||||
!> c
|
||||
--
|
||||
Loading…
Reference in New Issue
Block a user