decrypt.c 1.87 KB
Newer Older
lwc-tester committed
1
#include "api.h"
Martin Schläffer committed
2 3
#include "ascon.h"
#include "loadstore.h"
lwc-tester committed
4
#include "permutations.h"
Martin Schläffer committed
5
#include "printstate.h"
lwc-tester committed
6

Martin Schläffer committed
7 8 9 10 11 12
int crypto_aead_decrypt(uint8_t* m, uint64_t* mlen, uint8_t* nsec,
                        const uint8_t* c, uint64_t clen, const uint8_t* ad,
                        uint64_t adlen, const uint8_t* npub, const uint8_t* k) {
  uint64_t K0, K1, N0, N1;
  state_t s;
  (void)nsec;
lwc-tester committed
13 14 15 16 17 18

  if (clen < CRYPTO_ABYTES) {
    *mlen = 0;
    return -1;
  }

Martin Schläffer committed
19
  /* set plaintext size */
lwc-tester committed
20 21
  *mlen = clen - CRYPTO_ABYTES;

Martin Schläffer committed
22 23 24 25 26 27 28 29
  /* load key and nonce */
  K0 = LOAD(k, 8);
  K1 = LOAD(k + 8, 8);
  N0 = LOAD(npub, 8);
  N1 = LOAD(npub + 8, 8);

  /* initialization */
  s.x0 = ASCON_128_IV;
lwc-tester committed
30 31 32 33 34 35 36
  s.x1 = K0;
  s.x2 = K1;
  s.x3 = N0;
  s.x4 = N1;
  P12(&s);
  s.x3 ^= K0;
  s.x4 ^= K1;
Martin Schläffer committed
37
  printstate("initialization", &s);
lwc-tester committed
38

Martin Schläffer committed
39
  /* process associated data */
lwc-tester committed
40
  if (adlen) {
Martin Schläffer committed
41 42
    while (adlen >= ASCON_128_RATE) {
      s.x0 ^= LOAD(ad, 8);
lwc-tester committed
43
      P6(&s);
Martin Schläffer committed
44 45
      ad += ASCON_128_RATE;
      adlen -= ASCON_128_RATE;
lwc-tester committed
46
    }
Martin Schläffer committed
47 48 49
    /* final associated data block */
    s.x0 ^= LOAD(ad, adlen);
    s.x0 ^= PAD(adlen);
lwc-tester committed
50 51 52
    P6(&s);
  }
  s.x4 ^= 1;
Martin Schläffer committed
53
  printstate("process associated data", &s);
lwc-tester committed
54

Martin Schläffer committed
55
  /* process ciphertext */
lwc-tester committed
56
  clen -= CRYPTO_ABYTES;
Martin Schläffer committed
57 58 59
  while (clen >= ASCON_128_RATE) {
    uint64_t c0 = LOAD(c, 8);
    STORE(m, s.x0 ^ c0, 8);
lwc-tester committed
60 61
    s.x0 = c0;
    P6(&s);
Martin Schläffer committed
62 63 64
    m += ASCON_128_RATE;
    c += ASCON_128_RATE;
    clen -= ASCON_128_RATE;
lwc-tester committed
65
  }
Martin Schläffer committed
66 67 68 69
  /* final ciphertext block */
  uint64_t c0 = LOAD(c, clen);
  STORE(m, s.x0 ^ c0, clen);
  s.x0 &= ~MASK(clen);
lwc-tester committed
70
  s.x0 |= c0;
Martin Schläffer committed
71
  s.x0 ^= PAD(clen);
lwc-tester committed
72
  c += clen;
Martin Schläffer committed
73
  printstate("process ciphertext", &s);
lwc-tester committed
74

Martin Schläffer committed
75
  /* finalization */
lwc-tester committed
76 77 78 79 80
  s.x1 ^= K0;
  s.x2 ^= K1;
  P12(&s);
  s.x3 ^= K0;
  s.x4 ^= K1;
Martin Schläffer committed
81
  printstate("finalization", &s);
lwc-tester committed
82

Martin Schläffer committed
83 84
  /* verify tag (should be constant time, check compiler output) */
  if ((s.x3 ^ LOAD(c, 8)) | (s.x4 ^ LOAD(c + 8, 8))) {
lwc-tester committed
85 86 87 88 89 90
    *mlen = 0;
    return -1;
  }

  return 0;
}