gerrit.fd Code Review - trex.git/blob

   1 #include "api.h"
   2 #include "crypto_hash_sha512.h"
   3 #include "randombytes.h"
   4 #include "crypto_verify_32.h"
   5
   6 #include "ge25519.h"
   7
   8 int crypto_sign_keypair(
   9     unsigned char *pk,
  10     unsigned char *sk
  11     )
  12 {
  13   sc25519 scsk;
  14   ge25519 gepk;
  15
  16   randombytes_buf(sk, 32);
  17   crypto_hash_sha512(sk, sk, 32);
  18   sk[0] &= 248;
  19   sk[31] &= 127;
  20   sk[31] |= 64;
  21
  22   sc25519_from32bytes(&scsk,sk);
  23
  24   ge25519_scalarmult_base(&gepk, &scsk);
  25   ge25519_pack(pk, &gepk);
  26   return 0;
  27 }
  28
  29 int crypto_sign(
  30     unsigned char *sm,unsigned long long *smlen_p,
  31     const unsigned char *m,unsigned long long mlen,
  32     const unsigned char *sk
  33     )
  34 {
  35   sc25519 sck, scs, scsk;
  36   ge25519 ger;
  37   unsigned char r[32];
  38   unsigned char s[32];
  39   unsigned long long i;
  40   unsigned char hmg[crypto_hash_sha512_BYTES];
  41   unsigned char hmr[crypto_hash_sha512_BYTES];
  42
  43   if (smlen_p != NULL) {
  44     *smlen_p = mlen+64;
  45   }
  46   for(i=0;i<mlen;i++)
  47     sm[32 + i] = m[i];
  48   for(i=0;i<32;i++)
  49     sm[i] = sk[32+i];
  50   crypto_hash_sha512(hmg, sm, mlen+32); /* Generate k as h(m,sk[32],...,sk[63]) */
  51
  52   sc25519_from64bytes(&sck, hmg);
  53   ge25519_scalarmult_base(&ger, &sck);
  54   ge25519_pack(r, &ger);
  55
  56   for(i=0;i<32;i++)
  57     sm[i] = r[i];
  58
  59   crypto_hash_sha512(hmr, sm, mlen+32); /* Compute h(m,r) */
  60   sc25519_from64bytes(&scs, hmr);
  61   sc25519_mul(&scs, &scs, &sck);
  62
  63   sc25519_from32bytes(&scsk, sk);
  64   sc25519_add(&scs, &scs, &scsk);
  65
  66   sc25519_to32bytes(s,&scs); /* cat s */
  67   for(i=0;i<32;i++)
  68     sm[mlen+32+i] = s[i];
  69
  70   return 0;
  71 }
  72
  73 int crypto_sign_open(
  74     unsigned char *m,unsigned long long *mlen_p,
  75     const unsigned char *sm,unsigned long long smlen,
  76     const unsigned char *pk
  77     )
  78 {
  79   unsigned long long i;
  80   unsigned char t1[32], t2[32];
  81   ge25519 get1, get2, gepk;
  82   sc25519 schmr, scs;
  83   unsigned char hmr[crypto_hash_sha512_BYTES];
  84
  85   if (ge25519_unpack_vartime(&get1, sm)) return -1;
  86   if (ge25519_unpack_vartime(&gepk, pk)) return -1;
  87
  88   crypto_hash_sha512(hmr,sm,smlen-32);
  89
  90   sc25519_from64bytes(&schmr, hmr);
  91   ge25519_scalarmult(&get1, &get1, &schmr);
  92   ge25519_add(&get1, &get1, &gepk);
  93   ge25519_pack(t1, &get1);
  94
  95   sc25519_from32bytes(&scs, &sm[smlen-32]);
  96   ge25519_scalarmult_base(&get2, &scs);
  97   ge25519_pack(t2, &get2);
  98
  99   for(i=0;i<smlen-64;i++) {
 100     m[i] = sm[i + 32];
 101   }
 102   if (mlen_p != NULL) {
 103     *mlen_p = smlen-64;
 104   }
 105   return crypto_verify_32(t1, t2);
 106 }