Symbol: ML_DSA_87_PUB_LEN