Searched refs:idx_bytes_32 (Results 1 – 1 of 1) sorted by relevance
| /openbsd/usr.bin/ssh/ |
| H A D | xmss_fast.c | 563 unsigned char idx_bytes_32[32]; in xmss_sign() local
564 to_byte(idx_bytes_32, idx, 32); in xmss_sign()
588 prf(R, idx_bytes_32, sk_prf, n); in xmss_sign()
806 unsigned char idx_bytes_32[32]; in xmssmt_sign() local
833 to_byte(idx_bytes_32, idx, 32); in xmssmt_sign()
834 prf(R, idx_bytes_32, sk_prf, n); in xmssmt_sign()
|