# @file fors_sk_basic.py
# @version 1.1.0 (2025-12-31T07:59Z)
# @author David Ireland <https://di-mgt.com.au/contact>
# @copyright 2023-26 DI Management Services Pty Ltd
# @license Apache-2.0

"""Compute the FORS secret keys for i=[0,1,32] with hardcoded ADRS."""

from slh_sha256 import PRF, SHA256, F

# sk = PRF(PK.seed, SK.seed, ADRS)
#    = SHA-256(PK.seed || toByte(0, 64 − n) || ADRS_c || SK.seed)

SKseed = 'D5213BA4BB6470F1B9EDA88CBC94E627'
PKseed = 'FA495FB834DEFEA7CC96A81309479135'

adrs_c= '007cdcef4b8fdb03b006000000000000000000000032'
sk = PRF(PKseed, SKseed, adrs_c)
print(f"sk[0]={sk}")
# 925bb207d49e62bcb9b1c4685154a8b3

adrs_c = '007cdcef4b8fdb03b00600000000000000000000006f'
sk = PRF(PKseed, SKseed, adrs_c)
print(f"sk[1]={sk}")
# 8b4ed7a791a1b77c561a6e7ae64e4e17

adrs_c = '007cdcef4b8fdb03b00600000000000000000000081c'
sk = PRF(PKseed, SKseed, adrs_c)
print(f"sk[32]={sk}")
# 2b38f096578c9a974ac0ce9a28d92351