Future<({String proof, String publicSignals})> groth16Prove({ required Uint8List zkey, required Uint8List witness, int proofBufferSize, int? publicBufferSize, int errorBufferSize, });