keccak256-circom/go-keccak256-bits-impl/ref.go
go-keccak256-bits-impl/ref.goRaw
1/*
2This file contains the byte & uint64 implementations that are used to test the
3bits implementations.
4*/
5package keccak
6
7func thetaU64Version(a [25]uint64) [25]uint64 {
8 var c0, c1, c2, c3, c4, d uint64
9 var r [25]uint64
10 c0 = a[0] ^ a[5] ^ a[10] ^ a[15] ^ a[20]
11 c1 = a[1] ^ a[6] ^ a[11] ^ a[16] ^ a[21]
12 c2 = a[2] ^ a[7] ^ a[12] ^ a[17] ^ a[22]
13 c3 = a[3] ^ a[8] ^ a[13] ^ a[18] ^ a[23]
14 c4 = a[4] ^ a[9] ^ a[14] ^ a[19] ^ a[24]
15
16 d = c4 ^ (c1<<1 | c1>>(64-1))
17 r[0] = a[0] ^ d
18 r[5] = a[5] ^ d
19 r[10] = a[10] ^ d
20 r[15] = a[15] ^ d
21 r[20] = a[20] ^ d
22
23 d = c0 ^ (c2<<1 | c2>>(64-1))
24 r[1] = a[1] ^ d
25 r[6] = a[6] ^ d
26 r[11] = a[11] ^ d
27 r[16] = a[16] ^ d
28 r[21] = a[21] ^ d
29
30 d = c1 ^ (c3<<1 | c3>>(64-1))
31 r[2] = a[2] ^ d
32 r[7] = a[7] ^ d
33 r[12] = a[12] ^ d
34 r[17] = a[17] ^ d
35 r[22] = a[22] ^ d
36
37 d = c2 ^ (c4<<1 | c4>>(64-1))
38 r[3] = a[3] ^ d
39 r[8] = a[8] ^ d
40 r[13] = a[13] ^ d
41 r[18] = a[18] ^ d
42 r[23] = a[23] ^ d
43
44 d = c3 ^ (c0<<1 | c0>>(64-1))
45 r[4] = a[4] ^ d
46 r[9] = a[9] ^ d
47 r[14] = a[14] ^ d
48 r[19] = a[19] ^ d
49 r[24] = a[24] ^ d
50 return r
51}