def round_constants

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:179

import Base

179# FIPS 180-4 round constants, the table the specialized rounds below inline.
180def round_constants() -> List<&2, U32>:
181  [1116352408, 1899447441, 3049323471, 3921009573,
182   961987163, 1508970993, 2453635748, 2870763221,
183   3624381080, 310598401, 607225278, 1426881987,
184   1925078388, 2162078206, 2614888103, 3248222580,
185   3835390401, 4022224774, 264347078, 604807628,
186   770255983, 1249150122, 1555081692, 1996064986,
187   2554220882, 2821834349, 2952996808, 3210313671,
188   3336571891, 3584528711, 113926993, 338241895,
189   666307205, 773529912, 1294757372, 1396182291,
190   1695183700, 1986661051, 2177026350, 2456956037,
191   2730485921, 2820302411, 3259730800, 3345764771,
192   3516065817, 3600352804, 4094571909, 275423344,
193   430227734, 506948616, 659060556, 883997877,
194   958139571, 1322822218, 1537002063, 1747873779,
195   1955562222, 2024104815, 2227730452, 2361852424,
196   2428436474, 2756734187, 3204031479, 3329325298]