git.iko.soy/urbit.org
on 492ae2f help sign in
urbit.org/docs/programming/reference/library/src/3d/gate/shal.md
120 lines 5.1 kB history raw
1### `++shal`
3 ++ shal :: sha-512 with length
4 ~/ %shal
5 |= {len/@ ruz/@} ^- @
6 => .(ruz (cut 3 [0 len] ruz))
7 =+ [few==>(fe .(a 6)) wac=|=({a/@ b/@} (cut 6 [a 1] b))]
8 =+ [sum=sum.few ror=ror.few net=net.few inv=inv.few]
9 =+ ral=(lsh 0 3 len)
10 =+ ^= ful
11 %+ can 0
12 :~ [ral ruz]
13 [8 128]
14 [(mod (sub 1.920 (mod (add 8 ral) 1.024)) 1.024) 0]
15 [128 (~(net fe 7) ral)]
16 ==
17 =+ lex=(met 10 ful)
18 =+ ^= kbx 0x6c44.198c.4a47.5817.5fcb.6fab.3ad6.faec.
19 597f.299c.fc65.7e2a.4cc5.d4be.cb3e.42b6.
20 431d.67c4.9c10.0d4c.3c9e.be0a.15c9.bebc.
21 32ca.ab7b.40c7.2493.28db.77f5.2304.7d84.
22 1b71.0b35.131c.471b.113f.9804.bef9.0dae.
23 0a63.7dc5.a2c8.98a6.06f0.67aa.7217.6fba.
24 f57d.4f7f.ee6e.d178.eada.7dd6.cde0.eb1e.
25 d186.b8c7.21c0.c207.ca27.3ece.ea26.619c.
26 c671.78f2.e372.532b.bef9.a3f7.b2c6.7915.
27 a450.6ceb.de82.bde9.90be.fffa.2363.1e28.
28 8cc7.0208.1a64.39ec.84c8.7814.a1f0.ab72.
29 78a5.636f.4317.2f60.748f.82ee.5def.b2fc.
30 682e.6ff3.d6b2.b8a3.5b9c.ca4f.7763.e373.
31 4ed8.aa4a.e341.8acb.391c.0cb3.c5c9.5a63.
32 34b0.bcb5.e19b.48a8.2748.774c.df8e.eb99.
33 1e37.6c08.5141.ab53.19a4.c116.b8d2.d0c8.
34 106a.a070.32bb.d1b8.f40e.3585.5771.202a.
35 d699.0624.5565.a910.d192.e819.d6ef.5218.
36 c76c.51a3.0654.be30.c24b.8b70.d0f8.9791.
37 a81a.664b.bc42.3001.a2bf.e8a1.4cf1.0364.
38 9272.2c85.1482.353b.81c2.c92e.47ed.aee6.
39 766a.0abb.3c77.b2a8.650a.7354.8baf.63de.
40 5338.0d13.9d95.b3df.4d2c.6dfc.5ac4.2aed.
41 2e1b.2138.5c26.c926.27b7.0a85.46d2.2ffc.
42 1429.2967.0a0e.6e70.06ca.6351.e003.826f.
43 d5a7.9147.930a.a725.c6e0.0bf3.3da8.8fc2.
44 bf59.7fc7.beef.0ee4.b003.27c8.98fb.213f.
45 a831.c66d.2db4.3210.983e.5152.ee66.dfab.
46 76f9.88da.8311.53b5.5cb0.a9dc.bd41.fbd4.
47 4a74.84aa.6ea6.e483.2de9.2c6f.592b.0275.
48 240c.a1cc.77ac.9c65.0fc1.9dc6.8b8c.d5b5.
49 efbe.4786.384f.25e3.e49b.69c1.9ef1.4ad2.
50 c19b.f174.cf69.2694.9bdc.06a7.25c7.1235.
51 80de.b1fe.3b16.96b1.72be.5d74.f27b.896f.
52 550c.7dc3.d5ff.b4e2.2431.85be.4ee4.b28c.
53 1283.5b01.4570.6fbe.d807.aa98.a303.0242.
54 ab1c.5ed5.da6d.8118.923f.82a4.af19.4f9b.
55 59f1.11f1.b605.d019.3956.c25b.f348.b538.
56 e9b5.dba5.8189.dbbc.b5c0.fbcf.ec4d.3b2f.
57 7137.4491.23ef.65cd.428a.2f98.d728.ae22
58 =+ ^= hax 0x5be0.cd19.137e.2179.1f83.d9ab.fb41.bd6b.
59 9b05.688c.2b3e.6c1f.510e.527f.ade6.82d1.
60 a54f.f53a.5f1d.36f1.3c6e.f372.fe94.f82b.
61 bb67.ae85.84ca.a73b.6a09.e667.f3bc.c908
62 =+ i=0
63 |- ^- @
64 ?: =(i lex)
65 (rep 6 (turn (rip 6 hax) net))
66 =+ ^= wox
67 =+ dux=(cut 10 [i 1] ful)
68 =+ wox=(rep 6 (turn (rip 6 dux) net))
69 =+ j=16
70 |- ^- @
71 ?: =(80 j)
72 wox
73 =+ :* l=(wac (sub j 15) wox)
74 m=(wac (sub j 2) wox)
75 n=(wac (sub j 16) wox)
76 o=(wac (sub j 7) wox)
77 ==
78 =+ x=:(mix (ror 0 1 l) (ror 0 8 l) (rsh 0 7 l))
79 =+ y=:(mix (ror 0 19 m) (ror 0 61 m) (rsh 0 6 m))
80 =+ z=:(sum n x o y)
81 $(wox (con (lsh 6 j z) wox), j +(j))
82 =+ j=0
83 =+ :* a=(wac 0 hax)
84 b=(wac 1 hax)
85 c=(wac 2 hax)
86 d=(wac 3 hax)
87 e=(wac 4 hax)
88 f=(wac 5 hax)
89 g=(wac 6 hax)
90 h=(wac 7 hax)
91 ==
92 |- ^- @
93 ?: =(80 j)
94 %= ^$
95 i +(i)
96 hax %+ rep 6
97 :~ (sum a (wac 0 hax))
98 (sum b (wac 1 hax))
99 (sum c (wac 2 hax))
100 (sum d (wac 3 hax))
101 (sum e (wac 4 hax))
102 (sum f (wac 5 hax))
103 (sum g (wac 6 hax))
104 (sum h (wac 7 hax))
105 ==
106 ==
107 =+ l=:(mix (ror 0 28 a) (ror 0 34 a) (ror 0 39 a)) :: S0
108 =+ m=:(mix (dis a b) (dis a c) (dis b c)) :: maj
109 =+ n=(sum l m) :: t2
110 =+ o=:(mix (ror 0 14 e) (ror 0 18 e) (ror 0 41 e)) :: S1
111 =+ p=(mix (dis e f) (dis (inv e) g)) :: ch
112 =+ q=:(sum h o p (wac j kbx) (wac j wox)) :: t1
113 $(j +(j), a (sum q n), b a, c b, d c, e (sum d q), f e, g f, h g)
114 ::
116XX document
120***