ASCON Suite
ascon-siv-80pq.c
Go to the documentation of this file.
1 /*
2  * Copyright (C) 2022 Southern Storm Software, Pty Ltd.
3  *
4  * Permission is hereby granted, free of charge, to any person obtaining a
5  * copy of this software and associated documentation files (the "Software"),
6  * to deal in the Software without restriction, including without limitation
7  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8  * and/or sell copies of the Software, and to permit persons to whom the
9  * Software is furnished to do so, subject to the following conditions:
10  *
11  * The above copyright notice and this permission notice shall be included
12  * in all copies or substantial portions of the Software.
13  *
14  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
15  * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
17  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
19  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
20  * DEALINGS IN THE SOFTWARE.
21  */
22 
23 #include <ascon/siv.h>
24 #include "aead/ascon-aead-common.h"
25 #include "core/ascon-util-snp.h"
26 #include <string.h>
27 
31 static uint8_t const ASCON80PQ_IV1[4] = {0xa1, 0x40, 0x0c, 0x06};
32 
36 static uint8_t const ASCON80PQ_IV2[4] = {0xa2, 0x40, 0x0c, 0x06};
37 
46 static void ascon80pq_siv_init
47  (ascon_state_t *state, const unsigned char *npub,
48  const unsigned char *k, const uint8_t iv[4])
49 {
51  ascon_overwrite_bytes(state, iv, 0, 4);
54  ascon_permute(state, 0);
56 }
57 
70 static void ascon_siv_encrypt_8_80pq
71  (ascon_state_t *state, unsigned char *dest,
72  const unsigned char *src, size_t len, uint8_t first_round)
73 {
74  unsigned char block[8];
75  while (len >= 8) {
76  ascon_permute(state, first_round);
77  ascon_squeeze_8(state, block, 0);
78  lw_xor_block_2_src(dest, block, src, 8);
79  dest += 8;
80  src += 8;
81  len -= 8;
82  }
83  if (len > 0) {
84  ascon_permute(state, first_round);
85  ascon_squeeze_8(state, block, 0);
86  lw_xor_block_2_src(dest, block, src, len);
87  }
88 }
89 
91  (unsigned char *c, size_t *clen,
92  const unsigned char *m, size_t mlen,
93  const unsigned char *ad, size_t adlen,
94  const unsigned char *npub,
95  const unsigned char *k)
96 {
98 
99  /* Set the length of the returned ciphertext */
100  *clen = mlen + ASCON80PQ_TAG_SIZE;
101 
102  /* Initialize the ASCON state for the authentication phase */
103  ascon80pq_siv_init(&state, npub, k, ASCON80PQ_IV1);
104 
105  /* Absorb the associated data into the state */
106  if (adlen > 0)
107  ascon_aead_absorb_8(&state, ad, adlen, 6, 1);
108 
109  /* Separator between the associated data and the payload */
111 
112  /* Absorb the plaintext data into the state */
113  ascon_aead_absorb_8(&state, m, mlen, 6, 0);
114 
115  /* Compute the authentication tag */
117  ascon_permute(&state, 0);
118  ascon_absorb_16(&state, k + 4, 24);
119  ascon_squeeze_16(&state, c + mlen, 24);
120  ascon_free(&state);
121 
122  /* Re-initalize the ASCON state for the encryption phase */
123  ascon80pq_siv_init(&state, c + mlen, k, ASCON80PQ_IV2);
124 
125  /* Encrypt the plaintext to create the ciphertext */
126  ascon_siv_encrypt_8_80pq(&state, c, m, mlen, 6);
127  ascon_free(&state);
128 }
129 
131  (unsigned char *m, size_t *mlen,
132  const unsigned char *c, size_t clen,
133  const unsigned char *ad, size_t adlen,
134  const unsigned char *npub,
135  const unsigned char *k)
136 {
138  unsigned char tag[ASCON80PQ_TAG_SIZE];
139  int result;
140 
141  /* Set the length of the returned plaintext */
142  if (clen < ASCON80PQ_TAG_SIZE)
143  return -1;
144  clen -= ASCON80PQ_TAG_SIZE;
145  *mlen = clen;
146 
147  /* Initalize the ASCON state for the encryption phase */
148  ascon80pq_siv_init(&state, c + clen, k, ASCON80PQ_IV2);
149 
150  /* Decrypt the ciphertext to create the plaintext */
151  ascon_siv_encrypt_8_80pq(&state, m, c, clen, 6);
152  ascon_free(&state);
153 
154  /* Re-initialize the ASCON state for the authentication phase */
155  ascon80pq_siv_init(&state, npub, k, ASCON80PQ_IV1);
156 
157  /* Absorb the associated data into the state */
158  if (adlen > 0)
159  ascon_aead_absorb_8(&state, ad, adlen, 6, 1);
160 
161  /* Separator between the associated data and the payload */
163 
164  /* Absorb the plaintext data into the state */
165  ascon_aead_absorb_8(&state, m, clen, 6, 0);
166 
167  /* Compute and check authentication tag */
169  ascon_permute(&state, 0);
170  ascon_absorb_16(&state, k + 4, 24);
171  ascon_squeeze_16(&state, tag, 24);
172  result = ascon_aead_check_tag(m, clen, tag, c + clen, ASCON80PQ_TAG_SIZE);
173  ascon_clean(tag, sizeof(tag));
174  ascon_free(&state);
175  return result;
176 }
#define ASCON80PQ_NONCE_SIZE
Size of the nonce for ASCON-80pq.
Definition: aead.h:75
#define ASCON80PQ_TAG_SIZE
Size of the authentication tag for ASCON-80pq.
Definition: aead.h:80
#define ASCON80PQ_KEY_SIZE
Size of the key for ASCON-80pq.
Definition: aead.h:70
int ascon_aead_check_tag(unsigned char *plaintext, size_t plaintext_len, const unsigned char *tag1, const unsigned char *tag2, size_t size)
Check an authentication tag in constant time.
void ascon_aead_absorb_8(ascon_state_t *state, const unsigned char *data, size_t len, uint8_t first_round, int last_permute)
Absorbs data into an ASCON state with an 8-byte rate.
void ascon80pq_siv_encrypt(unsigned char *c, size_t *clen, const unsigned char *m, size_t mlen, const unsigned char *ad, size_t adlen, const unsigned char *npub, const unsigned char *k)
Encrypts and authenticates a packet with ASCON-80pq-SIV.
int ascon80pq_siv_decrypt(unsigned char *m, size_t *mlen, const unsigned char *c, size_t clen, const unsigned char *ad, size_t adlen, const unsigned char *npub, const unsigned char *k)
Decrypts and authenticates a packet with ASCON-80pq-SIV.
#define ascon_absorb_16(state, data, offset)
#define ascon_squeeze_8(state, data, offset)
#define ascon_absorb_partial(state, data, offset, count)
#define ascon_squeeze_16(state, data, offset)
#define ascon_separator(state)
#define lw_xor_block_2_src(dest, src1, src2, len)
Definition: ascon-util.h:195
void ascon_free(ascon_state_t *state)
Frees an ASCON permutation state and attempts to destroy any sensitive material.
void ascon_overwrite_bytes(ascon_state_t *state, const uint8_t *data, unsigned offset, unsigned size)
Overwrites existing bytes in the ASCON state.
void ascon_permute(ascon_state_t *state, uint8_t first_round)
Permutes the ASCON state with a specified number of rounds.
Definition: ascon-c32.c:36
void ascon_init(ascon_state_t *state)
Initializes the words of the ASCON permutation state to zero.
SIV encryption primitives built around the ASCON permutation.
ascon_state_t state
[snippet_key]
Definition: snippets.c:2
Structure of the internal state of the ASCON permutation.
Definition: permutation.h:63
void ascon_clean(void *buf, unsigned size)
Cleans a buffer that contains sensitive material.
Definition: ascon-clean.c:38