5.5. BLS12-381🔗

opaque

Jar.Crypto.blsVerify (key : BlsPublicKey) (message : ByteArray)
  (sig : BlsSignature) : Bool
Jar.Crypto.blsVerify (key : BlsPublicKey)
  (message : ByteArray)
  (sig : BlsSignature) : Bool

BLS signature verification. GP §3.8.2. Used for Beefy finality commitments. Deliberately left abstract — intended to be axiomatically specified or linked via FFI to a concrete cryptographic implementation.

opaque

Jar.Crypto.blsSign (secretKey message : ByteArray) : BlsSignature
Jar.Crypto.blsSign
  (secretKey message : ByteArray) :
  BlsSignature

BLS signing (requires secret key). GP §3.8.2. Deliberately left abstract — intended to be axiomatically specified or linked via FFI to a concrete cryptographic implementation.