Helpers for converting Arkworks types to U256-tuples as expected by the Solidity Groth16 Verifier smart contracts