def constants

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha512.bend:95

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T

95# Section 4.2.3: K0 .. K79.
96def constants() -> List<&2, T.Lane>:
97  [T.W{1116352408, 3609767458}, T.W{1899447441, 602891725},
98   T.W{3049323471, 3964484399}, T.W{3921009573, 2173295548},
99   T.W{961987163, 4081628472}, T.W{1508970993, 3053834265},
100   T.W{2453635748, 2937671579}, T.W{2870763221, 3664609560},
101   T.W{3624381080, 2734883394}, T.W{310598401, 1164996542},
102   T.W{607225278, 1323610764}, T.W{1426881987, 3590304994},
103   T.W{1925078388, 4068182383}, T.W{2162078206, 991336113},
104   T.W{2614888103, 633803317}, T.W{3248222580, 3479774868},
105   T.W{3835390401, 2666613458}, T.W{4022224774, 944711139},
106   T.W{264347078, 2341262773}, T.W{604807628, 2007800933},
107   T.W{770255983, 1495990901}, T.W{1249150122, 1856431235},
108   T.W{1555081692, 3175218132}, T.W{1996064986, 2198950837},
109   T.W{2554220882, 3999719339}, T.W{2821834349, 766784016},
110   T.W{2952996808, 2566594879}, T.W{3210313671, 3203337956},
111   T.W{3336571891, 1034457026}, T.W{3584528711, 2466948901},
112   T.W{113926993, 3758326383}, T.W{338241895, 168717936},
113   T.W{666307205, 1188179964}, T.W{773529912, 1546045734},
114   T.W{1294757372, 1522805485}, T.W{1396182291, 2643833823},
115   T.W{1695183700, 2343527390}, T.W{1986661051, 1014477480},
116   T.W{2177026350, 1206759142}, T.W{2456956037, 344077627},
117   T.W{2730485921, 1290863460}, T.W{2820302411, 3158454273},
118   T.W{3259730800, 3505952657}, T.W{3345764771, 106217008},
119   T.W{3516065817, 3606008344}, T.W{3600352804, 1432725776},
120   T.W{4094571909, 1467031594}, T.W{275423344, 851169720},
121   T.W{430227734, 3100823752}, T.W{506948616, 1363258195},
122   T.W{659060556, 3750685593}, T.W{883997877, 3785050280},
123   T.W{958139571, 3318307427}, T.W{1322822218, 3812723403},
124   T.W{1537002063, 2003034995}, T.W{1747873779, 3602036899},
125   T.W{1955562222, 1575990012}, T.W{2024104815, 1125592928},
126   T.W{2227730452, 2716904306}, T.W{2361852424, 442776044},
127   T.W{2428436474, 593698344}, T.W{2756734187, 3733110249},
128   T.W{3204031479, 2999351573}, T.W{3329325298, 3815920427},
129   T.W{3391569614, 3928383900}, T.W{3515267271, 566280711},
130   T.W{3940187606, 3454069534}, T.W{4118630271, 4000239992},
131   T.W{116418474, 1914138554}, T.W{174292421, 2731055270},
132   T.W{289380356, 3203993006}, T.W{460393269, 320620315},
133   T.W{685471733, 587496836}, T.W{852142971, 1086792851},
134   T.W{1017036298, 365543100}, T.W{1126000580, 2618297676},
135   T.W{1288033470, 3409855158}, T.W{1501505948, 4234509866},
136   T.W{1607167915, 987167468}, T.W{1816402316, 1246189591}]