v / vlib / crypto / sha3 / sha3_state_test.v
28 lines · 27 sloc · 1.32 KB · 65cf633e76e1786f352e689856d6b38ec0ce7334
Raw 


1module sha3


2


3fn test_round_constants() {


4    assert iota_round_constants[0] == 0x0000000000000001


5    assert iota_round_constants[1] == 0x0000000000008082


6    assert iota_round_constants[2] == 0x800000000000808A


7    assert iota_round_constants[3] == 0x8000000080008000


8    assert iota_round_constants[4] == 0x000000000000808B


9    assert iota_round_constants[5] == 0x0000000080000001


10    assert iota_round_constants[6] == 0x8000000080008081


11    assert iota_round_constants[7] == 0x8000000000008009


12    assert iota_round_constants[8] == 0x000000000000008A


13    assert iota_round_constants[9] == 0x0000000000000088


14    assert iota_round_constants[10] == 0x0000000080008009


15    assert iota_round_constants[11] == 0x000000008000000A


16    assert iota_round_constants[12] == 0x000000008000808B


17    assert iota_round_constants[13] == 0x800000000000008B


18    assert iota_round_constants[14] == 0x8000000000008089


19    assert iota_round_constants[15] == 0x8000000000008003


20    assert iota_round_constants[16] == 0x8000000000008002


21    assert iota_round_constants[17] == 0x8000000000000080


22    assert iota_round_constants[18] == 0x000000000000800A


23    assert iota_round_constants[19] == 0x800000008000000A


24    assert iota_round_constants[20] == 0x8000000080008081


25    assert iota_round_constants[21] == 0x8000000000008080


26    assert iota_round_constants[22] == 0x0000000080000001


27    assert iota_round_constants[23] == 0x8000000080008008


28}


29