Given these bindings and these tests, which follow the BLST rust bindings here, it would be good to add to the cardano-base code rust based test vectors (like we did for bls pairing checks here).
The main question to be answered is if the Haskell implementation is compatible with the Rust side. This can be achieved by adding Rust code to the already existing Rust test vector code in cardano-base.
Note that mithril depends directly on the blst rust bindings and for a description on the singature generation/verification and proof of possessions (PoP), see this issue.
@curiecrypt and @damrobi