ASCON Suite
Functions
ascon-aead-inc-80pq.c File Reference
#include "aead/ascon-aead-common.h"
#include "core/ascon-util-snp.h"
#include <string.h>

Go to the source code of this file.

Functions

void ascon80pq_aead_start (ascon80pq_state_t *state, const unsigned char *ad, size_t adlen, const unsigned char *npub, const unsigned char *k)
 Starts encrypting or decrypting a packet with ASCON-80pq in incremental mode. More...
 
void ascon80pq_aead_abort (ascon80pq_state_t *state)
 Aborts use of ASCON-80pq in incremental mode. More...
 
void ascon80pq_aead_encrypt_block (ascon80pq_state_t *state, const unsigned char *in, unsigned char *out, size_t len)
 Encrypts a block of data with ASCON-80pq in incremental mode. More...
 
void ascon80pq_aead_encrypt_finalize (ascon80pq_state_t *state, unsigned char *tag)
 Finalizes an incremental ASCON-80pq encryption operation and generates the authentication tag. More...
 
void ascon80pq_aead_decrypt_block (ascon80pq_state_t *state, const unsigned char *in, unsigned char *out, size_t len)
 Decrypts a block of data with ASCON-80pq in incremental mode. More...
 
int ascon80pq_aead_decrypt_finalize (ascon80pq_state_t *state, const unsigned char *tag)
 Finalizes an incremental ASCON-80pq decryption operation and checks the authentication tag. More...
 

Function Documentation

◆ ascon80pq_aead_abort()

void ascon80pq_aead_abort ( ascon80pq_state_t state)

Aborts use of ASCON-80pq in incremental mode.

Parameters
stateState to abort.

This function may be used any time after ascon80pq_aead_start() and before the encryption or decryption process is finalized to abort the process entirely and free the state.

Definition at line 55 of file ascon-aead-inc-80pq.c.

◆ ascon80pq_aead_decrypt_block()

void ascon80pq_aead_decrypt_block ( ascon80pq_state_t state,
const unsigned char *  in,
unsigned char *  out,
size_t  len 
)

Decrypts a block of data with ASCON-80pq in incremental mode.

Parameters
stateState to use for ASCON-80pq encryption operations.
inBuffer that contains the ciphertext to decrypt.
outBuffer to receive the plaintext output. Can be the same buffer as in.
lenLength of the plaintext and ciphertext in bytes.
See also
ascon80pq_aead_encrypt_block(), ascon80pq_aead_start(), ascon80pq_aead_decrypt_finalize()
Examples
asconcrypt/asconcrypt.c.

Definition at line 92 of file ascon-aead-inc-80pq.c.

◆ ascon80pq_aead_decrypt_finalize()

int ascon80pq_aead_decrypt_finalize ( ascon80pq_state_t state,
const unsigned char *  tag 
)

Finalizes an incremental ASCON-80pq decryption operation and checks the authentication tag.

Parameters
stateState to use for ASCON-80pq encryption operations.
tagPoints to the buffer containing the ciphertext's authentication tag. Must be at least ASCON80PQ_TAG_SIZE bytes in length.
Returns
0 on success, -1 if the authentication tag was incorrect, or some other negative number if there was an error in the parameters.

The contents of state will be freed by this function, destroying any sensitive material that may be present.

See also
ascon80pq_aead_decrypt_block(), ascon80pq_aead_start()
Examples
asconcrypt/asconcrypt.c.

Definition at line 102 of file ascon-aead-inc-80pq.c.

◆ ascon80pq_aead_encrypt_block()

void ascon80pq_aead_encrypt_block ( ascon80pq_state_t state,
const unsigned char *  in,
unsigned char *  out,
size_t  len 
)

Encrypts a block of data with ASCON-80pq in incremental mode.

Parameters
stateState to use for ASCON-80pq encryption operations.
inBuffer that contains the plaintext to encrypt.
outBuffer to receive the ciphertext output. Can be the same buffer as in.
lenLength of the plaintext and ciphertext in bytes.
See also
ascon80pq_aead_decrypt_block(), ascon80pq_aead_start(), ascon80pq_aead_encrypt_finalize()
Examples
asconcrypt/asconcrypt.c.

Definition at line 64 of file ascon-aead-inc-80pq.c.

◆ ascon80pq_aead_encrypt_finalize()

void ascon80pq_aead_encrypt_finalize ( ascon80pq_state_t state,
unsigned char *  tag 
)

Finalizes an incremental ASCON-80pq encryption operation and generates the authentication tag.

Parameters
stateState to use for ASCON-80pq encryption operations.
tagPoints to the buffer to receive the authentication tag. Must be at least ASCON80PQ_TAG_SIZE bytes in length.

The contents of state will be freed by this function, destroying any sensitive material that may be present.

See also
ascon80pq_aead_encrypt_block(), ascon80pq_aead_start()
Examples
asconcrypt/asconcrypt.c.

Definition at line 74 of file ascon-aead-inc-80pq.c.

◆ ascon80pq_aead_start()

void ascon80pq_aead_start ( ascon80pq_state_t state,
const unsigned char *  ad,
size_t  adlen,
const unsigned char *  npub,
const unsigned char *  k 
)

Starts encrypting or decrypting a packet with ASCON-80pq in incremental mode.

Parameters
stateState to initialize for ASCON-80pq operations.
adBuffer that contains associated data to authenticate along with the packet but which does not need to be encrypted.
adlenLength of the associated data in bytes.
npubPoints to the public nonce for the packet which must be 16 bytes in length.
kPoints to the 20 bytes of the key to use to encrypt the packet.

The following sequence can be used to encrypt a list of i plaintext message blocks (m) to produce i ciphertext message blocks (c) and an authentication tag (t).

ascon80pq_aead_start(&state, ad, adlen, npub, k);
...;
void ascon80pq_aead_start(ascon80pq_state_t *state, const unsigned char *ad, size_t adlen, const unsigned char *npub, const unsigned char *k)
Starts encrypting or decrypting a packet with ASCON-80pq in incremental mode.
void ascon80pq_aead_encrypt_block(ascon80pq_state_t *state, const unsigned char *in, unsigned char *out, size_t len)
Encrypts a block of data with ASCON-80pq in incremental mode.
void ascon80pq_aead_encrypt_finalize(ascon80pq_state_t *state, unsigned char *tag)
Finalizes an incremental ASCON-80pq encryption operation and generates the authentication tag.
ascon_state_t state
[snippet_key]
Definition: snippets.c:2
State information for the incremental version of ASCON-80pq.
Definition: aead.h:299

Decryption uses a similar sequence:

ascon80pq_aead_start(&state, ad, adlen, npub, k);
...;
...; // decryption has failed!
void ascon80pq_aead_decrypt_block(ascon80pq_state_t *state, const unsigned char *in, unsigned char *out, size_t len)
Decrypts a block of data with ASCON-80pq in incremental mode.
int ascon80pq_aead_decrypt_finalize(ascon80pq_state_t *state, const unsigned char *tag)
Finalizes an incremental ASCON-80pq decryption operation and checks the authentication tag.

It is very important that the plaintext output from decryption be discarded if the authentication tag fails to verify. Applications should not use any of the data before verifying the tag.

See also
ascon80pq_aead_encrypt_block(), ascon80pq_aead_decrypt_block(), ascon80pq_aead_encrypt_finalize(), ascon80pq_aead_decrypt_finalize()
Examples
asconcrypt/asconcrypt.c.

Definition at line 30 of file ascon-aead-inc-80pq.c.