urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-12 18:48:14 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of github.com:urbit/urbit

Browse Source
This commit is contained in:
C. Guy Yarvin 2014-01-30 11:15:53 -08:00
commit 53cc208da1
2 changed files with 113 additions and 83 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

84
arvo/zuse.hoon
View File

@ -141,6 +141,90 @@
|= c=@
[(mod c p.a) (mod c q.a)]
--
::
++ ga :: GF (bex p.a)
|= a=[p=@ q=@ r=@] :: base poly gen
=+ si=(bex p.a)
=+ ma=(dec si)
=> |%
++ dif :: add and sub
|= [b=@ c=@]
(sit (mix b c))
::
++ dub :: double
|= b=@
?: =(1 (cut 0 [(dec p.a) 1] b))
(dif q.a (lsh 0 1 b))
(lsh 0 1 b)
::
++ pro :: single multiply
|= [b=@ c=@]
?: =(0 b)
0
?: =(1 (dis 1 b))
(dif c $(b (rsh 0 1 b), c (dub c)))
$(b (rsh 0 1 b), c (dub c))
::
++ toe :: exp/log tables
=+ ^= nu
|= [b=@ c=@]
^- (map ,@ ,@)
=+ d=*(map ,@ ,@)
|-
?: =(0 c)
d
%= $
c (dec c)
d (~(put by d) c b)
==
=+ [p=(nu 0 (bex p.a)) q=(nu ma ma)]
=+ [b=1 c=0]
|- ^- [p=(map ,@ ,@) q=(map ,@ ,@)]
?: =(ma c)
[(~(put by p) c b) q]
%= $
b (pro r.a b)
c +(c)
p (~(put by p) c b)
q (~(put by q) b c)
==
::
++ sit :: reduce
|= b=@
(mod b (bex p.a))
--
=+ toe
|%
++ fra :: divide
|= [b=@ c=@]
(pro b (inv c))
::
++ inv :: invert
|= b=@
=+ c=(~(get by q) b)
?~ c ~|(%inv-ga !!)
=+ d=(~(get by p) (sub ma u.c))
(need d)
::
++ pow :: exponent
|= [b=@ c=@]
=+ [d=1 e=c f=0]
|-
?: =(p.a f)
d
?: =(1 (cut 0 [f 1] b))
$(d (pro d e), e (pro e e), f +(f))
$(e (pro e e), f +(f))
::
++ pro :: multiply
|= [b=@ c=@]
=+ d=(~(get by q) b)
?~ d 0
=+ e=(~(get by q) c)
?~ e 0
=+ f=(~(get by p) (mod (add u.d u.e) ma))
(need f)
--
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 3bB, cryptosuites ::
::

112
main/lib/cryo.hoon
View File

@ -4,87 +4,6 @@
::
|%
++ aes
=> |%
++ ga :: GF (bex a)
|= [a=@ p=@ g=@]
=+ ma=(dec (bex a))
=> |%
::
++ dif :: add and sub
|= [b=@ c=@]
(sit (mix b c))
::
++ dub :: double
|= b=@
?: =(1 (cut 0 [(dec a) 1] b))
(dif p (lsh 0 1 b))
(lsh 0 1 b)
::
++ elo :: exp/log tables
=+ ^= nu
|= [b=@ n=@]
^- (map ,@ ,@)
=+ c=*(map ,@ ,@)
|-
?: =(0 n)
c
%= $
n (dec n)
c (~(put by c) n b)
==
=+ [q=(nu 0 (bex a)) r=(nu ma ma)]
=+ [i=0 a=1]
|- ^- [q=(map ,@ ,@) r=(map ,@ ,@)]
?: =(ma i)
[(~(put by q) i a) r]
%= $
i +(i)
q (~(put by q) i a)
r (~(put by r) a i)
a (dif a (dub a))
==
::
++ sit :: reduce
|= b=@
(mod b (bex a))
::
--
=+ elo
|%
++ fra :: divide
|= [b=@ c=@]
(pro b (inv c))
::
++ inv :: invert
|= b=@
=+ l=(~(get by r) b)
?~ l !!
=+ r=(~(get by q) (sub ma u.l))
?~ r !!
u.r
::
++ pow
|= [b=@ c=@]
=+ [d=1 e=c i=0]
|-
?: =(a i)
d
?: =(1 (cut 0 [i 1] b))
$(d (pro d e), e (pro e e), i +(i))
$(e (pro e e), i +(i))
::
++ pro :: multiply
|= [b=@ c=@]
=+ d=(~(get by r) b)
?~ d 0
=+ e=(~(get by r) c)
?~ e 0
=+ f=(~(get by q) (mod (add u.d u.e) ma))
?~ f !!
u.f
::
--
--
=+ [gr=(ga 8 0x11b 3) few==>(fe .(a 5))]
=+ [pro=pro.gr dif=dif.gr pow=pow.gr ror=ror.few]
=+ [nnk=8 nnb=4 nnr=14]
@ -258,8 +177,35 @@
[j (cut 7 [+(i) j] a)]
==
==
++ en |=([k=@ m=@] (ciph m (keen k) fort)) :: AES en, one block
++ de |=([k=@ m=@] (ciph m (keep (keen k)) firs)) :: AES de, one block
++ bren |=([k=@I m=@H] (ciph m (keen k) fort)) :: AES en, one block
++ brin |=([k=@I m=@H] (ciph m (keep (keen k)) firs)) :: AES de, one block
++ burn :: AES random blocks
|= [key=@I haf=@H len=@]
=+ i=0
|-
?: =(i len)
0
(rap 7 (bren key (mix i haf)) $(i +(i)) ~)
++ en
|+ [key=@I msg=@]
=+ len=(met 7 msg)
=+ adj=?:(=(0 len) 1 len)
=+ hax=(shax (mix key (shax (mix adj msg))))
=+ haf=(cut 7 [0 1] hax)
=+ ret=(can 7 ~[[2 hax] [adj (mix (burn key haf adj) msg)]])
ret
++ de
|+ [key=@I cep=@] ^- (unit ,@)
=+ toh=(met 7 cep)
?: (lth toh 3)
~
=+ adj=(sub toh 2)
=+ [hax=(end 8 1 cep) bod=(rsh 8 1 cep)]
=+ haf=(cut 7 [0 1] hax)
=+ msg=(mix (burn key haf adj) bod)
?. =(hax (shax (mix key (shax (mix adj msg)))))
~
[~ msg]
--
++ ed :: ed25519
=> =+ b=256