gnark-plonky2-verifier/sha512/sha512.go
sha512/sha512.goRaw
1package sha512
2
3// Based on https://gist.github.com/illia-v/7883be942da5d416521375004cecb68f
4
5import (
6 "github.com/consensys/gnark/frontend"
7)
8
9
10func _right_rotate(n [64]frontend.Variable, bits int) [64]frontend.Variable {
11 var result [64]frontend.Variable
12 for i := 0; i < len(n); i++ {
13 result[(i+bits)%len(n)] = n[i]
14 }
15 return result
16}
17
18func Sha512Bytes(api frontend.API, in []frontend.Variable) ([512]frontend.Variable) {
19 bits := []frontend.Variable{}
20 for _, v := range in {
21 b := api.ToBinary(v, 8)
22 for i := 0; i < 8; i++ {
23 bits = append(bits, b[7-i])
24 }
25 }
26 return Sha512Bits(api, bits)
27}
28
29func Sha512Bits(api frontend.API, in []frontend.Variable) ([512]frontend.Variable) {
30 _not := func(x [64]frontend.Variable) [64]frontend.Variable {
31 return not(api, x)
32 }
33 _and := func(xs ...[64]frontend.Variable) [64]frontend.Variable {
34 return and(api, xs...)
35 }
36 _add := func(xs ...[64]frontend.Variable) [64]frontend.Variable {
37 return add(api, xs...)
38 }
39 _xor := func(xs ...[64]frontend.Variable) [64]frontend.Variable {
40 return xor(api, xs...)
41 }
42 zip_add := func(a, b Array8_64) Array8_64 {
43 a0, a1, a2, a3, a4, a5, a6, a7 := unpack8(a)
44 b0, b1, b2, b3, b4, b5, b6, b7 := unpack8(b)
45 return Array8_64{
46 _add(a0, b0),
47 _add(a1, b1),
48 _add(a2, b2),
49 _add(a3, b3),
50 _add(a4, b4),
51 _add(a5, b5),
52 _add(a6, b6),
53 _add(a7, b7),
54 }
55 }
56 initial_hash := []uint64{
57 0x6a09e667f3bcc908,
58 0xbb67ae8584caa73b,
59 0x3c6ef372fe94f82b,
60 0xa54ff53a5f1d36f1,
61 0x510e527fade682d1,
62 0x9b05688c2b3e6c1f,
63 0x1f83d9abfb41bd6b,
64 0x5be0cd19137e2179,
65 }
66 round_constants := []uint64{
67 0x428a2f98d728ae22, 0x7137449123ef65cd, 0xb5c0fbcfec4d3b2f,
68 0xe9b5dba58189dbbc, 0x3956c25bf348b538, 0x59f111f1b605d019,
69 0x923f82a4af194f9b, 0xab1c5ed5da6d8118, 0xd807aa98a3030242,
70 0x12835b0145706fbe, 0x243185be4ee4b28c, 0x550c7dc3d5ffb4e2,
71 0x72be5d74f27b896f, 0x80deb1fe3b1696b1, 0x9bdc06a725c71235,
72 0xc19bf174cf692694, 0xe49b69c19ef14ad2, 0xefbe4786384f25e3,
73 0x0fc19dc68b8cd5b5, 0x240ca1cc77ac9c65, 0x2de92c6f592b0275,
74 0x4a7484aa6ea6e483, 0x5cb0a9dcbd41fbd4, 0x76f988da831153b5,
75 0x983e5152ee66dfab, 0xa831c66d2db43210, 0xb00327c898fb213f,
76 0xbf597fc7beef0ee4, 0xc6e00bf33da88fc2, 0xd5a79147930aa725,
77 0x06ca6351e003826f, 0x142929670a0e6e70, 0x27b70a8546d22ffc,
78 0x2e1b21385c26c926, 0x4d2c6dfc5ac42aed, 0x53380d139d95b3df,
79 0x650a73548baf63de, 0x766a0abb3c77b2a8, 0x81c2c92e47edaee6,
80 0x92722c851482353b, 0xa2bfe8a14cf10364, 0xa81a664bbc423001,
81 0xc24b8b70d0f89791, 0xc76c51a30654be30, 0xd192e819d6ef5218,
82 0xd69906245565a910, 0xf40e35855771202a, 0x106aa07032bbd1b8,
83 0x19a4c116b8d2d0c8, 0x1e376c085141ab53, 0x2748774cdf8eeb99,
84 0x34b0bcb5e19b48a8, 0x391c0cb3c5c95a63, 0x4ed8aa4ae3418acb,
85 0x5b9cca4f7763e373, 0x682e6ff3d6b2b8a3, 0x748f82ee5defb2fc,
86 0x78a5636f43172f60, 0x84c87814a1f0ab72, 0x8cc702081a6439ec,
87 0x90befffa23631e28, 0xa4506cebde82bde9, 0xbef9a3f7b2c67915,
88 0xc67178f2e372532b, 0xca273eceea26619c, 0xd186b8c721c0c207,
89 0xeada7dd6cde0eb1e, 0xf57d4f7fee6ed178, 0x06f067aa72176fba,
90 0x0a637dc5a2c898a6, 0x113f9804bef90dae, 0x1b710b35131c471b,
91 0x28db77f523047d84, 0x32caab7b40c72493, 0x3c9ebe0a15c9bebc,
92 0x431d67c49c100d4c, 0x4cc5d4becb3e42b6, 0x597f299cfc657e2a,
93 0x5fcb6fab3ad6faec, 0x6c44198c4a475817,
94 }
95 for _, v := range in {
96 api.AssertIsBoolean(v)
97 }
98 mdi := divChecked(len(in), 8) % 128
99 var padding_len int
100 if mdi < 112 {
101 padding_len = 119 - mdi
102 } else {
103 padding_len = 247 - mdi
104 }
105 message_length_bits := uint64ToBits(uint64(len(in)))
106 in = append(in, 1)
107 for i := 0; i < 7; i++ {
108 in = append(in, 0)
109 }
110 for i := 0; i < padding_len * 8; i++ {
111 in = append(in, 0)
112 }
113 for i := 0; i < 64; i++ {
114 in = append(in, message_length_bits[i])
115 }
116
117 sha512_hash := Array8_64{
118 uint64ToBits(initial_hash[0]),
119 uint64ToBits(initial_hash[1]),
120 uint64ToBits(initial_hash[2]),
121 uint64ToBits(initial_hash[3]),
122 uint64ToBits(initial_hash[4]),
123 uint64ToBits(initial_hash[5]),
124 uint64ToBits(initial_hash[6]),
125 uint64ToBits(initial_hash[7]),
126 }
127 for chunk_start := 0; chunk_start < divChecked(len(in), 8); chunk_start += 128 {
128 chunk := in[chunk_start * 8 : (chunk_start+128) * 8]
129 if len(chunk) != 1024 { panic("bad length") }
130 u := make([]frontend.Variable, 80 * 64)
131 for i, _ := range u {
132 u[i] = 0
133 }
134 copy(u, chunk)
135
136 w := reshape(u)
137
138 for i := 16; i < 80; i++ {
139 s0 := _xor(
140 _right_rotate(w[i - 15], 1),
141 _right_rotate(w[i - 15], 8),
142 _shr(w[i - 15], 7),
143 )
144 s1 := _xor(
145 _right_rotate(w[i - 2], 19),
146 _right_rotate(w[i - 2], 61),
147 _shr(w[i - 2], 6),
148 )
149 w[i] = _add(w[i - 16], s0, w[i - 7], s1)
150 }
151 a, b, c, d, e, f, g, h := unpack8(sha512_hash)
152 for i := 0; i < 80; i++ {
153 sum1 := _xor(
154 _right_rotate(e, 14),
155 _right_rotate(e, 18),
156 _right_rotate(e, 41),
157 )
158 ch := _xor(_and(e, f), _and(_not(e), g))
159 temp1 := _add(h, sum1, ch, uint64ToBits(round_constants[i]), w[i])
160 sum0 := _xor(
161 _right_rotate(a, 28),
162 _right_rotate(a, 34),
163 _right_rotate(a, 39),
164 )
165 maj := _xor(_and(a, b), _and(a, c), _and(b, c))
166 temp2 := _add(sum0, maj)
167
168 h = g
169 g = f
170 f = e
171 e = _add(d, temp1)
172 d = c
173 c = b
174 b = a
175 a = _add(temp1, temp2)
176 }
177 sha512_hash = zip_add(sha512_hash, Array8_64{a, b, c, d, e, f, g, h})
178 }
179 return flatten8(sha512_hash)
180}
181
182func reshape(u []frontend.Variable) [][64]frontend.Variable {
183 l := divChecked(len(u), 64)
184 result := make([][64]frontend.Variable, l)
185 for i := 0; i < l; i++ {
186 var arr [64]frontend.Variable
187 for k := 0; k < 64; k++ {
188 arr[k] = u[i*64+k]
189 }
190 result[i] = arr
191 }
192 return result
193}
194
195type Array8_64 [8][64]frontend.Variable
196
197func unpack8(x Array8_64) ([64]frontend.Variable, [64]frontend.Variable, [64]frontend.Variable, [64]frontend.Variable, [64]frontend.Variable, [64]frontend.Variable, [64]frontend.Variable, [64]frontend.Variable) {
198 return x[0], x[1], x[2], x[3], x[4], x[5], x[6], x[7]
199}
200
201func flatten8(x Array8_64) [512]frontend.Variable {
202 var result [512]frontend.Variable
203 k := 0
204 for i := 0; i < 8; i++ {
205 for j := 0; j < 64; j++ {
206 result[k] = x[i][j]
207 k++
208 }
209 }
210 return result
211}
212
213func uint64ToBits(value uint64) [64]frontend.Variable {
214 var result [64]frontend.Variable
215 for k := 0; k < 64; k++ {
216 if (value & (1 << (63-k))) != 0 {
217 result[k] = 1
218 } else {
219 result[k] = 0
220 }
221 }
222 return result
223}
224
225func xor(api frontend.API, args ...[64]frontend.Variable) [64]frontend.Variable {
226 if len(args) == 1 {
227 return args[0]
228 } else {
229 return xor2(api, args[0], xor(api, args[1:]...))
230 }
231}
232func add(api frontend.API, args ...[64]frontend.Variable) [64]frontend.Variable {
233 if len(args) == 1 {
234 return args[0]
235 } else {
236 return add2(api, args[0], add(api, args[1:]...))
237 }
238}
239func and(api frontend.API, args ...[64]frontend.Variable) [64]frontend.Variable {
240 if len(args) == 1 {
241 return args[0]
242 } else {
243 return and2(api, args[0], and(api, args[1:]...))
244 }
245}
246
247func xor2(api frontend.API, a, b [64]frontend.Variable) [64]frontend.Variable {
248 var result [64]frontend.Variable
249 for i := 0; i < 64; i++ {
250 result[i] = api.Xor(a[i], b[i])
251 }
252 return result
253}
254
255func and2(api frontend.API, a, b [64]frontend.Variable) [64]frontend.Variable {
256 var result [64]frontend.Variable
257 for i := 0; i < 64; i++ {
258 result[i] = api.And(a[i], b[i])
259 }
260 return result
261}
262
263func add2(api frontend.API, a, b [64]frontend.Variable) [64]frontend.Variable {
264 var result [64]frontend.Variable
265 var carry frontend.Variable = 0
266 for i := 63; i >= 0; i-- {
267 sum := api.Add(a[i], b[i], carry)
268 sumBin := api.ToBinary(sum, 2)
269 if len(sumBin) != 2 {
270 panic("bad length")
271 }
272 result[i] = sumBin[0]
273 carry = sumBin[1]
274 }
275 return result
276}
277
278func _shr(n [64]frontend.Variable, bits int) [64]frontend.Variable {
279 var result [64]frontend.Variable
280 for i := 0; i < 64; i++ {
281 if i < bits {
282 result[i] = 0
283 } else {
284 result[i] = n[i - bits]
285 }
286 }
287 return result
288}
289
290func not(api frontend.API, n [64]frontend.Variable) [64]frontend.Variable {
291 var result [64]frontend.Variable
292 for i := 0; i < 64; i++ {
293 result[i] = api.Sub(1, n[i])
294 }
295 return result
296}
297
298func divChecked(a, b int) int {
299 if a % b != 0 {
300 panic("divChecked: does not divide evenly")
301 }
302 return a / b
303}
304