We should extend the library to expose a PCS (or maybe, better, a Sigma-CS trait).
This should use nimue natively as the FS and make it easy to integrate with nimue based protocols.
We should support batching as well.