[catacomb] / symm / latinpoly-def.h

/* -*-c-*-
 *
 * AEAD schemes based on Salsa20/ChaCha and Poly1305
 *
 * (c) 2018 Straylight/Edgeware
 */

/*----- Licensing notice --------------------------------------------------*
 *
 * This file is part of Catacomb.
 *
 * Catacomb is free software: you can redistribute it and/or modify it
 * under the terms of the GNU Library General Public License as published
 * by the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * Catacomb is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Library General Public License for more details.
 *
 * You should have received a copy of the GNU Library General Public
 * License along with Catacomb.  If not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
 * USA.
 */

#ifndef CATACOMB_LATINPOLY_DEF_H
#define CATACOMB_LATINPOLY_DEF_H

#ifdef __cplusplus
  extern "C" {
#endif

/*----- Header files ------------------------------------------------------*/

#include <mLib/bits.h>
#include <mLib/buf.h>
#include <mLib/sub.h>

#ifndef CATACOMB_ARENA_H
#  include "arena.h"
#endif

#ifndef CATACOMB_CT_H
#  include "ct.h"
#endif

#ifndef CATACOMB_GAEAD_H
#  include "gaead.h"
#endif

#ifndef CATACOMB_KEYSZ_H
#  include "keysz.h"
#endif

#ifndef CATACOMB_LATINPOLY_H
#  include "latinpoly.h"
#endif

#ifndef CATACOMB_PARANOIA_H
#  include "paranoia.h"
#endif

#ifndef CATACOMB_POLY1305_H
#  include "poly1305.h"
#endif

#ifndef CATACOMB_SALSA20_H
#  include "salsa20.h"
#endif

/*----- Data structures ---------------------------------------------------*/

typedef struct latinpoly_aad {
  gaead_aad a;
  poly1305_ctx poly;
} latinpoly_aad;

typedef struct latinpoly_key {
  gaead_key k;
  octet key[SALSA20_KEYSZ];
  size_t ksz;
} latinpoly_key;

/*----- Common definitions ------------------------------------------------*/

/* Tables. */
extern const octet latinpoly_noncesz[], latinpoly_tagsz[];

/* AAD methods. */
extern void latinpoly_aadhash_poly1305(gaead_aad */*a*/,
				       const void */*h*/, size_t /*hsz*/);
extern void latinpoly_aadhash_naclbox(gaead_aad */*a*/,
				      const void */*h*/, size_t /*hsz*/);
extern void latinpoly_aaddestroy(gaead_aad */*a*/);

/* Variants. */
enum { LPVAR_NACLBOX, LPVAR_POLY1305 };

/* --- @latinpoly_tag@ --- *
 *
 * Arguments:	@const poly1305_ctx *aad@ = Poly1305 context hashing AAD
 *		@poly1305_ctx *ct@ = Poly1305 context hashing ciphertext
 *		@void *tag@ = where to write the tag
 *
 * Returns:	---
 *
 * Use:		Completes a Latin-dance-Poly1305 tag, combining the AAD and
 *		ciphertext hashes, appending their lengths, and writing the
 *		final masked hash to @tag@.  The @ct@ context is clobbered.
 */

extern void latinpoly_tag(const poly1305_ctx */*aad*/,
			  poly1305_ctx */*ct*/, void */*tag*/);

/*----- Macros ------------------------------------------------------------*/

#define LATINPOLY_DEF(latin, base, name)				\
									\
/* Utilities. */							\
									\
/* Reinitialize the stream cipher and hash state given a new nonce. */	\
static int reinit_##latin(x##latin##_ctx *ctx,	int var,		\
			  poly1305_ctx *aadpoly, poly1305_ctx *ctpoly,	\
			  const void *n, size_t nsz)			\
{									\
  poly1305_key pk;							\
  octet b[POLY1305_KEYSZ + POLY1305_MASKSZ];				\
									\
  switch (nsz) {							\
    case SALSA20_NONCESZ:						\
      memcpy(ctx->s.a, ctx->k, sizeof(ctx->k));				\
      base##_setnonce(&ctx->s, n);					\
      break;								\
    case SALSA20_IETF_NONCESZ:						\
      memcpy(ctx->s.a, ctx->k, sizeof(ctx->k));				\
      base##_setnonce_ietf(&ctx->s, n);					\
      break;								\
    case XSALSA20_NONCESZ:						\
      x##latin##_setnonce(ctx, n);					\
      break;								\
    default:								\
      return (-1);							\
  }									\
									\
  latin##_encrypt(&ctx->s, 0, b, sizeof(b));				\
  poly1305_keyinit(&pk, b, POLY1305_KEYSZ);				\
  poly1305_macinit(ctpoly, &pk, b + POLY1305_KEYSZ);			\
  switch (var) {							\
    case LPVAR_NACLBOX:							\
      aadpoly->count = 0; aadpoly->nbuf = 0;				\
      break;								\
    case LPVAR_POLY1305:						\
      poly1305_macinit(aadpoly, &pk, b + POLY1305_KEYSZ);		\
      latin##_encrypt(&ctx->s, 0, 0, SALSA20_OUTSZ - sizeof(b));	\
      break;								\
    default:								\
      assert(0);							\
  }									\
  return (0);								\
}									\
									\
/* AAD operations. */							\
									\
static const gaead_aadops gaops_##latin##_poly1305 =			\
  { &latin##_poly1305, 0, latinpoly_aadhash_poly1305, latinpoly_aaddestroy }; \
									\
static const gaead_aadops gaops_##latin##_naclbox =			\
  { &latin##_naclbox, 0, latinpoly_aadhash_naclbox, latinpoly_aaddestroy }; \
									\
/* Encryption operations. */						\
									\
typedef struct gectx_##latin {						\
  gaead_enc e;								\
  latinpoly_aad aad;							\
  x##latin##_ctx ctx;							\
  poly1305_ctx poly;							\
} gectx_##latin;							\
									\
static gaead_aad *geaad_##latin(gaead_enc *e)				\
  { gectx_##latin *enc = (gectx_##latin *)e; return (&enc->aad.a); }	\
									\
static int gereinit_##latin##_poly1305(gaead_enc *e,			\
				       const void *n, size_t nsz,	\
				       size_t hsz, size_t msz, size_t tsz) \
{									\
  gectx_##latin *enc = (gectx_##latin *)e;				\
  return (reinit_##latin(&enc->ctx, LPVAR_POLY1305,			\
			 &enc->aad.poly, &enc->poly, n, nsz));		\
}									\
									\
static int gereinit_##latin##_naclbox(gaead_enc *e,			\
				      const void *n, size_t nsz,	\
				      size_t hsz, size_t msz, size_t tsz) \
{									\
  gectx_##latin *enc = (gectx_##latin *)e;				\
  return (reinit_##latin(&enc->ctx, LPVAR_NACLBOX,			\
			 &enc->aad.poly, &enc->poly, n, nsz));		\
}									\
									\
static int geenc_##latin(gaead_enc *e,					\
			 const void *m, size_t msz, buf *b)		\
{									\
  gectx_##latin *enc = (gectx_##latin *)e;				\
  void *q;								\
									\
  if (msz) { q = buf_get(b, msz); if (!q) return (-1); }		\
  else q = 0;								\
  latin##_encrypt(&enc->ctx.s, m, q, msz);				\
  poly1305_hash(&enc->poly, q, msz);					\
  return (0);								\
}									\
									\
static int gedone_##latin##_common(gectx_##latin *enc,			\
				   const latinpoly_aad *aad,		\
				   buf *b, size_t tsz)			\
{									\
  if (tsz != POLY1305_TAGSZ) return (-1);				\
  assert((!enc->aad.poly.count && !enc->aad.poly.nbuf && !aad) ||	\
	 aad == &enc->aad);						\
  if (!BOK(b)) return (-1);						\
  return (0);								\
}									\
									\
static int gedone_##latin##_poly1305(gaead_enc *e, const gaead_aad *a,	\
				     buf *b, void *t, size_t tsz)	\
{									\
  gectx_##latin *enc = (gectx_##latin *)e;				\
  const latinpoly_aad *aad = (const latinpoly_aad *)a;			\
									\
  if (gedone_##latin##_common(enc, aad, b, tsz)) return (-1);		\
  latinpoly_tag(aad ? &aad->poly : 0, &enc->poly, t);			\
  return (0);								\
}									\
									\
static int gedone_##latin##_naclbox(gaead_enc *e, const gaead_aad *a,	\
				    buf *b, void *t, size_t tsz)	\
{									\
  gectx_##latin *enc = (gectx_##latin *)e;				\
  const latinpoly_aad *aad = (const latinpoly_aad *)a;			\
									\
  if (gedone_##latin##_common(enc, aad, b, tsz)) return (-1);		\
  poly1305_done(&enc->poly, t);						\
  return (0);								\
}									\
									\
static void gedestroy_##latin(gaead_enc *e)				\
  { gectx_##latin *enc = (gectx_##latin *)e; BURN(*enc); S_DESTROY(enc); } \
									\
static gaead_encops geops_##latin##_poly1305 =				\
  { &latin##_poly1305, geaad_##latin, gereinit_##latin##_poly1305,	\
    geenc_##latin, gedone_##latin##_poly1305, gedestroy_##latin };	\
									\
static gaead_encops geops_##latin##_naclbox =				\
  { &latin##_naclbox, geaad_##latin, gereinit_##latin##_naclbox,	\
    geenc_##latin, gedone_##latin##_naclbox, gedestroy_##latin };	\
									\
/* Decryption operations. */						\
									\
typedef struct gdctx_##latin {						\
  gaead_dec d;								\
  latinpoly_aad aad;							\
  x##latin##_ctx ctx;							\
  poly1305_ctx poly;							\
} gdctx_##latin;							\
									\
static gaead_aad *gdaad_##latin(gaead_dec *d)				\
  { gdctx_##latin *dec = (gdctx_##latin *)d; return (&dec->aad.a); }	\
									\
static int gdreinit_##latin##_poly1305(gaead_dec *d,			\
				       const void *n, size_t nsz,	\
				       size_t hsz, size_t msz, size_t tsz) \
{									\
  gdctx_##latin *dec = (gdctx_##latin *)d;				\
  return (reinit_##latin(&dec->ctx, LPVAR_POLY1305,			\
			 &dec->aad.poly, &dec->poly, n, nsz));		\
}									\
									\
static int gdreinit_##latin##_naclbox(gaead_dec *d,			\
				      const void *n, size_t nsz,	\
				      size_t hsz, size_t msz, size_t tsz) \
{									\
  gdctx_##latin *dec = (gdctx_##latin *)d;				\
  return (reinit_##latin(&dec->ctx, LPVAR_NACLBOX,			\
			 &dec->aad.poly, &dec->poly, n, nsz));		\
}									\
									\
static int gddec_##latin(gaead_dec *d,					\
			 const void *c, size_t csz, buf *b)		\
{									\
  gdctx_##latin *dec = (gdctx_##latin *)d;				\
  void *q;								\
									\
  if (csz) { q = buf_get(b, csz); if (!q) return (-1); }		\
  else q = 0;								\
  poly1305_hash(&dec->poly, c, csz);					\
  latin##_encrypt(&dec->ctx.s, c, q, csz);				\
  return (0);								\
}									\
									\
static int gddone_##latin##_common(gdctx_##latin *dec,			\
				   const latinpoly_aad *aad,		\
				   buf *b, size_t tsz)			\
{									\
  if (tsz != POLY1305_TAGSZ) return (-1);				\
  assert((!dec->aad.poly.count && !dec->aad.poly.nbuf && !aad) ||	\
	 aad == &dec->aad);						\
  if (!BOK(b)) return (-1);						\
  return (0);								\
}									\
									\
static int gddone_##latin##_poly1305(gaead_dec *d, const gaead_aad *a,	\
				     buf *b, const void *t, size_t tsz)	\
{									\
  gdctx_##latin *dec = (gdctx_##latin *)d;				\
  const latinpoly_aad *aad = (const latinpoly_aad *)a;			\
  octet u[POLY1305_TAGSZ];						\
									\
  if (gddone_##latin##_common(dec, aad, b, tsz)) return (-1);		\
  latinpoly_tag(aad ? &aad->poly : 0, &dec->poly, u);			\
  if (ct_memeq(t, u, POLY1305_TAGSZ)) return (+1);			\
  else return (0);							\
}									\
									\
static int gddone_##latin##_naclbox(gaead_dec *d, const gaead_aad *a,	\
				    buf *b, const void *t, size_t tsz)	\
{									\
  gdctx_##latin *dec = (gdctx_##latin *)d;				\
  const latinpoly_aad *aad = (const latinpoly_aad *)a;			\
  octet u[POLY1305_TAGSZ];						\
									\
  if (gddone_##latin##_common(dec, aad, b, tsz)) return (-1);		\
  poly1305_done(&dec->poly, u);						\
  if (ct_memeq(t, u, POLY1305_TAGSZ)) return (+1);			\
  else return (0);							\
}									\
									\
static void gddestroy_##latin(gaead_dec *d)				\
  { gdctx_##latin *dec = (gdctx_##latin *)d; BURN(*dec); S_DESTROY(dec); } \
									\
static gaead_decops gdops_##latin##_poly1305 =				\
  { &latin##_poly1305, gdaad_##latin, gdreinit_##latin##_poly1305,	\
    gddec_##latin, gddone_##latin##_poly1305, gddestroy_##latin };	\
									\
static gaead_decops gdops_##latin##_naclbox =				\
  { &latin##_poly1305, gdaad_##latin, gdreinit_##latin##_naclbox,	\
    gddec_##latin, gddone_##latin##_naclbox, gddestroy_##latin };	\
									\
/* Key operations. */							\
									\
static gaead_enc *gkenc_##latin##_poly1305(const gaead_key *k,		\
					   const void *n, size_t nsz,	\
					   size_t hsz, size_t msz,	\
					   size_t tsz)			\
{									\
  latinpoly_key *key = (latinpoly_key *)k;				\
  gectx_##latin *enc = S_CREATE(gectx_##latin);				\
									\
  enc->e.ops = &geops_##latin##_poly1305;				\
  enc->aad.a.ops = &gaops_##latin##_poly1305;				\
  x##latin##_init(&enc->ctx, key->key, key->ksz, 0);			\
  if (reinit_##latin(&enc->ctx, LPVAR_POLY1305,				\
		     &enc->aad.poly, &enc->poly, n, nsz))		\
    { gedestroy_##latin(&enc->e); return (0); }				\
  return (&enc->e);							\
}									\
									\
static gaead_enc *gkenc_##latin##_naclbox(const gaead_key *k,		\
					  const void *n, size_t nsz,	\
					  size_t hsz, size_t msz,	\
					  size_t tsz)			\
{									\
  latinpoly_key *key = (latinpoly_key *)k;				\
  gectx_##latin *enc = S_CREATE(gectx_##latin);				\
									\
  enc->e.ops = &geops_##latin##_naclbox;				\
  enc->aad.a.ops = &gaops_##latin##_naclbox;				\
  x##latin##_init(&enc->ctx, key->key, key->ksz, 0);			\
  if (reinit_##latin(&enc->ctx, LPVAR_NACLBOX,				\
		     &enc->aad.poly, &enc->poly, n, nsz))		\
    { gedestroy_##latin(&enc->e); return (0); }				\
  return (&enc->e);							\
}									\
									\
static gaead_dec *gkdec_##latin##_poly1305(const gaead_key *k,		\
					   const void *n, size_t nsz,	\
					   size_t hsz, size_t msz,	\
					   size_t tsz)			\
{									\
  latinpoly_key *key = (latinpoly_key *)k;				\
  gdctx_##latin *dec = S_CREATE(gdctx_##latin);				\
									\
  dec->d.ops = &gdops_##latin##_poly1305;				\
  dec->aad.a.ops = &gaops_##latin##_poly1305;				\
  x##latin##_init(&dec->ctx, key->key, key->ksz, 0);			\
  if (reinit_##latin(&dec->ctx, LPVAR_POLY1305,				\
		     &dec->aad.poly, &dec->poly, n, nsz))		\
    { gddestroy_##latin(&dec->d); return (0); }				\
  return (&dec->d);							\
}									\
									\
static gaead_dec *gkdec_##latin##_naclbox(const gaead_key *k,		\
					  const void *n, size_t nsz,	\
					  size_t hsz, size_t msz,	\
					  size_t tsz)			\
{									\
  latinpoly_key *key = (latinpoly_key *)k;				\
  gdctx_##latin *dec = S_CREATE(gdctx_##latin);				\
									\
  dec->d.ops = &gdops_##latin##_naclbox;				\
  dec->aad.a.ops = &gaops_##latin##_naclbox;				\
  x##latin##_init(&dec->ctx, key->key, key->ksz, 0);			\
  if (reinit_##latin(&dec->ctx, LPVAR_NACLBOX,				\
		     &dec->aad.poly, &dec->poly, n, nsz))		\
    { gddestroy_##latin(&dec->d); return (0); }				\
  return (&dec->d);							\
}									\
									\
static void gkdestroy_##latin(gaead_key *k)				\
  { latinpoly_key *key = (latinpoly_key *)k; BURN(*key); S_DESTROY(key); } \
									\
static const gaead_keyops gkops_##latin##_poly1305 =			\
  { &latin##_poly1305, 0,						\
    gkenc_##latin##_poly1305, gkdec_##latin##_poly1305,			\
    gkdestroy_##latin };						\
									\
static const gaead_keyops gkops_##latin##_naclbox =			\
  { &latin##_naclbox, 0,						\
    gkenc_##latin##_naclbox, gkdec_##latin##_naclbox,			\
    gkdestroy_##latin };						\
									\
/* Class definition. */							\
									\
static gaead_key *gkey_##latin##_common(const gaead_keyops *ops,	\
					const void *k, size_t ksz)	\
{									\
  latinpoly_key *key = S_CREATE(latinpoly_key);				\
									\
  key->k.ops = ops;							\
  KSZ_ASSERT(latin, ksz); memcpy(key->key, k, ksz); key->ksz = ksz;	\
  return (&key->k);							\
}									\
									\
static gaead_key *gkey_##latin##_poly1305(const void *k, size_t ksz)	\
  { return (gkey_##latin##_common(&gkops_##latin##_poly1305, k, ksz)); } \
									\
static int gszok_##latin##_poly1305(size_t nsz, size_t hsz,		\
				    size_t msz, size_t tsz)		\
  { return (gaead_szokcommon(&latin##_poly1305, nsz, hsz, msz, tsz)); }	\
									\
static gaead_key *gkey_##latin##_naclbox(const void *k, size_t ksz)	\
  { return (gkey_##latin##_common(&gkops_##latin##_naclbox, k, ksz)); }	\
									\
static int gszok_##latin##_naclbox(size_t nsz, size_t hsz,		\
				   size_t msz, size_t tsz)		\
  { return (gaead_szokcommon(&latin##_poly1305, nsz, hsz, msz, tsz)); } \
									\
const gcaead latin##_poly1305 = {					\
  name "-poly1305", latin##_keysz, latinpoly_noncesz, latinpoly_tagsz,	\
  64, 0, 0, AEADF_AADNDEP,						\
  gkey_##latin##_poly1305, gszok_##latin##_poly1305			\
};									\
									\
const gcaead latin##_naclbox = {					\
  name "-naclbox", latin##_keysz, latinpoly_noncesz, latinpoly_tagsz,	\
  64, 0, 0, AEADF_AADNDEP | AEADF_NOAAD,				\
  gkey_##latin##_naclbox, gszok_##latin##_naclbox			\
};

/*----- That's all, folks -------------------------------------------------*/

#ifdef __cplusplus
  }
#endif

#endif
Commit	Line	Data
aac19f0d MW	1	/* --c--
	2	*
	3	* AEAD schemes based on Salsa20/ChaCha and Poly1305
	4	*
	5	* (c) 2018 Straylight/Edgeware
	6	*/
	7
	8	/----- Licensing notice --------------------------------------------------
	9	*
	10	* This file is part of Catacomb.
	11	*
	12	* Catacomb is free software: you can redistribute it and/or modify it
	13	* under the terms of the GNU Library General Public License as published
	14	* by the Free Software Foundation; either version 2 of the License, or
	15	* (at your option) any later version.
	16	*
	17	* Catacomb is distributed in the hope that it will be useful, but
	18	* WITHOUT ANY WARRANTY; without even the implied warranty of
	19	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
	20	* Library General Public License for more details.
	21	*
	22	* You should have received a copy of the GNU Library General Public
	23	* License along with Catacomb. If not, write to the Free Software
	24	* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
	25	* USA.
	26	*/
	27
	28	#ifndef CATACOMB_LATINPOLY_DEF_H
	29	#define CATACOMB_LATINPOLY_DEF_H
	30
	31	#ifdef __cplusplus
	32	extern "C" {
	33	#endif
	34
	35	/----- Header files ------------------------------------------------------/
	36
	37	#include <mLib/bits.h>
	38	#include <mLib/buf.h>
	39	#include <mLib/sub.h>
	40
	41	#ifndef CATACOMB_ARENA_H
	42	# include "arena.h"
	43	#endif
	44
	45	#ifndef CATACOMB_CT_H
	46	# include "ct.h"
	47	#endif
	48
	49	#ifndef CATACOMB_GAEAD_H
	50	# include "gaead.h"
	51	#endif
	52
	53	#ifndef CATACOMB_KEYSZ_H
	54	# include "keysz.h"
	55	#endif
	56
	57	#ifndef CATACOMB_LATINPOLY_H
	58	# include "latinpoly.h"
	59	#endif
	60
	61	#ifndef CATACOMB_PARANOIA_H
	62	# include "paranoia.h"
	63	#endif
	64
65	#ifndef CATACOMB_POLY1305_H
66	# include "poly1305.h"
67	#endif
68
69	#ifndef CATACOMB_SALSA20_H
70	# include "salsa20.h"
71	#endif
72
73	/----- Data structures ---------------------------------------------------/
74
75	typedef struct latinpoly_aad {
76	gaead_aad a;
77	poly1305_ctx poly;
78	} latinpoly_aad;
79
80	typedef struct latinpoly_key {
81	gaead_key k;
82	octet key[SALSA20_KEYSZ];
83	size_t ksz;
84	} latinpoly_key;
85
86	/----- Common definitions ------------------------------------------------/
87
88	/* Tables. */
89	extern const octet latinpoly_noncesz[], latinpoly_tagsz[];
90
91	/* AAD methods. */
0cf9e22f MW	92	extern void latinpoly_aadhash_poly1305(gaead_aad /a*/,
0cf9e22f MW	93	const void /h/, size_t /hsz*/);
459d1a80 MW	94	extern void latinpoly_aadhash_naclbox(gaead_aad /a*/,
459d1a80 MW	95	const void /h/, size_t /hsz*/);
aac19f0d MW	96	extern void latinpoly_aaddestroy(gaead_aad /a*/);
aac19f0d MW	97
0cf9e22f	98	/* Variants. */
459d1a80	99	enum { LPVAR_NACLBOX, LPVAR_POLY1305 };
0cf9e22f	100
aac19f0d MW	101	/* --- @latinpoly_tag@ --- *
	102	*
	103	* Arguments: @const poly1305_ctx *aad@ = Poly1305 context hashing AAD
	104	* @poly1305_ctx *ct@ = Poly1305 context hashing ciphertext
	105	* @void *tag@ = where to write the tag
	106	*
	107	* Returns: ---
	108	*
	109	* Use: Completes a Latin-dance-Poly1305 tag, combining the AAD and
	110	* ciphertext hashes, appending their lengths, and writing the
	111	* final masked hash to @tag@. The @ct@ context is clobbered.
	112	*/
	113
	114	extern void latinpoly_tag(const poly1305_ctx /aad*/,
	115	poly1305_ctx /ct/, void /tag/);
	116
	117	/----- Macros ------------------------------------------------------------/
	118
	119	#define LATINPOLY_DEF(latin, base, name) \
	120	\
	121	/* Utilities. */ \
	122	\
	123	/* Reinitialize the stream cipher and hash state given a new nonce. */ \
0cf9e22f	124	static int reinit_##latin(x##latin##_ctx *ctx, int var, \
aac19f0d MW	125	poly1305_ctx aadpoly, poly1305_ctx ctpoly, \
	126	const void *n, size_t nsz) \
	127	{ \
	128	poly1305_key pk; \
	129	octet b[POLY1305_KEYSZ + POLY1305_MASKSZ]; \
	130	\
	131	switch (nsz) { \
	132	case SALSA20_NONCESZ: \
	133	memcpy(ctx->s.a, ctx->k, sizeof(ctx->k)); \
	134	base##_setnonce(&ctx->s, n); \
	135	break; \
	136	case SALSA20_IETF_NONCESZ: \
	137	memcpy(ctx->s.a, ctx->k, sizeof(ctx->k)); \
	138	base##_setnonce_ietf(&ctx->s, n); \
	139	break; \
	140	case XSALSA20_NONCESZ: \
	141	x##latin##_setnonce(ctx, n); \
	142	break; \
	143	default: \
	144	return (-1); \
	145	} \
	146	\
	147	latin##_encrypt(&ctx->s, 0, b, sizeof(b)); \
	148	poly1305_keyinit(&pk, b, POLY1305_KEYSZ); \
aac19f0d	149	poly1305_macinit(ctpoly, &pk, b + POLY1305_KEYSZ); \
0cf9e22f	150	switch (var) { \
459d1a80 MW	151	case LPVAR_NACLBOX: \
	152	aadpoly->count = 0; aadpoly->nbuf = 0; \
	153	break; \
0cf9e22f MW	154	case LPVAR_POLY1305: \
	155	poly1305_macinit(aadpoly, &pk, b + POLY1305_KEYSZ); \
	156	latin##_encrypt(&ctx->s, 0, 0, SALSA20_OUTSZ - sizeof(b)); \
	157	break; \
	158	default: \
	159	assert(0); \
	160	} \
aac19f0d MW	161	return (0); \
	162	} \
	163	\
	164	/* AAD operations. */ \
	165	\
0cf9e22f MW	166	static const gaead_aadops gaops_##latin##_poly1305 = \
	167	{ &latin##_poly1305, 0, latinpoly_aadhash_poly1305, latinpoly_aaddestroy }; \
	168	\
459d1a80 MW	169	static const gaead_aadops gaops_##latin##_naclbox = \
459d1a80 MW	170	{ &latin##_naclbox, 0, latinpoly_aadhash_naclbox, latinpoly_aaddestroy }; \
aac19f0d MW	171	\
	172	/* Encryption operations. */ \
	173	\
	174	typedef struct gectx_##latin { \
	175	gaead_enc e; \
	176	latinpoly_aad aad; \
	177	x##latin##_ctx ctx; \
	178	poly1305_ctx poly; \
	179	} gectx_##latin; \
	180	\
	181	static gaead_aad geaad_##latin(gaead_enc e) \
	182	{ gectx_##latin enc = (gectx_##latin )e; return (&enc->aad.a); } \
	183	\
0cf9e22f MW	184	static int gereinit_##latin##_poly1305(gaead_enc *e, \
	185	const void *n, size_t nsz, \
	186	size_t hsz, size_t msz, size_t tsz) \
aac19f0d MW	187	{ \
aac19f0d MW	188	gectx_##latin enc = (gectx_##latin )e; \
0cf9e22f MW	189	return (reinit_##latin(&enc->ctx, LPVAR_POLY1305, \
0cf9e22f MW	190	&enc->aad.poly, &enc->poly, n, nsz)); \
aac19f0d MW	191	} \
aac19f0d MW	192	\
459d1a80 MW	193	static int gereinit_##latin##_naclbox(gaead_enc *e, \
	194	const void *n, size_t nsz, \
	195	size_t hsz, size_t msz, size_t tsz) \
	196	{ \
	197	gectx_##latin enc = (gectx_##latin )e; \
	198	return (reinit_##latin(&enc->ctx, LPVAR_NACLBOX, \
	199	&enc->aad.poly, &enc->poly, n, nsz)); \
	200	} \
	201	\
aac19f0d MW	202	static int geenc_##latin(gaead_enc *e, \
	203	const void m, size_t msz, buf b) \
	204	{ \
	205	gectx_##latin enc = (gectx_##latin )e; \
	206	void *q; \
	207	\
	208	if (msz) { q = buf_get(b, msz); if (!q) return (-1); } \
	209	else q = 0; \
	210	latin##_encrypt(&enc->ctx.s, m, q, msz); \
	211	poly1305_hash(&enc->poly, q, msz); \
	212	return (0); \
	213	} \
	214	\
0cf9e22f MW	215	static int gedone_##latin##_common(gectx_##latin *enc, \
	216	const latinpoly_aad *aad, \
	217	buf *b, size_t tsz) \
	218	{ \
	219	if (tsz != POLY1305_TAGSZ) return (-1); \
	220	assert((!enc->aad.poly.count && !enc->aad.poly.nbuf && !aad) \|\| \
	221	aad == &enc->aad); \
	222	if (!BOK(b)) return (-1); \
	223	return (0); \
	224	} \
	225	\
	226	static int gedone_##latin##_poly1305(gaead_enc e, const gaead_aad a, \
	227	buf b, void t, size_t tsz) \
aac19f0d MW	228	{ \
	229	gectx_##latin enc = (gectx_##latin )e; \
	230	const latinpoly_aad aad = (const latinpoly_aad )a; \
	231	\
0cf9e22f	232	if (gedone_##latin##_common(enc, aad, b, tsz)) return (-1); \
aac19f0d MW	233	latinpoly_tag(aad ? &aad->poly : 0, &enc->poly, t); \
	234	return (0); \
	235	} \
	236	\
459d1a80 MW	237	static int gedone_##latin##_naclbox(gaead_enc e, const gaead_aad a, \
	238	buf b, void t, size_t tsz) \
	239	{ \
	240	gectx_##latin enc = (gectx_##latin )e; \
	241	const latinpoly_aad aad = (const latinpoly_aad )a; \
	242	\
	243	if (gedone_##latin##_common(enc, aad, b, tsz)) return (-1); \
	244	poly1305_done(&enc->poly, t); \
	245	return (0); \
	246	} \
	247	\
aac19f0d MW	248	static void gedestroy_##latin(gaead_enc *e) \
	249	{ gectx_##latin enc = (gectx_##latin )e; BURN(*enc); S_DESTROY(enc); } \
	250	\
0cf9e22f MW	251	static gaead_encops geops_##latin##_poly1305 = \
	252	{ &latin##_poly1305, geaad_##latin, gereinit_##latin##_poly1305, \
	253	geenc_##latin, gedone_##latin##_poly1305, gedestroy_##latin }; \
aac19f0d	254	\
459d1a80 MW	255	static gaead_encops geops_##latin##_naclbox = \
	256	{ &latin##_naclbox, geaad_##latin, gereinit_##latin##_naclbox, \
	257	geenc_##latin, gedone_##latin##_naclbox, gedestroy_##latin }; \
	258	\
aac19f0d MW	259	/* Decryption operations. */ \
	260	\
	261	typedef struct gdctx_##latin { \
	262	gaead_dec d; \
	263	latinpoly_aad aad; \
	264	x##latin##_ctx ctx; \
	265	poly1305_ctx poly; \
	266	} gdctx_##latin; \
	267	\
	268	static gaead_aad gdaad_##latin(gaead_dec d) \
	269	{ gdctx_##latin dec = (gdctx_##latin )d; return (&dec->aad.a); } \
	270	\
0cf9e22f MW	271	static int gdreinit_##latin##_poly1305(gaead_dec *d, \
	272	const void *n, size_t nsz, \
	273	size_t hsz, size_t msz, size_t tsz) \
aac19f0d MW	274	{ \
aac19f0d MW	275	gdctx_##latin dec = (gdctx_##latin )d; \
0cf9e22f MW	276	return (reinit_##latin(&dec->ctx, LPVAR_POLY1305, \
0cf9e22f MW	277	&dec->aad.poly, &dec->poly, n, nsz)); \
aac19f0d MW	278	} \
aac19f0d MW	279	\
459d1a80 MW	280	static int gdreinit_##latin##_naclbox(gaead_dec *d, \
	281	const void *n, size_t nsz, \
	282	size_t hsz, size_t msz, size_t tsz) \
	283	{ \
	284	gdctx_##latin dec = (gdctx_##latin )d; \
	285	return (reinit_##latin(&dec->ctx, LPVAR_NACLBOX, \
	286	&dec->aad.poly, &dec->poly, n, nsz)); \
	287	} \
	288	\
aac19f0d MW	289	static int gddec_##latin(gaead_dec *d, \
	290	const void c, size_t csz, buf b) \
	291	{ \
	292	gdctx_##latin dec = (gdctx_##latin )d; \
	293	void *q; \
	294	\
	295	if (csz) { q = buf_get(b, csz); if (!q) return (-1); } \
	296	else q = 0; \
	297	poly1305_hash(&dec->poly, c, csz); \
	298	latin##_encrypt(&dec->ctx.s, c, q, csz); \
	299	return (0); \
	300	} \
	301	\
0cf9e22f MW	302	static int gddone_##latin##_common(gdctx_##latin *dec, \
	303	const latinpoly_aad *aad, \
	304	buf *b, size_t tsz) \
	305	{ \
	306	if (tsz != POLY1305_TAGSZ) return (-1); \
	307	assert((!dec->aad.poly.count && !dec->aad.poly.nbuf && !aad) \|\| \
	308	aad == &dec->aad); \
	309	if (!BOK(b)) return (-1); \
	310	return (0); \
	311	} \
	312	\
	313	static int gddone_##latin##_poly1305(gaead_dec d, const gaead_aad a, \
	314	buf b, const void t, size_t tsz) \
aac19f0d MW	315	{ \
	316	gdctx_##latin dec = (gdctx_##latin )d; \
	317	const latinpoly_aad aad = (const latinpoly_aad )a; \
	318	octet u[POLY1305_TAGSZ]; \
	319	\
0cf9e22f	320	if (gddone_##latin##_common(dec, aad, b, tsz)) return (-1); \
aac19f0d MW	321	latinpoly_tag(aad ? &aad->poly : 0, &dec->poly, u); \
	322	if (ct_memeq(t, u, POLY1305_TAGSZ)) return (+1); \
	323	else return (0); \
	324	} \
	325	\
459d1a80 MW	326	static int gddone_##latin##_naclbox(gaead_dec d, const gaead_aad a, \
	327	buf b, const void t, size_t tsz) \
	328	{ \
	329	gdctx_##latin dec = (gdctx_##latin )d; \
	330	const latinpoly_aad aad = (const latinpoly_aad )a; \
	331	octet u[POLY1305_TAGSZ]; \
	332	\
	333	if (gddone_##latin##_common(dec, aad, b, tsz)) return (-1); \
	334	poly1305_done(&dec->poly, u); \
	335	if (ct_memeq(t, u, POLY1305_TAGSZ)) return (+1); \
	336	else return (0); \
	337	} \
	338	\
aac19f0d MW	339	static void gddestroy_##latin(gaead_dec *d) \
	340	{ gdctx_##latin dec = (gdctx_##latin )d; BURN(*dec); S_DESTROY(dec); } \
	341	\
0cf9e22f MW	342	static gaead_decops gdops_##latin##_poly1305 = \
	343	{ &latin##_poly1305, gdaad_##latin, gdreinit_##latin##_poly1305, \
	344	gddec_##latin, gddone_##latin##_poly1305, gddestroy_##latin }; \
aac19f0d	345	\
459d1a80 MW	346	static gaead_decops gdops_##latin##_naclbox = \
	347	{ &latin##_poly1305, gdaad_##latin, gdreinit_##latin##_naclbox, \
	348	gddec_##latin, gddone_##latin##_naclbox, gddestroy_##latin }; \
	349	\
aac19f0d MW	350	/* Key operations. */ \
aac19f0d MW	351	\
0cf9e22f MW	352	static gaead_enc gkenc_##latin##_poly1305(const gaead_key k, \
	353	const void *n, size_t nsz, \
	354	size_t hsz, size_t msz, \
	355	size_t tsz) \
aac19f0d MW	356	{ \
	357	latinpoly_key key = (latinpoly_key )k; \
	358	gectx_##latin *enc = S_CREATE(gectx_##latin); \
	359	\
0cf9e22f MW	360	enc->e.ops = &geops_##latin##_poly1305; \
0cf9e22f MW	361	enc->aad.a.ops = &gaops_##latin##_poly1305; \
aac19f0d	362	x##latin##_init(&enc->ctx, key->key, key->ksz, 0); \
0cf9e22f MW	363	if (reinit_##latin(&enc->ctx, LPVAR_POLY1305, \
	364	&enc->aad.poly, &enc->poly, n, nsz)) \
	365	{ gedestroy_##latin(&enc->e); return (0); } \
aac19f0d MW	366	return (&enc->e); \
	367	} \
	368	\
459d1a80 MW	369	static gaead_enc gkenc_##latin##_naclbox(const gaead_key k, \
	370	const void *n, size_t nsz, \
	371	size_t hsz, size_t msz, \
	372	size_t tsz) \
	373	{ \
	374	latinpoly_key key = (latinpoly_key )k; \
	375	gectx_##latin *enc = S_CREATE(gectx_##latin); \
	376	\
	377	enc->e.ops = &geops_##latin##_naclbox; \
	378	enc->aad.a.ops = &gaops_##latin##_naclbox; \
	379	x##latin##_init(&enc->ctx, key->key, key->ksz, 0); \
	380	if (reinit_##latin(&enc->ctx, LPVAR_NACLBOX, \
	381	&enc->aad.poly, &enc->poly, n, nsz)) \
	382	{ gedestroy_##latin(&enc->e); return (0); } \
	383	return (&enc->e); \
	384	} \
	385	\
0cf9e22f MW	386	static gaead_dec gkdec_##latin##_poly1305(const gaead_key k, \
	387	const void *n, size_t nsz, \
	388	size_t hsz, size_t msz, \
	389	size_t tsz) \
aac19f0d MW	390	{ \
	391	latinpoly_key key = (latinpoly_key )k; \
	392	gdctx_##latin *dec = S_CREATE(gdctx_##latin); \
	393	\
0cf9e22f MW	394	dec->d.ops = &gdops_##latin##_poly1305; \
0cf9e22f MW	395	dec->aad.a.ops = &gaops_##latin##_poly1305; \
aac19f0d	396	x##latin##_init(&dec->ctx, key->key, key->ksz, 0); \
0cf9e22f MW	397	if (reinit_##latin(&dec->ctx, LPVAR_POLY1305, \
	398	&dec->aad.poly, &dec->poly, n, nsz)) \
	399	{ gddestroy_##latin(&dec->d); return (0); } \
aac19f0d MW	400	return (&dec->d); \
	401	} \
	402	\
459d1a80 MW	403	static gaead_dec gkdec_##latin##_naclbox(const gaead_key k, \
	404	const void *n, size_t nsz, \
	405	size_t hsz, size_t msz, \
	406	size_t tsz) \
	407	{ \
	408	latinpoly_key key = (latinpoly_key )k; \
	409	gdctx_##latin *dec = S_CREATE(gdctx_##latin); \
	410	\
	411	dec->d.ops = &gdops_##latin##_naclbox; \
	412	dec->aad.a.ops = &gaops_##latin##_naclbox; \
	413	x##latin##_init(&dec->ctx, key->key, key->ksz, 0); \
	414	if (reinit_##latin(&dec->ctx, LPVAR_NACLBOX, \
	415	&dec->aad.poly, &dec->poly, n, nsz)) \
	416	{ gddestroy_##latin(&dec->d); return (0); } \
	417	return (&dec->d); \
	418	} \
	419	\
aac19f0d MW	420	static void gkdestroy_##latin(gaead_key *k) \
	421	{ latinpoly_key key = (latinpoly_key )k; BURN(*key); S_DESTROY(key); } \
	422	\
0cf9e22f MW	423	static const gaead_keyops gkops_##latin##_poly1305 = \
	424	{ &latin##_poly1305, 0, \
	425	gkenc_##latin##_poly1305, gkdec_##latin##_poly1305, \
aac19f0d MW	426	gkdestroy_##latin }; \
aac19f0d MW	427	\
459d1a80 MW	428	static const gaead_keyops gkops_##latin##_naclbox = \
	429	{ &latin##_naclbox, 0, \
	430	gkenc_##latin##_naclbox, gkdec_##latin##_naclbox, \
	431	gkdestroy_##latin }; \
	432	\
aac19f0d MW	433	/* Class definition. */ \
aac19f0d MW	434	\
0cf9e22f MW	435	static gaead_key gkey_##latin##_common(const gaead_keyops ops, \
0cf9e22f MW	436	const void *k, size_t ksz) \
aac19f0d MW	437	{ \
	438	latinpoly_key *key = S_CREATE(latinpoly_key); \
	439	\
0cf9e22f	440	key->k.ops = ops; \
aac19f0d MW	441	KSZ_ASSERT(latin, ksz); memcpy(key->key, k, ksz); key->ksz = ksz; \
	442	return (&key->k); \
	443	} \
	444	\
0cf9e22f MW	445	static gaead_key gkey_##latin##_poly1305(const void k, size_t ksz) \
	446	{ return (gkey_##latin##_common(&gkops_##latin##_poly1305, k, ksz)); } \
	447	\
1491bf9e MW	448	static int gszok_##latin##_poly1305(size_t nsz, size_t hsz, \
	449	size_t msz, size_t tsz) \
	450	{ return (gaead_szokcommon(&latin##_poly1305, nsz, hsz, msz, tsz)); } \
	451	\
459d1a80 MW	452	static gaead_key gkey_##latin##_naclbox(const void k, size_t ksz) \
	453	{ return (gkey_##latin##_common(&gkops_##latin##_naclbox, k, ksz)); } \
	454	\
1491bf9e MW	455	static int gszok_##latin##_naclbox(size_t nsz, size_t hsz, \
	456	size_t msz, size_t tsz) \
	457	{ return (gaead_szokcommon(&latin##_poly1305, nsz, hsz, msz, tsz)); } \
	458	\
aac19f0d MW	459	const gcaead latin##_poly1305 = { \
	460	name "-poly1305", latin##_keysz, latinpoly_noncesz, latinpoly_tagsz, \
	461	64, 0, 0, AEADF_AADNDEP, \
1491bf9e	462	gkey_##latin##_poly1305, gszok_##latin##_poly1305 \
459d1a80 MW	463	}; \
	464	\
	465	const gcaead latin##_naclbox = { \
	466	name "-naclbox", latin##_keysz, latinpoly_noncesz, latinpoly_tagsz, \
	467	64, 0, 0, AEADF_AADNDEP \| AEADF_NOAAD, \
1491bf9e	468	gkey_##latin##_naclbox, gszok_##latin##_naclbox \
aac19f0d MW	469	};
	470
	471	/----- That's all, folks -------------------------------------------------/
	472
	473	#ifdef __cplusplus
	474	}
	475	#endif
	476
	477	#endif