使用hsblst库时SizedByteArray创建及类型错误排查求助

一、@符号无法使用的原因与解决 #

@是Haskell的**类型应用（TypeApplications）**语法，默认处于关闭状态，必须显式开启扩展才能使用：

• 在源码开头添加编译指示：{-# LANGUAGE TypeApplications #-}
• 如果在GHCi中测试，执行:set -XTypeApplications开启扩展

二、sizedByteArray报错的原因与修复 #

你遇到的No instance for ‘GHC.TypeNats.KnownNat n0’和Cannot satisfy: 32 <= n0错误，核心是GHC无法推断出n的具体值，也无法确认输入字节数组的长度满足32 <= n的约束。

错误根源 #

keygen要求输入的SizedByteArray n ba必须满足三个条件：

1. n是编译期已知的自然数（KnownNat n约束）
2. n >= 32（32 <= n约束）
3. 底层字节数组的实际长度等于n

直接将任意字符串转成ByteString时，长度是运行时确定的，GHC无法在编译期验证上述条件，因此抛出错误。

正确的两种创建方式 #

1. 安全构造：使用sizedByteArray

适用于不确定输入长度，需要显式检查的场景：

{-# LANGUAGE TypeApplications #-}
import Data.ByteArray.Sized (SizedByteArray, sizedByteArray)
import Data.ByteString (ByteString)
import qualified Data.ByteString as BS
import Crypto.BLST (keygen, SecretKey)

-- 构造一个确定32字节的seed（示例）
validSeed :: ByteString
validSeed = BS.pack $ replicate 32 0x01 -- 长度正好32

generateSecretKey :: Maybe SecretKey
generateSecretKey = do
  sizedSeed <- sizedByteArray @32 validSeed -- 显式指定n=32，GHC验证长度匹配
  return $ keygen sizedSeed

如果输入长度不等于32，sizedByteArray会返回Nothing，避免内存不安全问题。

2. 不安全构造：使用unsafeSizedByteArray

适用于你能保证输入字节数组长度正好等于n的场景（比如从固定长度的二进制文件读取）：

{-# LANGUAGE TypeApplications #-}
import Data.ByteArray.Sized (unsafeSizedByteArray)
import Data.ByteString (ByteString)
import qualified Data.ByteString as BS
import Crypto.BLST (keygen, SecretKey)

-- 假设你已确认该ByteString长度为32
trustedSeed :: ByteString
trustedSeed = BS.pack [1..32]

secretKey :: SecretKey
secretKey = keygen $ unsafeSizedByteArray @32 @ByteString trustedSeed

注意：如果实际长度和n不匹配，会导致内存访问错误，务必谨慎使用。

三、关键注意事项 #

• 必须开启TypeApplications扩展才能用@指定n和ba的类型参数
• 永远优先使用sizedByteArray做安全构造，仅在完全信任输入长度时使用unsafeSizedByteArray
• 确保输入的字节数组长度满足n >=32，否则keygen的约束无法通过

内容的提问来源于stack exchange，提问作者Marcos Villagra