For the linear Leios design, we need fast BLS signature generation and verification.

The benchmarks in the CIP leverage an aggregated pairing check as per the blst rust bindings.

To integrate Leios in the Haskell node, we thus also need to make these bindings in cardano-base.

Besides verification of signatures, secure key generation also needs to be implemented via here.