Galois embedded crypto implementation. More...

#include "std.h"
#include "mcu_periph/rng.h"
#include "generated/keys_uav.h"
#include "../ext/hacl-c/Hacl_Ed25519.h"
#include "../ext/hacl-c/Hacl_Curve25519.h"
#include "../ext/hacl-c/Hacl_SHA2_512.h"
#include "../ext/hacl-c/Hacl_Chacha20Poly1305.h"
#include "../ext/hacl-c/kremlib.h"

Include dependency graph for gec.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	gec_privkey

struct	gec_pubkey

struct	gec_sym_key

struct	gec_sts_ctx

Macros
#define	PPRZ_MSG_TYPE_PLAINTEXT 0xaa

#define	PPRZ_MSG_TYPE_ENCRYPTED 0x55

#define	PPRZ_GEC_IDX 0

#define	PPRZ_CNTR_IDX 1

#define	PPRZ_AUTH_IDX 5

#define	PPRZ_SIGN_LEN 64

#define	PPRZ_HASH_LEN 64

#define	PPRZ_KEY_LEN 32

#define	PPRZ_MAC_LEN 16

#define	PPRZ_NONCE_LEN 12

#define	PPRZ_COUNTER_LEN 4

#define	PPRZ_CRYPTO_OVERHEAD 20

#define	PPRZ_CURVE_BASEPOINT 9

Typedefs
typedef unsigned char	ed25519_signature[64]

Enumerations
enum	stage_t { INIT , WAIT_MSG1 , WAIT_MSG2 , WAIT_MSG3 , CRYPTO_OK }

enum	party_t { INITIATOR , RESPONDER , CLIENT , INVALID_PARTY }

enum	gec_sts_msg_type_t { P_AE , P_BE , SIG }

enum	sts_error_t { ERROR_NONE , MSG1_TIMEOUT_ERROR , MSG1_ENCRYPT_ERROR , MSG3_TIMEOUT_ERROR , MSG3_DECRYPT_ERROR , MSG3_SIGNVERIFY_ERROR , MSG2_TIMEOUT_ERROR , MSG2_DECRYPT_ERROR , MSG2_SIGNVERIFY_ERROR , MSG3_ENCRYPT_ERROR , UNEXPECTED_MSG_TYPE_ERROR , UNEXPECTED_MSG_DATA_ERROR , UNEXPECTED_MSG_ERROR }

Functions
void	gec_sts_init (struct gec_sts_ctx *sts)

void	gec_clear_sts (struct gec_sts_ctx *sts)

void	gec_generate_ephemeral_keys (struct gec_privkey *sk)
	Generate private and public key pairs for future use.

void	gec_derive_key_material (struct gec_sts_ctx sts, uint8_t z)
	Derive key material for both sender and receiver.

void	gec_counter_to_bytes (uint32_t n, uint8_t *bytes)
	Convert counter to bytes in network byte order.

uint32_t	gec_bytes_to_counter (uint8_t *bytes)
	Convert from network byte order (big endian) to the machine byte order.

Detailed Description

Galois embedded crypto implementation.

Definition in file gec.h.

Data Structure Documentation

◆ gec_privkey

struct gec_privkey

Definition at line 67 of file gec.h.

Data Fields
uint8_t	priv[PPRZ_KEY_LEN]
uint8_t	pub[PPRZ_KEY_LEN]
bool	ready

◆ gec_pubkey

struct gec_pubkey

Definition at line 72 of file gec.h.

Data Fields
uint8_t	pub[PPRZ_KEY_LEN]
bool	ready

◆ gec_sym_key

struct gec_sym_key

Definition at line 76 of file gec.h.

Data Fields
uint32_t	counter
uint8_t	key[PPRZ_KEY_LEN]
uint8_t	nonce[PPRZ_NONCE_LEN]
bool	ready

◆ gec_sts_ctx

struct gec_sts_ctx

Definition at line 115 of file gec.h.

Collaboration diagram for gec_sts_ctx:

Data Fields
uint32_t	decrypt_err
uint32_t	encrypt_err
sts_error_t	last_error
struct gec_privkey	my_private_ephemeral
struct gec_privkey	my_private_key
party_t	party
stage_t	protocol_stage
uint32_t	rx_counter_err
struct gec_sym_key	rx_sym_key
struct gec_pubkey	their_public_ephemeral
struct gec_pubkey	their_public_key
struct gec_sym_key	tx_sym_key

Macro Definition Documentation

◆ PPRZ_AUTH_IDX

#define PPRZ_AUTH_IDX 5

Definition at line 46 of file gec.h.

◆ PPRZ_CNTR_IDX

#define PPRZ_CNTR_IDX 1

Definition at line 44 of file gec.h.

◆ PPRZ_COUNTER_LEN

#define PPRZ_COUNTER_LEN 4

Definition at line 59 of file gec.h.

◆ PPRZ_CRYPTO_OVERHEAD

#define PPRZ_CRYPTO_OVERHEAD 20

Definition at line 61 of file gec.h.

◆ PPRZ_CURVE_BASEPOINT

#define PPRZ_CURVE_BASEPOINT 9

Definition at line 63 of file gec.h.

◆ PPRZ_GEC_IDX

#define PPRZ_GEC_IDX 0

Definition at line 42 of file gec.h.

◆ PPRZ_HASH_LEN

#define PPRZ_HASH_LEN 64

Definition at line 51 of file gec.h.

◆ PPRZ_KEY_LEN

#define PPRZ_KEY_LEN 32

Definition at line 53 of file gec.h.

◆ PPRZ_MAC_LEN

#define PPRZ_MAC_LEN 16

Definition at line 55 of file gec.h.

◆ PPRZ_MSG_TYPE_ENCRYPTED

#define PPRZ_MSG_TYPE_ENCRYPTED 0x55

Definition at line 40 of file gec.h.

◆ PPRZ_MSG_TYPE_PLAINTEXT

#define PPRZ_MSG_TYPE_PLAINTEXT 0xaa

Definition at line 39 of file gec.h.

◆ PPRZ_NONCE_LEN

#define PPRZ_NONCE_LEN 12

Definition at line 57 of file gec.h.

◆ PPRZ_SIGN_LEN

#define PPRZ_SIGN_LEN 64

Definition at line 49 of file gec.h.

Typedef Documentation

◆ ed25519_signature

typedef unsigned char ed25519_signature[64]

Definition at line 65 of file gec.h.

Enumeration Type Documentation

◆ gec_sts_msg_type_t

enum gec_sts_msg_type_t

Enumerator
P_AE
P_BE
SIG

Definition at line 90 of file gec.h.

◆ party_t

enum party_t

Enumerator
INITIATOR
RESPONDER
CLIENT
INVALID_PARTY

Definition at line 86 of file gec.h.

◆ stage_t

enum stage_t

Enumerator
INIT
WAIT_MSG1
WAIT_MSG2
WAIT_MSG3
CRYPTO_OK

Definition at line 82 of file gec.h.

◆ sts_error_t

enum sts_error_t

Enumerator
ERROR_NONE
MSG1_TIMEOUT_ERROR
MSG1_ENCRYPT_ERROR
MSG3_TIMEOUT_ERROR
MSG3_DECRYPT_ERROR
MSG3_SIGNVERIFY_ERROR
MSG2_TIMEOUT_ERROR
MSG2_DECRYPT_ERROR
MSG2_SIGNVERIFY_ERROR
MSG3_ENCRYPT_ERROR
UNEXPECTED_MSG_TYPE_ERROR
UNEXPECTED_MSG_DATA_ERROR
UNEXPECTED_MSG_ERROR