plain_aes/internal/
encryption.rs

1use super::key_expansion::ExpandedKey;
2use super::RIJNDAEL_S_BOX;
3/// Lookup table for the Galois field GF(2^8) multiplication by 2 used in mix columns step.
4const MULTIPLE_2: [u8; 256] = [
5    0x00, 0x02, 0x04, 0x06, 0x08, 0x0a, 0x0c, 0x0e, 0x10, 0x12, 0x14, 0x16, 0x18, 0x1a, 0x1c, 0x1e,
6    0x20, 0x22, 0x24, 0x26, 0x28, 0x2a, 0x2c, 0x2e, 0x30, 0x32, 0x34, 0x36, 0x38, 0x3a, 0x3c, 0x3e,
7    0x40, 0x42, 0x44, 0x46, 0x48, 0x4a, 0x4c, 0x4e, 0x50, 0x52, 0x54, 0x56, 0x58, 0x5a, 0x5c, 0x5e,
8    0x60, 0x62, 0x64, 0x66, 0x68, 0x6a, 0x6c, 0x6e, 0x70, 0x72, 0x74, 0x76, 0x78, 0x7a, 0x7c, 0x7e,
9    0x80, 0x82, 0x84, 0x86, 0x88, 0x8a, 0x8c, 0x8e, 0x90, 0x92, 0x94, 0x96, 0x98, 0x9a, 0x9c, 0x9e,
10    0xa0, 0xa2, 0xa4, 0xa6, 0xa8, 0xaa, 0xac, 0xae, 0xb0, 0xb2, 0xb4, 0xb6, 0xb8, 0xba, 0xbc, 0xbe,
11    0xc0, 0xc2, 0xc4, 0xc6, 0xc8, 0xca, 0xcc, 0xce, 0xd0, 0xd2, 0xd4, 0xd6, 0xd8, 0xda, 0xdc, 0xde,
12    0xe0, 0xe2, 0xe4, 0xe6, 0xe8, 0xea, 0xec, 0xee, 0xf0, 0xf2, 0xf4, 0xf6, 0xf8, 0xfa, 0xfc, 0xfe,
13    0x1b, 0x19, 0x1f, 0x1d, 0x13, 0x11, 0x17, 0x15, 0x0b, 0x09, 0x0f, 0x0d, 0x03, 0x01, 0x07, 0x05,
14    0x3b, 0x39, 0x3f, 0x3d, 0x33, 0x31, 0x37, 0x35, 0x2b, 0x29, 0x2f, 0x2d, 0x23, 0x21, 0x27, 0x25,
15    0x5b, 0x59, 0x5f, 0x5d, 0x53, 0x51, 0x57, 0x55, 0x4b, 0x49, 0x4f, 0x4d, 0x43, 0x41, 0x47, 0x45,
16    0x7b, 0x79, 0x7f, 0x7d, 0x73, 0x71, 0x77, 0x75, 0x6b, 0x69, 0x6f, 0x6d, 0x63, 0x61, 0x67, 0x65,
17    0x9b, 0x99, 0x9f, 0x9d, 0x93, 0x91, 0x97, 0x95, 0x8b, 0x89, 0x8f, 0x8d, 0x83, 0x81, 0x87, 0x85,
18    0xbb, 0xb9, 0xbf, 0xbd, 0xb3, 0xb1, 0xb7, 0xb5, 0xab, 0xa9, 0xaf, 0xad, 0xa3, 0xa1, 0xa7, 0xa5,
19    0xdb, 0xd9, 0xdf, 0xdd, 0xd3, 0xd1, 0xd7, 0xd5, 0xcb, 0xc9, 0xcf, 0xcd, 0xc3, 0xc1, 0xc7, 0xc5,
20    0xfb, 0xf9, 0xff, 0xfd, 0xf3, 0xf1, 0xf7, 0xf5, 0xeb, 0xe9, 0xef, 0xed, 0xe3, 0xe1, 0xe7, 0xe5,
21];
22/// Lookup table for the Galois field GF(2^8) multiplication by 3 used in mix columns step.
23const MULTIPLE_3: [u8; 256] = [
24    0x00, 0x03, 0x06, 0x05, 0x0c, 0x0f, 0x0a, 0x09, 0x18, 0x1b, 0x1e, 0x1d, 0x14, 0x17, 0x12, 0x11,
25    0x30, 0x33, 0x36, 0x35, 0x3c, 0x3f, 0x3a, 0x39, 0x28, 0x2b, 0x2e, 0x2d, 0x24, 0x27, 0x22, 0x21,
26    0x60, 0x63, 0x66, 0x65, 0x6c, 0x6f, 0x6a, 0x69, 0x78, 0x7b, 0x7e, 0x7d, 0x74, 0x77, 0x72, 0x71,
27    0x50, 0x53, 0x56, 0x55, 0x5c, 0x5f, 0x5a, 0x59, 0x48, 0x4b, 0x4e, 0x4d, 0x44, 0x47, 0x42, 0x41,
28    0xc0, 0xc3, 0xc6, 0xc5, 0xcc, 0xcf, 0xca, 0xc9, 0xd8, 0xdb, 0xde, 0xdd, 0xd4, 0xd7, 0xd2, 0xd1,
29    0xf0, 0xf3, 0xf6, 0xf5, 0xfc, 0xff, 0xfa, 0xf9, 0xe8, 0xeb, 0xee, 0xed, 0xe4, 0xe7, 0xe2, 0xe1,
30    0xa0, 0xa3, 0xa6, 0xa5, 0xac, 0xaf, 0xaa, 0xa9, 0xb8, 0xbb, 0xbe, 0xbd, 0xb4, 0xb7, 0xb2, 0xb1,
31    0x90, 0x93, 0x96, 0x95, 0x9c, 0x9f, 0x9a, 0x99, 0x88, 0x8b, 0x8e, 0x8d, 0x84, 0x87, 0x82, 0x81,
32    0x9b, 0x98, 0x9d, 0x9e, 0x97, 0x94, 0x91, 0x92, 0x83, 0x80, 0x85, 0x86, 0x8f, 0x8c, 0x89, 0x8a,
33    0xab, 0xa8, 0xad, 0xae, 0xa7, 0xa4, 0xa1, 0xa2, 0xb3, 0xb0, 0xb5, 0xb6, 0xbf, 0xbc, 0xb9, 0xba,
34    0xfb, 0xf8, 0xfd, 0xfe, 0xf7, 0xf4, 0xf1, 0xf2, 0xe3, 0xe0, 0xe5, 0xe6, 0xef, 0xec, 0xe9, 0xea,
35    0xcb, 0xc8, 0xcd, 0xce, 0xc7, 0xc4, 0xc1, 0xc2, 0xd3, 0xd0, 0xd5, 0xd6, 0xdf, 0xdc, 0xd9, 0xda,
36    0x5b, 0x58, 0x5d, 0x5e, 0x57, 0x54, 0x51, 0x52, 0x43, 0x40, 0x45, 0x46, 0x4f, 0x4c, 0x49, 0x4a,
37    0x6b, 0x68, 0x6d, 0x6e, 0x67, 0x64, 0x61, 0x62, 0x73, 0x70, 0x75, 0x76, 0x7f, 0x7c, 0x79, 0x7a,
38    0x3b, 0x38, 0x3d, 0x3e, 0x37, 0x34, 0x31, 0x32, 0x23, 0x20, 0x25, 0x26, 0x2f, 0x2c, 0x29, 0x2a,
39    0x0b, 0x08, 0x0d, 0x0e, 0x07, 0x04, 0x01, 0x02, 0x13, 0x10, 0x15, 0x16, 0x1f, 0x1c, 0x19, 0x1a,
40];
41
42/// Encrypt a single block of data using an expanded key.
43///
44/// This function takes the expanded key, and not the original key,
45///  because it is used to implement [crate::encrypt] for each [crate::ModeOfOperation].
46/// In order not to re-expand the key for every block, the expanded key is used instead.
47/// # Warning
48/// This function does not enforce the block size, and as such, passing a block of size other than 16 bytes produces undefined behavior.
49///
50/// Ideally, you should only use this to implement your own mode of operation, for most use cases, you should consider using the higher-level [crate::encrypt] instead.
51pub fn encrypt_block(block: &[u8], expanded_key: &ExpandedKey) -> [u8; 16] {
52    use crate::add_round_key;
53    let mut cypher_block = [0; 16];
54    for i in 0..16 {
55        cypher_block[i] = block[i];
56    }
57    let expanded_key_content = expanded_key.content();
58    let rounds_num = expanded_key.round_num();
59    // First round
60    add_round_key(&mut cypher_block, expanded_key.original_key());
61    for i in 0..rounds_num - 1 {
62        sub_bytes(&mut cypher_block);
63        shift_rows(&mut cypher_block);
64        mix_columns(&mut cypher_block);
65        add_round_key(
66            &mut cypher_block,
67            &expanded_key_content[(i + 1) * 16..(i + 2) * 16], // Skip the first 16 bytes, they're the same as the original key.
68        );
69    }
70    // Final round
71    sub_bytes(&mut cypher_block);
72    shift_rows(&mut cypher_block);
73    add_round_key(
74        &mut cypher_block,
75        &expanded_key_content[expanded_key_content.len() - 16..],
76    ); // Add the final key.
77    cypher_block
78}
79/// Substitute each byte in the state with another byte according to [RIJNDAEL_S_BOX].
80fn sub_bytes(state: &mut [u8; 16]) {
81    for i in 0..16 {
82        let byte: usize = state[i].into();
83        state[i] = RIJNDAEL_S_BOX[byte];
84    }
85}
86/// Applies a left circular byte shift for each row of the state by it's index.
87/// You can imagine the state as a 4x4 matrix.
88/// The first row is unchanged, the second row is shifted by 1 byte, etc.
89fn shift_rows(state: &mut [u8; 16]) {
90    // Since the shift is pretty much consistent, we can just hardcode every case instead of using a loop.
91    let orig_state = state.clone();
92    // First column
93    state[1] = orig_state[5];
94    state[2] = orig_state[10];
95    state[3] = orig_state[15];
96    // Second column
97    state[5] = orig_state[9];
98    state[6] = orig_state[14];
99    state[7] = orig_state[3];
100    // Third column
101    state[9] = orig_state[13];
102    state[10] = orig_state[2];
103    state[11] = orig_state[7];
104    // Forth column
105    state[13] = orig_state[1];
106    state[14] = orig_state[6];
107    state[15] = orig_state[11];
108}
109
110/// Performs a Galois field GF(2^8) matrix multiplication of each byte from the state and a circulant MDS matrix ( 2 3 1 1; 1 2 3 1; 1 1 2 3; 3 1 1 2 ).
111/// This involves a dot product of each column and row, a sum (XOR) of two byte products reduced by the Galois field x^8 + x^4 + x^3 + x + 1.
112/// Since the MDS matrix has only 2 and 3 as non-neutral elements, we can precompute the results inside two lookup tables instead of re-calculating the results each time.
113fn mix_columns(state: &mut [u8; 16]) {
114    let orig_state = state.clone();
115    // First column
116    state[0] = MULTIPLE_2[orig_state[0] as usize]
117        ^ MULTIPLE_3[orig_state[1] as usize]
118        ^ orig_state[2]
119        ^ orig_state[3];
120    state[1] = orig_state[0]
121        ^ MULTIPLE_2[orig_state[1] as usize]
122        ^ MULTIPLE_3[orig_state[2] as usize]
123        ^ orig_state[3];
124    state[2] = orig_state[0]
125        ^ orig_state[1]
126        ^ MULTIPLE_2[orig_state[2] as usize]
127        ^ MULTIPLE_3[orig_state[3] as usize];
128    state[3] = MULTIPLE_3[orig_state[0] as usize]
129        ^ orig_state[1]
130        ^ orig_state[2]
131        ^ MULTIPLE_2[orig_state[3] as usize];
132    // Second column
133    state[4] = MULTIPLE_2[orig_state[4] as usize]
134        ^ MULTIPLE_3[orig_state[5] as usize]
135        ^ orig_state[6]
136        ^ orig_state[7];
137    state[5] = orig_state[4]
138        ^ MULTIPLE_2[orig_state[5] as usize]
139        ^ MULTIPLE_3[orig_state[6] as usize]
140        ^ orig_state[7];
141    state[6] = orig_state[4]
142        ^ orig_state[5]
143        ^ MULTIPLE_2[orig_state[6] as usize]
144        ^ MULTIPLE_3[orig_state[7] as usize];
145    state[7] = MULTIPLE_3[orig_state[4] as usize]
146        ^ orig_state[5]
147        ^ orig_state[6]
148        ^ MULTIPLE_2[orig_state[7] as usize];
149
150    // Third column
151    state[8] = MULTIPLE_2[orig_state[8] as usize]
152        ^ MULTIPLE_3[orig_state[9] as usize]
153        ^ orig_state[10]
154        ^ orig_state[11];
155    state[9] = orig_state[8]
156        ^ MULTIPLE_2[orig_state[9] as usize]
157        ^ MULTIPLE_3[orig_state[10] as usize]
158        ^ orig_state[11];
159    state[10] = orig_state[8]
160        ^ orig_state[9]
161        ^ MULTIPLE_2[orig_state[10] as usize]
162        ^ MULTIPLE_3[orig_state[11] as usize];
163    state[11] = MULTIPLE_3[orig_state[8] as usize]
164        ^ orig_state[9]
165        ^ orig_state[10]
166        ^ MULTIPLE_2[orig_state[11] as usize];
167
168    // Forth column
169    state[12] = MULTIPLE_2[orig_state[12] as usize]
170        ^ MULTIPLE_3[orig_state[13] as usize]
171        ^ orig_state[14]
172        ^ orig_state[15];
173    state[13] = orig_state[12]
174        ^ MULTIPLE_2[orig_state[13] as usize]
175        ^ MULTIPLE_3[orig_state[14] as usize]
176        ^ orig_state[15];
177    state[14] = orig_state[12]
178        ^ orig_state[13]
179        ^ MULTIPLE_2[orig_state[14] as usize]
180        ^ MULTIPLE_3[orig_state[15] as usize];
181    state[15] = MULTIPLE_3[orig_state[12] as usize]
182        ^ orig_state[13]
183        ^ orig_state[14]
184        ^ MULTIPLE_2[orig_state[15] as usize];
185}
186
187#[cfg(test)]
188mod tests {
189
190    use super::*;
191    use crate::{CipherVersion, ModeOfOperation};
192    #[test]
193    fn sub_bytes_test() {
194        let mut mock_state: [u8; 16] = [
195            0x54, 0x68, 0x69, 0x73, 0x20, 0x6C, 0x69, 0x62, 0x20, 0x69, 0x73, 0x20, 0x63, 0x6F,
196            0x6F, 0x6C,
197        ]; // This lib is cool
198        let substitution_expected: [u8; 16] = [
199            0x20, 0x45, 0xf9, 0x8f, 0xb7, 0x50, 0xf9, 0xaa, 0xb7, 0xf9, 0x8f, 0xb7, 0xfb, 0xa8,
200            0xa8, 0x50,
201        ];
202        sub_bytes(&mut mock_state);
203        assert!(mock_state.iter().eq(&substitution_expected));
204    }
205    #[test]
206    fn shift_rows_test() {
207        let mut mock_state: [u8; 16] = [
208            0x20, 0x45, 0xf9, 0x8f, 0xb7, 0x50, 0xf9, 0xaa, 0xb7, 0xf9, 0x8f, 0xb7, 0xfb, 0xa8,
209            0xa8, 0x50,
210        ];
211        let shift_expected: [u8; 16] = [
212            0x20, 0x50, 0x8f, 0x50, 0xb7, 0xf9, 0xa8, 0x8f, 0xb7, 0xa8, 0xf9, 0xaa, 0xfb, 0x45,
213            0xf9, 0xb7,
214        ];
215        shift_rows(&mut mock_state);
216        assert!(shift_expected.iter().eq(&mock_state));
217    }
218    #[test]
219    fn mix_columns_test() {
220        let mut mock_state: [u8; 16] = [
221            0x20, 0x50, 0x8f, 0x50, 0xb7, 0xf9, 0xa8, 0x8f, 0xb7, 0xa8, 0xf9, 0xaa, 0xfb, 0x45,
222            0xf9, 0xb7,
223        ];
224        let mix_expected: [u8; 16] = [
225            0x6f, 0x5a, 0x85, 0x1f, 0x42, 0x32, 0x8f, 0x96, 0xc5, 0x46, 0x13, 0xdc, 0x6c, 0xd6,
226            0x95, 0xdf,
227        ];
228        mix_columns(&mut mock_state);
229        assert!(mix_expected.iter().eq(&mock_state));
230    }
231    #[test]
232    fn encrypt_block_aes128_test() {
233        let key = [
234            0x54, 0x68, 0x69, 0x73, 0x20, 0x6C, 0x69, 0x62, 0x20, 0x69, 0x73, 0x20, 0x63, 0x6F,
235            0x6F, 0x6C,
236        ]; // This lib is cool
237        let cipher_version = CipherVersion::Aes128(&key[..], ModeOfOperation::ECB);
238
239        let expanded_key = ExpandedKey::new(&cipher_version);
240        let mock_block = [
241            0x54, 0x48, 0x69, 0x73, 0x20, 0x61, 0x6E, 0x20, 0x65, 0x78, 0x61, 0x6D, 0x70, 0x6C,
242            0x65, 0x31,
243        ]; // THis an example1
244        let encrypt_expected = [
245            0x75, 0x92, 0xce, 0xdb, 0x29, 0xf9, 0x3a, 0x1f, 0x9b, 0x98, 0xcb, 0x08, 0x86, 0xd5,
246            0x82, 0x01,
247        ];
248        let encrypt_actual = encrypt_block(&mock_block, &expanded_key.unwrap());
249        assert!(encrypt_expected.iter().eq(&encrypt_actual));
250    }
251    #[test]
252    /// FIPS test vector.
253    fn encrypt_block_aes192_test() {
254        let key = [
255            0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d,
256            0x0e, 0x0f, 0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
257        ];
258        let cipher_version = CipherVersion::Aes192(&key[..], ModeOfOperation::ECB);
259
260        let expanded_key = ExpandedKey::new(&cipher_version);
261        let mock_block = [
262            0x00, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd,
263            0xee, 0xff,
264        ];
265        let encrypt_expected = [
266            0xdd, 0xa9, 0x7c, 0xa4, 0x86, 0x4c, 0xdf, 0xe0, 0x6e, 0xaf, 0x70, 0xa0, 0xec, 0x0d,
267            0x71, 0x91,
268        ];
269        let encrypt_actual = encrypt_block(&mock_block, &expanded_key.unwrap());
270        assert!(encrypt_expected.iter().eq(&encrypt_actual));
271    }
272}