blob: c8fd31cb0ba0f5523adea739427e863ce02db92a [file] [log] [blame]
David Leon Gil1b32d8b2014-09-03 12:04:00 -07001// Copyright 2014 The Go Authors. All rights reserved.
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -04002// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file.
4
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -04005package sha3
6
David Leon Gil1b32d8b2014-09-03 12:04:00 -07007// spongeDirection indicates the direction bytes are flowing through the sponge.
8type spongeDirection int
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -04009
David Leon Gil1b32d8b2014-09-03 12:04:00 -070010const (
11 // spongeAbsorbing indicates that the sponge is absorbing input.
12 spongeAbsorbing spongeDirection = iota
13 // spongeSqueezing indicates that the sponge is being squeezed.
14 spongeSqueezing
15)
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -040016
David Leon Gil1b32d8b2014-09-03 12:04:00 -070017const (
18 // maxRate is the maximum size of the internal buffer. SHAKE-256
19 // currently needs the largest buffer.
20 maxRate = 168
21)
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -040022
David Leon Gil1b32d8b2014-09-03 12:04:00 -070023type state struct {
24 // Generic sponge components.
25 a [25]uint64 // main state of the hash
26 buf []byte // points into storage
27 rate int // the number of bytes of state to use
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -040028
David Leon Gil4ed45ec2014-12-26 19:04:10 -080029 // dsbyte contains the "domain separation" bits and the first bit of
30 // the padding. Sections 6.1 and 6.2 of [1] separate the outputs of the
31 // SHA-3 and SHAKE functions by appending bitstrings to the message.
32 // Using a little-endian bit-ordering convention, these are "01" for SHA-3
33 // and "1111" for SHAKE, or 00000010b and 00001111b, respectively. Then the
34 // padding rule from section 5.1 is applied to pad the message to a multiple
35 // of the rate, which involves adding a "1" bit, zero or more "0" bits, and
36 // a final "1" bit. We merge the first "1" bit from the padding into dsbyte,
37 // giving 00000110b (0x06) and 00011111b (0x1f).
38 // [1] http://csrc.nist.gov/publications/drafts/fips-202/fips_202_draft.pdf
39 // "Draft FIPS 202: SHA-3 Standard: Permutation-Based Hash and
40 // Extendable-Output Functions (May 2014)"
David Leon Gil1b32d8b2014-09-03 12:04:00 -070041 dsbyte byte
42 storage [maxRate]byte
43
44 // Specific to SHA-3 and SHAKE.
45 fixedOutput bool // whether this is a fixed-ouput-length instance
46 outputLen int // the default output size in bytes
David Leon Gil4ed45ec2014-12-26 19:04:10 -080047 state spongeDirection // whether the sponge is absorbing or squeezing
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -040048}
49
David Leon Gil1b32d8b2014-09-03 12:04:00 -070050// BlockSize returns the rate of sponge underlying this hash function.
51func (d *state) BlockSize() int { return d.rate }
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -040052
David Leon Gil1b32d8b2014-09-03 12:04:00 -070053// Size returns the output size of the hash function in bytes.
54func (d *state) Size() int { return d.outputLen }
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -040055
David Leon Gil1b32d8b2014-09-03 12:04:00 -070056// Reset clears the internal state by zeroing the sponge state and
57// the byte buffer, and setting Sponge.state to absorbing.
58func (d *state) Reset() {
59 // Zero the permutation's state.
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -040060 for i := range d.a {
61 d.a[i] = 0
62 }
David Leon Gil1b32d8b2014-09-03 12:04:00 -070063 d.state = spongeAbsorbing
64 d.buf = d.storage[:0]
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -040065}
66
David Leon Gil1b32d8b2014-09-03 12:04:00 -070067func (d *state) clone() *state {
68 ret := *d
69 if ret.state == spongeAbsorbing {
70 ret.buf = ret.storage[:len(ret.buf)]
71 } else {
72 ret.buf = ret.storage[d.rate-cap(d.buf) : d.rate]
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -040073 }
David Leon Gil1b32d8b2014-09-03 12:04:00 -070074
75 return &ret
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -040076}
77
David Leon Gil1b32d8b2014-09-03 12:04:00 -070078// permute applies the KeccakF-1600 permutation. It handles
79// any input-output buffering.
80func (d *state) permute() {
81 switch d.state {
82 case spongeAbsorbing:
83 // If we're absorbing, we need to xor the input into the state
84 // before applying the permutation.
David Leon Gil4ed45ec2014-12-26 19:04:10 -080085 xorIn(d, d.buf)
David Leon Gil1b32d8b2014-09-03 12:04:00 -070086 d.buf = d.storage[:0]
87 keccakF1600(&d.a)
88 case spongeSqueezing:
89 // If we're squeezing, we need to apply the permutatin before
90 // copying more output.
91 keccakF1600(&d.a)
92 d.buf = d.storage[:d.rate]
David Leon Gil4ed45ec2014-12-26 19:04:10 -080093 copyOut(d, d.buf)
David Leon Gil1b32d8b2014-09-03 12:04:00 -070094 }
95}
96
97// pads appends the domain separation bits in dsbyte, applies
98// the multi-bitrate 10..1 padding rule, and permutes the state.
99func (d *state) padAndPermute(dsbyte byte) {
100 if d.buf == nil {
101 d.buf = d.storage[:0]
102 }
103 // Pad with this instance's domain-separator bits. We know that there's
104 // at least one byte of space in d.buf because, if it were full,
105 // permute would have been called to empty it. dsbyte also contains the
106 // first one bit for the padding. See the comment in the state struct.
107 d.buf = append(d.buf, dsbyte)
108 zerosStart := len(d.buf)
109 d.buf = d.storage[:d.rate]
110 for i := zerosStart; i < d.rate; i++ {
111 d.buf[i] = 0
112 }
113 // This adds the final one bit for the padding. Because of the way that
114 // bits are numbered from the LSB upwards, the final bit is the MSB of
115 // the last byte.
116 d.buf[d.rate-1] ^= 0x80
117 // Apply the permutation
118 d.permute()
119 d.state = spongeSqueezing
120 d.buf = d.storage[:d.rate]
David Leon Gil4ed45ec2014-12-26 19:04:10 -0800121 copyOut(d, d.buf)
David Leon Gil1b32d8b2014-09-03 12:04:00 -0700122}
123
124// Write absorbs more data into the hash's state. It produces an error
125// if more data is written to the ShakeHash after writing
126func (d *state) Write(p []byte) (written int, err error) {
127 if d.state != spongeAbsorbing {
128 panic("sha3: write to sponge after read")
129 }
130 if d.buf == nil {
131 d.buf = d.storage[:0]
132 }
133 written = len(p)
134
135 for len(p) > 0 {
136 if len(d.buf) == 0 && len(p) >= d.rate {
137 // The fast path; absorb a full "rate" bytes of input and apply the permutation.
David Leon Gil4ed45ec2014-12-26 19:04:10 -0800138 xorIn(d, p[:d.rate])
David Leon Gil1b32d8b2014-09-03 12:04:00 -0700139 p = p[d.rate:]
140 keccakF1600(&d.a)
141 } else {
142 // The slow path; buffer the input until we can fill the sponge, and then xor it in.
143 todo := d.rate - len(d.buf)
144 if todo > len(p) {
145 todo = len(p)
146 }
147 d.buf = append(d.buf, p[:todo]...)
148 p = p[todo:]
149
150 // If the sponge is full, apply the permutation.
151 if len(d.buf) == d.rate {
152 d.permute()
153 }
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -0400154 }
155 }
156
David Leon Gil1b32d8b2014-09-03 12:04:00 -0700157 return
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -0400158}
159
David Leon Gil1b32d8b2014-09-03 12:04:00 -0700160// Read squeezes an arbitrary number of bytes from the sponge.
161func (d *state) Read(out []byte) (n int, err error) {
162 // If we're still absorbing, pad and apply the permutation.
163 if d.state == spongeAbsorbing {
164 d.padAndPermute(d.dsbyte)
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -0400165 }
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -0400166
David Leon Gil1b32d8b2014-09-03 12:04:00 -0700167 n = len(out)
168
169 // Now, do the squeezing.
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -0400170 for len(out) > 0 {
David Leon Gil1b32d8b2014-09-03 12:04:00 -0700171 n := copy(out, d.buf)
172 d.buf = d.buf[n:]
173 out = out[n:]
174
175 // Apply the permutation if we've squeezed the sponge dry.
176 if len(d.buf) == 0 {
177 d.permute()
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -0400178 }
179 }
David Leon Gil1b32d8b2014-09-03 12:04:00 -0700180
181 return
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -0400182}
183
David Leon Gil1b32d8b2014-09-03 12:04:00 -0700184// Sum applies padding to the hash state and then squeezes out the desired
185// number of output bytes.
186func (d *state) Sum(in []byte) []byte {
187 // Make a copy of the original hash so that caller can keep writing
188 // and summing.
189 dup := d.clone()
190 hash := make([]byte, dup.outputLen)
191 dup.Read(hash)
192 return append(in, hash...)
Joseph Bonneau0bc0bcc2013-03-22 14:59:59 -0400193}