xref: /aosp_15_r20/external/boringssl/src/crypto/spx/merkle.c (revision 8fb009dc861624b67b6cdb62ea21f0f22d0c584b)
1*8fb009dcSAndroid Build Coastguard Worker /* Copyright (c) 2023, Google LLC
2*8fb009dcSAndroid Build Coastguard Worker  *
3*8fb009dcSAndroid Build Coastguard Worker  * Permission to use, copy, modify, and/or distribute this software for any
4*8fb009dcSAndroid Build Coastguard Worker  * purpose with or without fee is hereby granted, provided that the above
5*8fb009dcSAndroid Build Coastguard Worker  * copyright notice and this permission notice appear in all copies.
6*8fb009dcSAndroid Build Coastguard Worker  *
7*8fb009dcSAndroid Build Coastguard Worker  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8*8fb009dcSAndroid Build Coastguard Worker  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9*8fb009dcSAndroid Build Coastguard Worker  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10*8fb009dcSAndroid Build Coastguard Worker  * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11*8fb009dcSAndroid Build Coastguard Worker  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12*8fb009dcSAndroid Build Coastguard Worker  * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13*8fb009dcSAndroid Build Coastguard Worker  * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14*8fb009dcSAndroid Build Coastguard Worker 
15*8fb009dcSAndroid Build Coastguard Worker #include <openssl/base.h>
16*8fb009dcSAndroid Build Coastguard Worker 
17*8fb009dcSAndroid Build Coastguard Worker #include <string.h>
18*8fb009dcSAndroid Build Coastguard Worker 
19*8fb009dcSAndroid Build Coastguard Worker #include "./address.h"
20*8fb009dcSAndroid Build Coastguard Worker #include "./merkle.h"
21*8fb009dcSAndroid Build Coastguard Worker #include "./params.h"
22*8fb009dcSAndroid Build Coastguard Worker #include "./thash.h"
23*8fb009dcSAndroid Build Coastguard Worker #include "./wots.h"
24*8fb009dcSAndroid Build Coastguard Worker 
spx_treehash(uint8_t out_pk[SPX_N],const uint8_t sk_seed[SPX_N],uint32_t i,uint32_t z,const uint8_t pk_seed[SPX_N],uint8_t addr[32])25*8fb009dcSAndroid Build Coastguard Worker void spx_treehash(uint8_t out_pk[SPX_N], const uint8_t sk_seed[SPX_N],
26*8fb009dcSAndroid Build Coastguard Worker                   uint32_t i /*target node index*/,
27*8fb009dcSAndroid Build Coastguard Worker                   uint32_t z /*target node height*/,
28*8fb009dcSAndroid Build Coastguard Worker                   const uint8_t pk_seed[SPX_N], uint8_t addr[32]) {
29*8fb009dcSAndroid Build Coastguard Worker   BSSL_CHECK(z <= SPX_TREE_HEIGHT);
30*8fb009dcSAndroid Build Coastguard Worker   BSSL_CHECK(i < (uint32_t)(1 << (SPX_TREE_HEIGHT - z)));
31*8fb009dcSAndroid Build Coastguard Worker 
32*8fb009dcSAndroid Build Coastguard Worker   if (z == 0) {
33*8fb009dcSAndroid Build Coastguard Worker     spx_set_type(addr, SPX_ADDR_TYPE_WOTS);
34*8fb009dcSAndroid Build Coastguard Worker     spx_set_keypair_addr(addr, i);
35*8fb009dcSAndroid Build Coastguard Worker     spx_wots_pk_gen(out_pk, sk_seed, pk_seed, addr);
36*8fb009dcSAndroid Build Coastguard Worker   } else {
37*8fb009dcSAndroid Build Coastguard Worker     // Stores left node and right node.
38*8fb009dcSAndroid Build Coastguard Worker     uint8_t nodes[2 * SPX_N];
39*8fb009dcSAndroid Build Coastguard Worker     spx_treehash(nodes, sk_seed, 2 * i, z - 1, pk_seed, addr);
40*8fb009dcSAndroid Build Coastguard Worker     spx_treehash(nodes + SPX_N, sk_seed, 2 * i + 1, z - 1, pk_seed, addr);
41*8fb009dcSAndroid Build Coastguard Worker     spx_set_type(addr, SPX_ADDR_TYPE_HASHTREE);
42*8fb009dcSAndroid Build Coastguard Worker     spx_set_tree_height(addr, z);
43*8fb009dcSAndroid Build Coastguard Worker     spx_set_tree_index(addr, i);
44*8fb009dcSAndroid Build Coastguard Worker     spx_thash_h(out_pk, nodes, pk_seed, addr);
45*8fb009dcSAndroid Build Coastguard Worker   }
46*8fb009dcSAndroid Build Coastguard Worker }
47*8fb009dcSAndroid Build Coastguard Worker 
spx_xmss_sign(uint8_t * sig,const uint8_t msg[SPX_N],unsigned int idx,const uint8_t sk_seed[SPX_N],const uint8_t pk_seed[SPX_N],uint8_t addr[32])48*8fb009dcSAndroid Build Coastguard Worker void spx_xmss_sign(uint8_t *sig, const uint8_t msg[SPX_N], unsigned int idx,
49*8fb009dcSAndroid Build Coastguard Worker                    const uint8_t sk_seed[SPX_N], const uint8_t pk_seed[SPX_N],
50*8fb009dcSAndroid Build Coastguard Worker                    uint8_t addr[32]) {
51*8fb009dcSAndroid Build Coastguard Worker   // Build authentication path
52*8fb009dcSAndroid Build Coastguard Worker   for (size_t j = 0; j < SPX_TREE_HEIGHT; ++j) {
53*8fb009dcSAndroid Build Coastguard Worker     unsigned int k = (idx >> j) ^ 1;
54*8fb009dcSAndroid Build Coastguard Worker     spx_treehash(sig + SPX_WOTS_BYTES + j * SPX_N, sk_seed, k, j, pk_seed,
55*8fb009dcSAndroid Build Coastguard Worker                  addr);
56*8fb009dcSAndroid Build Coastguard Worker   }
57*8fb009dcSAndroid Build Coastguard Worker 
58*8fb009dcSAndroid Build Coastguard Worker   // Compute WOTS+ signature
59*8fb009dcSAndroid Build Coastguard Worker   spx_set_type(addr, SPX_ADDR_TYPE_WOTS);
60*8fb009dcSAndroid Build Coastguard Worker   spx_set_keypair_addr(addr, idx);
61*8fb009dcSAndroid Build Coastguard Worker   spx_wots_sign(sig, msg, sk_seed, pk_seed, addr);
62*8fb009dcSAndroid Build Coastguard Worker }
63*8fb009dcSAndroid Build Coastguard Worker 
spx_xmss_pk_from_sig(uint8_t * root,const uint8_t * xmss_sig,unsigned int idx,const uint8_t msg[SPX_N],const uint8_t pk_seed[SPX_N],uint8_t addr[32])64*8fb009dcSAndroid Build Coastguard Worker void spx_xmss_pk_from_sig(uint8_t *root, const uint8_t *xmss_sig,
65*8fb009dcSAndroid Build Coastguard Worker                           unsigned int idx, const uint8_t msg[SPX_N],
66*8fb009dcSAndroid Build Coastguard Worker                           const uint8_t pk_seed[SPX_N], uint8_t addr[32]) {
67*8fb009dcSAndroid Build Coastguard Worker   // Stores node[0] and node[1] from Algorithm 10
68*8fb009dcSAndroid Build Coastguard Worker   uint8_t node[2 * SPX_N];
69*8fb009dcSAndroid Build Coastguard Worker   uint8_t tmp[2 * SPX_N];
70*8fb009dcSAndroid Build Coastguard Worker   spx_set_type(addr, SPX_ADDR_TYPE_WOTS);
71*8fb009dcSAndroid Build Coastguard Worker   spx_set_keypair_addr(addr, idx);
72*8fb009dcSAndroid Build Coastguard Worker   spx_wots_pk_from_sig(node, xmss_sig, msg, pk_seed, addr);
73*8fb009dcSAndroid Build Coastguard Worker 
74*8fb009dcSAndroid Build Coastguard Worker   const uint8_t *auth = xmss_sig + SPX_WOTS_BYTES;
75*8fb009dcSAndroid Build Coastguard Worker 
76*8fb009dcSAndroid Build Coastguard Worker   spx_set_type(addr, SPX_ADDR_TYPE_HASHTREE);
77*8fb009dcSAndroid Build Coastguard Worker   spx_set_tree_index(addr, idx);
78*8fb009dcSAndroid Build Coastguard Worker   for (size_t k = 0; k < SPX_TREE_HEIGHT; ++k) {
79*8fb009dcSAndroid Build Coastguard Worker     spx_set_tree_height(addr, k + 1);
80*8fb009dcSAndroid Build Coastguard Worker     // Is even
81*8fb009dcSAndroid Build Coastguard Worker     if (((idx >> k) & 1) == 0) {
82*8fb009dcSAndroid Build Coastguard Worker       spx_set_tree_index(addr, spx_get_tree_index(addr) >> 1);
83*8fb009dcSAndroid Build Coastguard Worker       memcpy(tmp, node, SPX_N);
84*8fb009dcSAndroid Build Coastguard Worker       memcpy(tmp + SPX_N, auth + k * SPX_N, SPX_N);
85*8fb009dcSAndroid Build Coastguard Worker       spx_thash_h(node + SPX_N, tmp, pk_seed, addr);
86*8fb009dcSAndroid Build Coastguard Worker     } else {
87*8fb009dcSAndroid Build Coastguard Worker       spx_set_tree_index(addr, (spx_get_tree_index(addr) - 1) >> 1);
88*8fb009dcSAndroid Build Coastguard Worker       memcpy(tmp, auth + k * SPX_N, SPX_N);
89*8fb009dcSAndroid Build Coastguard Worker       memcpy(tmp + SPX_N, node, SPX_N);
90*8fb009dcSAndroid Build Coastguard Worker       spx_thash_h(node + SPX_N, tmp, pk_seed, addr);
91*8fb009dcSAndroid Build Coastguard Worker     }
92*8fb009dcSAndroid Build Coastguard Worker     memcpy(node, node + SPX_N, SPX_N);
93*8fb009dcSAndroid Build Coastguard Worker   }
94*8fb009dcSAndroid Build Coastguard Worker   memcpy(root, node, SPX_N);
95*8fb009dcSAndroid Build Coastguard Worker }
96*8fb009dcSAndroid Build Coastguard Worker 
spx_ht_sign(uint8_t * sig,const uint8_t message[SPX_N],uint64_t idx_tree,uint32_t idx_leaf,const uint8_t sk_seed[SPX_N],const uint8_t pk_seed[SPX_N])97*8fb009dcSAndroid Build Coastguard Worker void spx_ht_sign(uint8_t *sig, const uint8_t message[SPX_N], uint64_t idx_tree,
98*8fb009dcSAndroid Build Coastguard Worker                  uint32_t idx_leaf, const uint8_t sk_seed[SPX_N],
99*8fb009dcSAndroid Build Coastguard Worker                  const uint8_t pk_seed[SPX_N]) {
100*8fb009dcSAndroid Build Coastguard Worker   uint8_t addr[32] = {0};
101*8fb009dcSAndroid Build Coastguard Worker   spx_set_tree_addr(addr, idx_tree);
102*8fb009dcSAndroid Build Coastguard Worker 
103*8fb009dcSAndroid Build Coastguard Worker   // Layer 0
104*8fb009dcSAndroid Build Coastguard Worker   uint8_t sig_tmp[SPX_XMSS_BYTES];
105*8fb009dcSAndroid Build Coastguard Worker   spx_xmss_sign(sig_tmp, message, idx_leaf, sk_seed, pk_seed, addr);
106*8fb009dcSAndroid Build Coastguard Worker   memcpy(sig, sig_tmp, sizeof(sig_tmp));
107*8fb009dcSAndroid Build Coastguard Worker 
108*8fb009dcSAndroid Build Coastguard Worker   uint8_t root[SPX_N];
109*8fb009dcSAndroid Build Coastguard Worker   spx_xmss_pk_from_sig(root, sig_tmp, idx_leaf, message, pk_seed, addr);
110*8fb009dcSAndroid Build Coastguard Worker 
111*8fb009dcSAndroid Build Coastguard Worker   // All other layers
112*8fb009dcSAndroid Build Coastguard Worker   for (size_t j = 1; j < SPX_D; ++j) {
113*8fb009dcSAndroid Build Coastguard Worker     idx_leaf = idx_tree % (1 << SPX_TREE_HEIGHT);
114*8fb009dcSAndroid Build Coastguard Worker     idx_tree = idx_tree >> SPX_TREE_HEIGHT;
115*8fb009dcSAndroid Build Coastguard Worker     spx_set_layer_addr(addr, j);
116*8fb009dcSAndroid Build Coastguard Worker     spx_set_tree_addr(addr, idx_tree);
117*8fb009dcSAndroid Build Coastguard Worker     spx_xmss_sign(sig_tmp, root, idx_leaf, sk_seed, pk_seed, addr);
118*8fb009dcSAndroid Build Coastguard Worker     memcpy(sig + j * SPX_XMSS_BYTES, sig_tmp, sizeof(sig_tmp));
119*8fb009dcSAndroid Build Coastguard Worker 
120*8fb009dcSAndroid Build Coastguard Worker     if (j < (SPX_D - 1)) {
121*8fb009dcSAndroid Build Coastguard Worker       spx_xmss_pk_from_sig(root, sig_tmp, idx_leaf, root, pk_seed, addr);
122*8fb009dcSAndroid Build Coastguard Worker     }
123*8fb009dcSAndroid Build Coastguard Worker   }
124*8fb009dcSAndroid Build Coastguard Worker }
125*8fb009dcSAndroid Build Coastguard Worker 
spx_ht_verify(const uint8_t sig[SPX_D * SPX_XMSS_BYTES],const uint8_t message[SPX_N],uint64_t idx_tree,uint32_t idx_leaf,const uint8_t pk_root[SPX_N],const uint8_t pk_seed[SPX_N])126*8fb009dcSAndroid Build Coastguard Worker int spx_ht_verify(const uint8_t sig[SPX_D * SPX_XMSS_BYTES],
127*8fb009dcSAndroid Build Coastguard Worker                   const uint8_t message[SPX_N], uint64_t idx_tree,
128*8fb009dcSAndroid Build Coastguard Worker                   uint32_t idx_leaf, const uint8_t pk_root[SPX_N],
129*8fb009dcSAndroid Build Coastguard Worker                   const uint8_t pk_seed[SPX_N]) {
130*8fb009dcSAndroid Build Coastguard Worker   uint8_t addr[32] = {0};
131*8fb009dcSAndroid Build Coastguard Worker   spx_set_tree_addr(addr, idx_tree);
132*8fb009dcSAndroid Build Coastguard Worker 
133*8fb009dcSAndroid Build Coastguard Worker   uint8_t sig_tmp[SPX_XMSS_BYTES];
134*8fb009dcSAndroid Build Coastguard Worker   memcpy(sig_tmp, sig, sizeof(sig_tmp));
135*8fb009dcSAndroid Build Coastguard Worker 
136*8fb009dcSAndroid Build Coastguard Worker   uint8_t node[SPX_N];
137*8fb009dcSAndroid Build Coastguard Worker   spx_xmss_pk_from_sig(node, sig_tmp, idx_leaf, message, pk_seed, addr);
138*8fb009dcSAndroid Build Coastguard Worker 
139*8fb009dcSAndroid Build Coastguard Worker   for (size_t j = 1; j < SPX_D; ++j) {
140*8fb009dcSAndroid Build Coastguard Worker     idx_leaf = idx_tree % (1 << SPX_TREE_HEIGHT);
141*8fb009dcSAndroid Build Coastguard Worker     idx_tree = idx_tree >> SPX_TREE_HEIGHT;
142*8fb009dcSAndroid Build Coastguard Worker     spx_set_layer_addr(addr, j);
143*8fb009dcSAndroid Build Coastguard Worker     spx_set_tree_addr(addr, idx_tree);
144*8fb009dcSAndroid Build Coastguard Worker     // Get jth XMSS signature
145*8fb009dcSAndroid Build Coastguard Worker     memcpy(sig_tmp, sig + j * SPX_XMSS_BYTES, sizeof(sig_tmp));
146*8fb009dcSAndroid Build Coastguard Worker 
147*8fb009dcSAndroid Build Coastguard Worker     spx_xmss_pk_from_sig(node, sig_tmp, idx_leaf, node, pk_seed, addr);
148*8fb009dcSAndroid Build Coastguard Worker   }
149*8fb009dcSAndroid Build Coastguard Worker   return memcmp(node, pk_root, SPX_N) == 0;
150*8fb009dcSAndroid Build Coastguard Worker }
151