Add BLS signature scheme to `DSIGN` interface#587

Open

perturbing wants to merge 21 commits intomasterfrom

perturbing/leios-bls-DSIGN

Commits on Dec 23, 2025

Add FFI for bls signatures, add `Dual` curve abstraction, `PointSize`, `CompressedPointSize` and add `FinalVerifyOrder` class.

perturbing
and
hjeljeli32
committed
Add `BLS12381MinVerKeyDSIGN` and `BLS12381MinSigDSIGN` to the `DSIGN` interface.

perturbing
and
hjeljeli32
committed
extend `DSIGNAlgorithm` with `DSIGNAggregatable` and implement it for BLS signatures
perturbing
committed
Add utility function `HexBS` to `Cardano.Crypto.Util`
perturbing
committed
Change `testDSIGNAlgorithm` to allow for other `ContextDSIGN` than `()`, add tests for bls sigs
perturbing
committed
Add BLS `BLS12381MinVerKeyDSIGN` and `BLS12381MinSigDSIGN` `DSIGN` to benchmarks
perturbing
committed
change bls `verifyDSIGN` to use C FFI interface
perturbing
committed
Add tests and bench for `DSIGNAGgregatable v` and impl for bls `MinSig`/`MinVerKey`
perturbing
committed
add changes to CHANGELOG
perturbing
committed

Commits on Jan 5, 2026

Commits on Jan 8, 2026

Commits on Jan 9, 2026