kit

kit
git clone https://git.ryansepassi.com/git/kit.git
Log | Files | Refs | README

monocypher-ed25519.c (16510B)


      1 // Monocypher version 4.0.2
      2 //
      3 // This file is dual-licensed.  Choose whichever licence you want from
      4 // the two licences listed below.
      5 //
      6 // The first licence is a regular 2-clause BSD licence.  The second licence
      7 // is the CC-0 from Creative Commons. It is intended to release Monocypher
      8 // to the public domain.  The BSD licence serves as a fallback option.
      9 //
     10 // SPDX-License-Identifier: BSD-2-Clause OR CC0-1.0
     11 //
     12 // ------------------------------------------------------------------------
     13 //
     14 // Copyright (c) 2017-2019, Loup Vaillant
     15 // All rights reserved.
     16 //
     17 //
     18 // Redistribution and use in source and binary forms, with or without
     19 // modification, are permitted provided that the following conditions are
     20 // met:
     21 //
     22 // 1. Redistributions of source code must retain the above copyright
     23 //    notice, this list of conditions and the following disclaimer.
     24 //
     25 // 2. Redistributions in binary form must reproduce the above copyright
     26 //    notice, this list of conditions and the following disclaimer in the
     27 //    documentation and/or other materials provided with the
     28 //    distribution.
     29 //
     30 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
     31 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
     32 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
     33 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
     34 // HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
     35 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
     36 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     37 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     38 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     39 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     40 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     41 //
     42 // ------------------------------------------------------------------------
     43 //
     44 // Written in 2017-2019 by Loup Vaillant
     45 //
     46 // To the extent possible under law, the author(s) have dedicated all copyright
     47 // and related neighboring rights to this software to the public domain
     48 // worldwide.  This software is distributed without any warranty.
     49 //
     50 // You should have received a copy of the CC0 Public Domain Dedication along
     51 // with this software.  If not, see
     52 // <https://creativecommons.org/publicdomain/zero/1.0/>
     53 
     54 #include "monocypher-ed25519.h"
     55 
     56 #ifdef MONOCYPHER_CPP_NAMESPACE
     57 namespace MONOCYPHER_CPP_NAMESPACE {
     58 #endif
     59 
     60 /////////////////
     61 /// Utilities ///
     62 /////////////////
     63 #define FOR(i, min, max)     for (size_t i = min; i < max; i++)
     64 #define COPY(dst, src, size) FOR(_i_, 0, size) (dst)[_i_] = (src)[_i_]
     65 #define ZERO(buf, size)      FOR(_i_, 0, size) (buf)[_i_] = 0
     66 #define WIPE_CTX(ctx)        crypto_wipe(ctx   , sizeof(*(ctx)))
     67 #define WIPE_BUFFER(buffer)  crypto_wipe(buffer, sizeof(buffer))
     68 #define MIN(a, b)            ((a) <= (b) ? (a) : (b))
     69 typedef uint8_t u8;
     70 typedef uint64_t u64;
     71 
     72 // Returns the smallest positive integer y such that
     73 // (x + y) % pow_2  == 0
     74 // Basically, it's how many bytes we need to add to "align" x.
     75 // Only works when pow_2 is a power of 2.
     76 // Note: we use ~x+1 instead of -x to avoid compiler warnings
     77 static size_t align(size_t x, size_t pow_2)
     78 {
     79 	return (~x + 1) & (pow_2 - 1);
     80 }
     81 
     82 static u64 load64_be(const u8 s[8])
     83 {
     84 	return((u64)s[0] << 56)
     85 		| ((u64)s[1] << 48)
     86 		| ((u64)s[2] << 40)
     87 		| ((u64)s[3] << 32)
     88 		| ((u64)s[4] << 24)
     89 		| ((u64)s[5] << 16)
     90 		| ((u64)s[6] <<  8)
     91 		|  (u64)s[7];
     92 }
     93 
     94 static void store64_be(u8 out[8], u64 in)
     95 {
     96 	out[0] = (in >> 56) & 0xff;
     97 	out[1] = (in >> 48) & 0xff;
     98 	out[2] = (in >> 40) & 0xff;
     99 	out[3] = (in >> 32) & 0xff;
    100 	out[4] = (in >> 24) & 0xff;
    101 	out[5] = (in >> 16) & 0xff;
    102 	out[6] = (in >>  8) & 0xff;
    103 	out[7] =  in        & 0xff;
    104 }
    105 
    106 static void load64_be_buf (u64 *dst, const u8 *src, size_t size) {
    107 	FOR(i, 0, size) { dst[i] = load64_be(src + i*8); }
    108 }
    109 
    110 ///////////////
    111 /// SHA 512 ///
    112 ///////////////
    113 static u64 rot(u64 x, int c       ) { return (x >> c) | (x << (64 - c));   }
    114 static u64 ch (u64 x, u64 y, u64 z) { return (x & y) ^ (~x & z);           }
    115 static u64 maj(u64 x, u64 y, u64 z) { return (x & y) ^ ( x & z) ^ (y & z); }
    116 static u64 big_sigma0(u64 x) { return rot(x, 28) ^ rot(x, 34) ^ rot(x, 39); }
    117 static u64 big_sigma1(u64 x) { return rot(x, 14) ^ rot(x, 18) ^ rot(x, 41); }
    118 static u64 lit_sigma0(u64 x) { return rot(x,  1) ^ rot(x,  8) ^ (x >> 7);   }
    119 static u64 lit_sigma1(u64 x) { return rot(x, 19) ^ rot(x, 61) ^ (x >> 6);   }
    120 
    121 static const u64 K[80] = {
    122 	0x428a2f98d728ae22,0x7137449123ef65cd,0xb5c0fbcfec4d3b2f,0xe9b5dba58189dbbc,
    123 	0x3956c25bf348b538,0x59f111f1b605d019,0x923f82a4af194f9b,0xab1c5ed5da6d8118,
    124 	0xd807aa98a3030242,0x12835b0145706fbe,0x243185be4ee4b28c,0x550c7dc3d5ffb4e2,
    125 	0x72be5d74f27b896f,0x80deb1fe3b1696b1,0x9bdc06a725c71235,0xc19bf174cf692694,
    126 	0xe49b69c19ef14ad2,0xefbe4786384f25e3,0x0fc19dc68b8cd5b5,0x240ca1cc77ac9c65,
    127 	0x2de92c6f592b0275,0x4a7484aa6ea6e483,0x5cb0a9dcbd41fbd4,0x76f988da831153b5,
    128 	0x983e5152ee66dfab,0xa831c66d2db43210,0xb00327c898fb213f,0xbf597fc7beef0ee4,
    129 	0xc6e00bf33da88fc2,0xd5a79147930aa725,0x06ca6351e003826f,0x142929670a0e6e70,
    130 	0x27b70a8546d22ffc,0x2e1b21385c26c926,0x4d2c6dfc5ac42aed,0x53380d139d95b3df,
    131 	0x650a73548baf63de,0x766a0abb3c77b2a8,0x81c2c92e47edaee6,0x92722c851482353b,
    132 	0xa2bfe8a14cf10364,0xa81a664bbc423001,0xc24b8b70d0f89791,0xc76c51a30654be30,
    133 	0xd192e819d6ef5218,0xd69906245565a910,0xf40e35855771202a,0x106aa07032bbd1b8,
    134 	0x19a4c116b8d2d0c8,0x1e376c085141ab53,0x2748774cdf8eeb99,0x34b0bcb5e19b48a8,
    135 	0x391c0cb3c5c95a63,0x4ed8aa4ae3418acb,0x5b9cca4f7763e373,0x682e6ff3d6b2b8a3,
    136 	0x748f82ee5defb2fc,0x78a5636f43172f60,0x84c87814a1f0ab72,0x8cc702081a6439ec,
    137 	0x90befffa23631e28,0xa4506cebde82bde9,0xbef9a3f7b2c67915,0xc67178f2e372532b,
    138 	0xca273eceea26619c,0xd186b8c721c0c207,0xeada7dd6cde0eb1e,0xf57d4f7fee6ed178,
    139 	0x06f067aa72176fba,0x0a637dc5a2c898a6,0x113f9804bef90dae,0x1b710b35131c471b,
    140 	0x28db77f523047d84,0x32caab7b40c72493,0x3c9ebe0a15c9bebc,0x431d67c49c100d4c,
    141 	0x4cc5d4becb3e42b6,0x597f299cfc657e2a,0x5fcb6fab3ad6faec,0x6c44198c4a475817
    142 };
    143 
    144 static void sha512_compress(crypto_sha512_ctx *ctx)
    145 {
    146 	u64 a = ctx->hash[0];    u64 b = ctx->hash[1];
    147 	u64 c = ctx->hash[2];    u64 d = ctx->hash[3];
    148 	u64 e = ctx->hash[4];    u64 f = ctx->hash[5];
    149 	u64 g = ctx->hash[6];    u64 h = ctx->hash[7];
    150 
    151 	FOR (j, 0, 16) {
    152 		u64 in = K[j] + ctx->input[j];
    153 		u64 t1 = big_sigma1(e) + ch (e, f, g) + h + in;
    154 		u64 t2 = big_sigma0(a) + maj(a, b, c);
    155 		h = g;  g = f;  f = e;  e = d  + t1;
    156 		d = c;  c = b;  b = a;  a = t1 + t2;
    157 	}
    158 	size_t i16 = 0;
    159 	FOR(i, 1, 5) {
    160 		i16 += 16;
    161 		FOR (j, 0, 16) {
    162 			ctx->input[j] += lit_sigma1(ctx->input[(j- 2) & 15]);
    163 			ctx->input[j] += lit_sigma0(ctx->input[(j-15) & 15]);
    164 			ctx->input[j] +=            ctx->input[(j- 7) & 15];
    165 			u64 in = K[i16 + j] + ctx->input[j];
    166 			u64 t1 = big_sigma1(e) + ch (e, f, g) + h + in;
    167 			u64 t2 = big_sigma0(a) + maj(a, b, c);
    168 			h = g;  g = f;  f = e;  e = d  + t1;
    169 			d = c;  c = b;  b = a;  a = t1 + t2;
    170 		}
    171 	}
    172 
    173 	ctx->hash[0] += a;    ctx->hash[1] += b;
    174 	ctx->hash[2] += c;    ctx->hash[3] += d;
    175 	ctx->hash[4] += e;    ctx->hash[5] += f;
    176 	ctx->hash[6] += g;    ctx->hash[7] += h;
    177 }
    178 
    179 // Write 1 input byte
    180 static void sha512_set_input(crypto_sha512_ctx *ctx, u8 input)
    181 {
    182 	size_t word = ctx->input_idx >> 3;
    183 	size_t byte = ctx->input_idx &  7;
    184 	ctx->input[word] |= (u64)input << (8 * (7 - byte));
    185 }
    186 
    187 // Increment a 128-bit "word".
    188 static void sha512_incr(u64 x[2], u64 y)
    189 {
    190 	x[1] += y;
    191 	if (x[1] < y) {
    192 		x[0]++;
    193 	}
    194 }
    195 
    196 void crypto_sha512_init(crypto_sha512_ctx *ctx)
    197 {
    198 	ctx->hash[0] = 0x6a09e667f3bcc908;
    199 	ctx->hash[1] = 0xbb67ae8584caa73b;
    200 	ctx->hash[2] = 0x3c6ef372fe94f82b;
    201 	ctx->hash[3] = 0xa54ff53a5f1d36f1;
    202 	ctx->hash[4] = 0x510e527fade682d1;
    203 	ctx->hash[5] = 0x9b05688c2b3e6c1f;
    204 	ctx->hash[6] = 0x1f83d9abfb41bd6b;
    205 	ctx->hash[7] = 0x5be0cd19137e2179;
    206 	ctx->input_size[0] = 0;
    207 	ctx->input_size[1] = 0;
    208 	ctx->input_idx = 0;
    209 	ZERO(ctx->input, 16);
    210 }
    211 
    212 void crypto_sha512_update(crypto_sha512_ctx *ctx,
    213                           const u8 *message, size_t message_size)
    214 {
    215 	// Avoid undefined NULL pointer increments with empty messages
    216 	if (message_size == 0) {
    217 		return;
    218 	}
    219 
    220 	// Align ourselves with word boundaries
    221 	if ((ctx->input_idx & 7) != 0) {
    222 		size_t nb_bytes = MIN(align(ctx->input_idx, 8), message_size);
    223 		FOR (i, 0, nb_bytes) {
    224 			sha512_set_input(ctx, message[i]);
    225 			ctx->input_idx++;
    226 		}
    227 		message      += nb_bytes;
    228 		message_size -= nb_bytes;
    229 	}
    230 
    231 	// Align ourselves with block boundaries
    232 	if ((ctx->input_idx & 127) != 0) {
    233 		size_t nb_words = MIN(align(ctx->input_idx, 128), message_size) >> 3;
    234 		load64_be_buf(ctx->input + (ctx->input_idx >> 3), message, nb_words);
    235 		ctx->input_idx += nb_words << 3;
    236 		message        += nb_words << 3;
    237 		message_size   -= nb_words << 3;
    238 	}
    239 
    240 	// Compress block if needed
    241 	if (ctx->input_idx == 128) {
    242 		sha512_incr(ctx->input_size, 1024); // size is in bits
    243 		sha512_compress(ctx);
    244 		ctx->input_idx = 0;
    245 		ZERO(ctx->input, 16);
    246 	}
    247 
    248 	// Process the message block by block
    249 	FOR (i, 0, message_size >> 7) { // number of blocks
    250 		load64_be_buf(ctx->input, message, 16);
    251 		sha512_incr(ctx->input_size, 1024); // size is in bits
    252 		sha512_compress(ctx);
    253 		ctx->input_idx = 0;
    254 		ZERO(ctx->input, 16);
    255 		message += 128;
    256 	}
    257 	message_size &= 127;
    258 
    259 	if (message_size != 0) {
    260 		// Remaining words
    261 		size_t nb_words = message_size >> 3;
    262 		load64_be_buf(ctx->input, message, nb_words);
    263 		ctx->input_idx += nb_words << 3;
    264 		message        += nb_words << 3;
    265 		message_size   -= nb_words << 3;
    266 
    267 		// Remaining bytes
    268 		FOR (i, 0, message_size) {
    269 			sha512_set_input(ctx, message[i]);
    270 			ctx->input_idx++;
    271 		}
    272 	}
    273 }
    274 
    275 void crypto_sha512_final(crypto_sha512_ctx *ctx, u8 hash[64])
    276 {
    277 	// Add padding bit
    278 	if (ctx->input_idx == 0) {
    279 		ZERO(ctx->input, 16);
    280 	}
    281 	sha512_set_input(ctx, 128);
    282 
    283 	// Update size
    284 	sha512_incr(ctx->input_size, ctx->input_idx * 8);
    285 
    286 	// Compress penultimate block (if any)
    287 	if (ctx->input_idx > 111) {
    288 		sha512_compress(ctx);
    289 		ZERO(ctx->input, 14);
    290 	}
    291 	// Compress last block
    292 	ctx->input[14] = ctx->input_size[0];
    293 	ctx->input[15] = ctx->input_size[1];
    294 	sha512_compress(ctx);
    295 
    296 	// Copy hash to output (big endian)
    297 	FOR (i, 0, 8) {
    298 		store64_be(hash + i*8, ctx->hash[i]);
    299 	}
    300 
    301 	WIPE_CTX(ctx);
    302 }
    303 
    304 void crypto_sha512(u8 hash[64], const u8 *message, size_t message_size)
    305 {
    306 	crypto_sha512_ctx ctx;
    307 	crypto_sha512_init  (&ctx);
    308 	crypto_sha512_update(&ctx, message, message_size);
    309 	crypto_sha512_final (&ctx, hash);
    310 }
    311 
    312 ////////////////////
    313 /// HMAC SHA 512 ///
    314 ////////////////////
    315 void crypto_sha512_hmac_init(crypto_sha512_hmac_ctx *ctx,
    316                              const u8 *key, size_t key_size)
    317 {
    318 	// hash key if it is too long
    319 	if (key_size > 128) {
    320 		crypto_sha512(ctx->key, key, key_size);
    321 		key      = ctx->key;
    322 		key_size = 64;
    323 	}
    324 	// Compute inner key: padded key XOR 0x36
    325 	FOR (i, 0, key_size)   { ctx->key[i] = key[i] ^ 0x36; }
    326 	FOR (i, key_size, 128) { ctx->key[i] =          0x36; }
    327 	// Start computing inner hash
    328 	crypto_sha512_init  (&ctx->ctx);
    329 	crypto_sha512_update(&ctx->ctx, ctx->key, 128);
    330 }
    331 
    332 void crypto_sha512_hmac_update(crypto_sha512_hmac_ctx *ctx,
    333                                const u8 *message, size_t message_size)
    334 {
    335 	crypto_sha512_update(&ctx->ctx, message, message_size);
    336 }
    337 
    338 void crypto_sha512_hmac_final(crypto_sha512_hmac_ctx *ctx, u8 hmac[64])
    339 {
    340 	// Finish computing inner hash
    341 	crypto_sha512_final(&ctx->ctx, hmac);
    342 	// Compute outer key: padded key XOR 0x5c
    343 	FOR (i, 0, 128) {
    344 		ctx->key[i] ^= 0x36 ^ 0x5c;
    345 	}
    346 	// Compute outer hash
    347 	crypto_sha512_init  (&ctx->ctx);
    348 	crypto_sha512_update(&ctx->ctx, ctx->key , 128);
    349 	crypto_sha512_update(&ctx->ctx, hmac, 64);
    350 	crypto_sha512_final (&ctx->ctx, hmac); // outer hash
    351 	WIPE_CTX(ctx);
    352 }
    353 
    354 void crypto_sha512_hmac(u8 hmac[64], const u8 *key, size_t key_size,
    355                         const u8 *message, size_t message_size)
    356 {
    357 	crypto_sha512_hmac_ctx ctx;
    358 	crypto_sha512_hmac_init  (&ctx, key, key_size);
    359 	crypto_sha512_hmac_update(&ctx, message, message_size);
    360 	crypto_sha512_hmac_final (&ctx, hmac);
    361 }
    362 
    363 ////////////////////
    364 /// HKDF SHA 512 ///
    365 ////////////////////
    366 void crypto_sha512_hkdf_expand(u8       *okm,  size_t okm_size,
    367                                const u8 *prk,  size_t prk_size,
    368                                const u8 *info, size_t info_size)
    369 {
    370 	int not_first = 0;
    371 	u8 ctr = 1;
    372 	u8 blk[64];
    373 
    374 	while (okm_size > 0) {
    375 		size_t out_size = MIN(okm_size, sizeof(blk));
    376 
    377 		crypto_sha512_hmac_ctx ctx;
    378 		crypto_sha512_hmac_init(&ctx, prk , prk_size);
    379 		if (not_first) {
    380 			// For some reason HKDF uses some kind of CBC mode.
    381 			// For some reason CTR mode alone wasn't enough.
    382 			// Like what, they didn't trust HMAC in 2010?  Really??
    383 			crypto_sha512_hmac_update(&ctx, blk , sizeof(blk));
    384 		}
    385 		crypto_sha512_hmac_update(&ctx, info, info_size);
    386 		crypto_sha512_hmac_update(&ctx, &ctr, 1);
    387 		crypto_sha512_hmac_final(&ctx, blk);
    388 
    389 		COPY(okm, blk, out_size);
    390 
    391 		not_first = 1;
    392 		okm      += out_size;
    393 		okm_size -= out_size;
    394 		ctr++;
    395 	}
    396 }
    397 
    398 void crypto_sha512_hkdf(u8       *okm , size_t okm_size,
    399                         const u8 *ikm , size_t ikm_size,
    400                         const u8 *salt, size_t salt_size,
    401                         const u8 *info, size_t info_size)
    402 {
    403 	// Extract
    404 	u8 prk[64];
    405 	crypto_sha512_hmac(prk, salt, salt_size, ikm, ikm_size);
    406 
    407 	// Expand
    408 	crypto_sha512_hkdf_expand(okm, okm_size, prk, sizeof(prk), info, info_size);
    409 }
    410 
    411 ///////////////
    412 /// Ed25519 ///
    413 ///////////////
    414 void crypto_ed25519_key_pair(u8 secret_key[64], u8 public_key[32], u8 seed[32])
    415 {
    416 	u8 a[64];
    417 	COPY(a, seed, 32);                      // a[ 0..31]  = seed
    418 	crypto_wipe(seed, 32);
    419 	COPY(secret_key, a, 32);                // secret key = seed
    420 	crypto_sha512(a, a, 32);                // a[ 0..31]  = scalar
    421 	crypto_eddsa_trim_scalar(a, a);         // a[ 0..31]  = trimmed scalar
    422 	crypto_eddsa_scalarbase(public_key, a); // public key = [trimmed scalar]B
    423 	COPY(secret_key + 32, public_key, 32);  // secret key includes public half
    424 	WIPE_BUFFER(a);
    425 }
    426 
    427 static void hash_reduce(u8 h[32],
    428                         const u8 *a, size_t a_size,
    429                         const u8 *b, size_t b_size,
    430                         const u8 *c, size_t c_size,
    431                         const u8 *d, size_t d_size)
    432 {
    433 	u8 hash[64];
    434 	crypto_sha512_ctx ctx;
    435 	crypto_sha512_init  (&ctx);
    436 	crypto_sha512_update(&ctx, a, a_size);
    437 	crypto_sha512_update(&ctx, b, b_size);
    438 	crypto_sha512_update(&ctx, c, c_size);
    439 	crypto_sha512_update(&ctx, d, d_size);
    440 	crypto_sha512_final (&ctx, hash);
    441 	crypto_eddsa_reduce(h, hash);
    442 }
    443 
    444 static void ed25519_dom_sign(u8 signature [64], const u8 secret_key[32],
    445                              const u8 *dom,     size_t dom_size,
    446                              const u8 *message, size_t message_size)
    447 {
    448 	u8 a[64];  // secret scalar and prefix
    449 	u8 r[32];  // secret deterministic "random" nonce
    450 	u8 h[32];  // publically verifiable hash of the message (not wiped)
    451 	u8 R[32];  // first half of the signature (allows overlapping inputs)
    452 	const u8 *pk = secret_key + 32;
    453 
    454 	crypto_sha512(a, secret_key, 32);
    455 	crypto_eddsa_trim_scalar(a, a);
    456 	hash_reduce(r, dom, dom_size, a + 32, 32, message, message_size, 0, 0);
    457 	crypto_eddsa_scalarbase(R, r);
    458 	hash_reduce(h, dom, dom_size, R, 32, pk, 32, message, message_size);
    459 	COPY(signature, R, 32);
    460 	crypto_eddsa_mul_add(signature + 32, h, a, r);
    461 
    462 	WIPE_BUFFER(a);
    463 	WIPE_BUFFER(r);
    464 }
    465 
    466 void crypto_ed25519_sign(u8 signature [64], const u8 secret_key[64],
    467                          const u8 *message, size_t message_size)
    468 {
    469 	ed25519_dom_sign(signature, secret_key, 0, 0, message, message_size);
    470 }
    471 
    472 int crypto_ed25519_check(const u8 signature[64], const u8 public_key[32],
    473                          const u8 *msg, size_t msg_size)
    474 {
    475 	u8 h_ram[32];
    476 	hash_reduce(h_ram, signature, 32, public_key, 32, msg, msg_size, 0, 0);
    477 	return crypto_eddsa_check_equation(signature, public_key, h_ram);
    478 }
    479 
    480 static const u8 domain[34] = "SigEd25519 no Ed25519 collisions\1";
    481 
    482 void crypto_ed25519_ph_sign(uint8_t signature[64], const uint8_t secret_key[64],
    483                             const uint8_t message_hash[64])
    484 {
    485 	ed25519_dom_sign(signature, secret_key, domain, sizeof(domain),
    486 	                 message_hash, 64);
    487 }
    488 
    489 int crypto_ed25519_ph_check(const uint8_t sig[64], const uint8_t pk[32],
    490                             const uint8_t msg_hash[64])
    491 {
    492 	u8 h_ram[32];
    493 	hash_reduce(h_ram, domain, sizeof(domain), sig, 32, pk, 32, msg_hash, 64);
    494 	return crypto_eddsa_check_equation(sig, pk, h_ram);
    495 }
    496 
    497 
    498 #ifdef MONOCYPHER_CPP_NAMESPACE
    499 }
    500 #endif