Path: blob/main/contrib/bearssl/src/hash/sha2small.c
39536 views
/*1* Copyright (c) 2016 Thomas Pornin <[email protected]>2*3* Permission is hereby granted, free of charge, to any person obtaining4* a copy of this software and associated documentation files (the5* "Software"), to deal in the Software without restriction, including6* without limitation the rights to use, copy, modify, merge, publish,7* distribute, sublicense, and/or sell copies of the Software, and to8* permit persons to whom the Software is furnished to do so, subject to9* the following conditions:10*11* The above copyright notice and this permission notice shall be12* included in all copies or substantial portions of the Software.13*14* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,15* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF16* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND17* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS18* BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN19* ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN20* CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE21* SOFTWARE.22*/2324#include "inner.h"2526#define CH(X, Y, Z) ((((Y) ^ (Z)) & (X)) ^ (Z))27#define MAJ(X, Y, Z) (((Y) & (Z)) | (((Y) | (Z)) & (X)))2829#define ROTR(x, n) (((uint32_t)(x) << (32 - (n))) | ((uint32_t)(x) >> (n)))3031#define BSG2_0(x) (ROTR(x, 2) ^ ROTR(x, 13) ^ ROTR(x, 22))32#define BSG2_1(x) (ROTR(x, 6) ^ ROTR(x, 11) ^ ROTR(x, 25))33#define SSG2_0(x) (ROTR(x, 7) ^ ROTR(x, 18) ^ (uint32_t)((x) >> 3))34#define SSG2_1(x) (ROTR(x, 17) ^ ROTR(x, 19) ^ (uint32_t)((x) >> 10))3536/* see inner.h */37const uint32_t br_sha224_IV[8] = {380xC1059ED8, 0x367CD507, 0x3070DD17, 0xF70E5939,390xFFC00B31, 0x68581511, 0x64F98FA7, 0xBEFA4FA440};4142/* see inner.h */43const uint32_t br_sha256_IV[8] = {440x6A09E667, 0xBB67AE85, 0x3C6EF372, 0xA54FF53A,450x510E527F, 0x9B05688C, 0x1F83D9AB, 0x5BE0CD1946};4748static const uint32_t K[64] = {490x428A2F98, 0x71374491, 0xB5C0FBCF, 0xE9B5DBA5,500x3956C25B, 0x59F111F1, 0x923F82A4, 0xAB1C5ED5,510xD807AA98, 0x12835B01, 0x243185BE, 0x550C7DC3,520x72BE5D74, 0x80DEB1FE, 0x9BDC06A7, 0xC19BF174,530xE49B69C1, 0xEFBE4786, 0x0FC19DC6, 0x240CA1CC,540x2DE92C6F, 0x4A7484AA, 0x5CB0A9DC, 0x76F988DA,550x983E5152, 0xA831C66D, 0xB00327C8, 0xBF597FC7,560xC6E00BF3, 0xD5A79147, 0x06CA6351, 0x14292967,570x27B70A85, 0x2E1B2138, 0x4D2C6DFC, 0x53380D13,580x650A7354, 0x766A0ABB, 0x81C2C92E, 0x92722C85,590xA2BFE8A1, 0xA81A664B, 0xC24B8B70, 0xC76C51A3,600xD192E819, 0xD6990624, 0xF40E3585, 0x106AA070,610x19A4C116, 0x1E376C08, 0x2748774C, 0x34B0BCB5,620x391C0CB3, 0x4ED8AA4A, 0x5B9CCA4F, 0x682E6FF3,630x748F82EE, 0x78A5636F, 0x84C87814, 0x8CC70208,640x90BEFFFA, 0xA4506CEB, 0xBEF9A3F7, 0xC67178F265};6667/* see inner.h */68void69br_sha2small_round(const unsigned char *buf, uint32_t *val)70{7172#define SHA2_STEP(A, B, C, D, E, F, G, H, j) do { \73uint32_t T1, T2; \74T1 = H + BSG2_1(E) + CH(E, F, G) + K[j] + w[j]; \75T2 = BSG2_0(A) + MAJ(A, B, C); \76D += T1; \77H = T1 + T2; \78} while (0)7980int i;81uint32_t a, b, c, d, e, f, g, h;82uint32_t w[64];8384br_range_dec32be(w, 16, buf);85for (i = 16; i < 64; i ++) {86w[i] = SSG2_1(w[i - 2]) + w[i - 7]87+ SSG2_0(w[i - 15]) + w[i - 16];88}89a = val[0];90b = val[1];91c = val[2];92d = val[3];93e = val[4];94f = val[5];95g = val[6];96h = val[7];97for (i = 0; i < 64; i += 8) {98SHA2_STEP(a, b, c, d, e, f, g, h, i + 0);99SHA2_STEP(h, a, b, c, d, e, f, g, i + 1);100SHA2_STEP(g, h, a, b, c, d, e, f, i + 2);101SHA2_STEP(f, g, h, a, b, c, d, e, i + 3);102SHA2_STEP(e, f, g, h, a, b, c, d, i + 4);103SHA2_STEP(d, e, f, g, h, a, b, c, i + 5);104SHA2_STEP(c, d, e, f, g, h, a, b, i + 6);105SHA2_STEP(b, c, d, e, f, g, h, a, i + 7);106}107val[0] += a;108val[1] += b;109val[2] += c;110val[3] += d;111val[4] += e;112val[5] += f;113val[6] += g;114val[7] += h;115116#if 0117/* obsolete */118#define SHA2_MEXP1(pc) do { \119W[pc] = br_dec32be(buf + ((pc) << 2)); \120} while (0)121122#define SHA2_MEXP2(pc) do { \123W[(pc) & 0x0F] = SSG2_1(W[((pc) - 2) & 0x0F]) \124+ W[((pc) - 7) & 0x0F] \125+ SSG2_0(W[((pc) - 15) & 0x0F]) + W[(pc) & 0x0F]; \126} while (0)127128#define SHA2_STEPn(n, a, b, c, d, e, f, g, h, pc) do { \129uint32_t t1, t2; \130SHA2_MEXP ## n(pc); \131t1 = h + BSG2_1(e) + CH(e, f, g) \132+ K[pcount + (pc)] + W[(pc) & 0x0F]; \133t2 = BSG2_0(a) + MAJ(a, b, c); \134d += t1; \135h = t1 + t2; \136} while (0)137138#define SHA2_STEP1(a, b, c, d, e, f, g, h, pc) \139SHA2_STEPn(1, a, b, c, d, e, f, g, h, pc)140#define SHA2_STEP2(a, b, c, d, e, f, g, h, pc) \141SHA2_STEPn(2, a, b, c, d, e, f, g, h, pc)142143uint32_t A, B, C, D, E, F, G, H;144uint32_t W[16];145unsigned pcount;146147A = val[0];148B = val[1];149C = val[2];150D = val[3];151E = val[4];152F = val[5];153G = val[6];154H = val[7];155pcount = 0;156SHA2_STEP1(A, B, C, D, E, F, G, H, 0);157SHA2_STEP1(H, A, B, C, D, E, F, G, 1);158SHA2_STEP1(G, H, A, B, C, D, E, F, 2);159SHA2_STEP1(F, G, H, A, B, C, D, E, 3);160SHA2_STEP1(E, F, G, H, A, B, C, D, 4);161SHA2_STEP1(D, E, F, G, H, A, B, C, 5);162SHA2_STEP1(C, D, E, F, G, H, A, B, 6);163SHA2_STEP1(B, C, D, E, F, G, H, A, 7);164SHA2_STEP1(A, B, C, D, E, F, G, H, 8);165SHA2_STEP1(H, A, B, C, D, E, F, G, 9);166SHA2_STEP1(G, H, A, B, C, D, E, F, 10);167SHA2_STEP1(F, G, H, A, B, C, D, E, 11);168SHA2_STEP1(E, F, G, H, A, B, C, D, 12);169SHA2_STEP1(D, E, F, G, H, A, B, C, 13);170SHA2_STEP1(C, D, E, F, G, H, A, B, 14);171SHA2_STEP1(B, C, D, E, F, G, H, A, 15);172for (pcount = 16; pcount < 64; pcount += 16) {173SHA2_STEP2(A, B, C, D, E, F, G, H, 0);174SHA2_STEP2(H, A, B, C, D, E, F, G, 1);175SHA2_STEP2(G, H, A, B, C, D, E, F, 2);176SHA2_STEP2(F, G, H, A, B, C, D, E, 3);177SHA2_STEP2(E, F, G, H, A, B, C, D, 4);178SHA2_STEP2(D, E, F, G, H, A, B, C, 5);179SHA2_STEP2(C, D, E, F, G, H, A, B, 6);180SHA2_STEP2(B, C, D, E, F, G, H, A, 7);181SHA2_STEP2(A, B, C, D, E, F, G, H, 8);182SHA2_STEP2(H, A, B, C, D, E, F, G, 9);183SHA2_STEP2(G, H, A, B, C, D, E, F, 10);184SHA2_STEP2(F, G, H, A, B, C, D, E, 11);185SHA2_STEP2(E, F, G, H, A, B, C, D, 12);186SHA2_STEP2(D, E, F, G, H, A, B, C, 13);187SHA2_STEP2(C, D, E, F, G, H, A, B, 14);188SHA2_STEP2(B, C, D, E, F, G, H, A, 15);189}190val[0] += A;191val[1] += B;192val[2] += C;193val[3] += D;194val[4] += E;195val[5] += F;196val[6] += G;197val[7] += H;198#endif199}200201static void202sha2small_update(br_sha224_context *cc, const void *data, size_t len)203{204const unsigned char *buf;205size_t ptr;206207buf = data;208ptr = (size_t)cc->count & 63;209cc->count += (uint64_t)len;210while (len > 0) {211size_t clen;212213clen = 64 - ptr;214if (clen > len) {215clen = len;216}217memcpy(cc->buf + ptr, buf, clen);218ptr += clen;219buf += clen;220len -= clen;221if (ptr == 64) {222br_sha2small_round(cc->buf, cc->val);223ptr = 0;224}225}226}227228static void229sha2small_out(const br_sha224_context *cc, void *dst, int num)230{231unsigned char buf[64];232uint32_t val[8];233size_t ptr;234235ptr = (size_t)cc->count & 63;236memcpy(buf, cc->buf, ptr);237memcpy(val, cc->val, sizeof val);238buf[ptr ++] = 0x80;239if (ptr > 56) {240memset(buf + ptr, 0, 64 - ptr);241br_sha2small_round(buf, val);242memset(buf, 0, 56);243} else {244memset(buf + ptr, 0, 56 - ptr);245}246br_enc64be(buf + 56, cc->count << 3);247br_sha2small_round(buf, val);248br_range_enc32be(dst, val, num);249}250251/* see bearssl.h */252void253br_sha224_init(br_sha224_context *cc)254{255cc->vtable = &br_sha224_vtable;256memcpy(cc->val, br_sha224_IV, sizeof cc->val);257cc->count = 0;258}259260/* see bearssl.h */261void262br_sha224_update(br_sha224_context *cc, const void *data, size_t len)263{264sha2small_update(cc, data, len);265}266267/* see bearssl.h */268void269br_sha224_out(const br_sha224_context *cc, void *dst)270{271sha2small_out(cc, dst, 7);272}273274/* see bearssl.h */275uint64_t276br_sha224_state(const br_sha224_context *cc, void *dst)277{278br_range_enc32be(dst, cc->val, 8);279return cc->count;280}281282/* see bearssl.h */283void284br_sha224_set_state(br_sha224_context *cc, const void *stb, uint64_t count)285{286br_range_dec32be(cc->val, 8, stb);287cc->count = count;288}289290/* see bearssl.h */291void292br_sha256_init(br_sha256_context *cc)293{294cc->vtable = &br_sha256_vtable;295memcpy(cc->val, br_sha256_IV, sizeof cc->val);296cc->count = 0;297}298299/* see bearssl.h */300void301br_sha256_out(const br_sha256_context *cc, void *dst)302{303sha2small_out(cc, dst, 8);304}305306/* see bearssl.h */307const br_hash_class br_sha224_vtable = {308sizeof(br_sha224_context),309BR_HASHDESC_ID(br_sha224_ID)310| BR_HASHDESC_OUT(28)311| BR_HASHDESC_STATE(32)312| BR_HASHDESC_LBLEN(6)313| BR_HASHDESC_MD_PADDING314| BR_HASHDESC_MD_PADDING_BE,315(void (*)(const br_hash_class **))&br_sha224_init,316(void (*)(const br_hash_class **,317const void *, size_t))&br_sha224_update,318(void (*)(const br_hash_class *const *, void *))&br_sha224_out,319(uint64_t (*)(const br_hash_class *const *, void *))&br_sha224_state,320(void (*)(const br_hash_class **, const void *, uint64_t))321&br_sha224_set_state322};323324/* see bearssl.h */325const br_hash_class br_sha256_vtable = {326sizeof(br_sha256_context),327BR_HASHDESC_ID(br_sha256_ID)328| BR_HASHDESC_OUT(32)329| BR_HASHDESC_STATE(32)330| BR_HASHDESC_LBLEN(6)331| BR_HASHDESC_MD_PADDING332| BR_HASHDESC_MD_PADDING_BE,333(void (*)(const br_hash_class **))&br_sha256_init,334(void (*)(const br_hash_class **,335const void *, size_t))&br_sha256_update,336(void (*)(const br_hash_class *const *, void *))&br_sha256_out,337(uint64_t (*)(const br_hash_class *const *, void *))&br_sha256_state,338(void (*)(const br_hash_class **, const void *, uint64_t))339&br_sha256_set_state340};341342343