Change format of message batches according to spec

Author: bitfl0wer

api/src/core/main.tsp

@@ -92,4 +92,22 @@ namespace models {
         @doc("The serial number of the ID-Cert corresponding to the private identity key used to sign the key trial string.")
         serial_number: uint64;
     }
+
+    /**
+     * A message batch, as received from and sent to the server in the context of re-signing messages.
+     * This type is generic over `T`, where `T` represents the content of the actual message. This
+     * means, that the specific message content depends on the concrete implementation or extension
+     * of the polyproto protocol.
+     */
+    model MessageBatch<T> {
+        @doc("The ID-Cert that the following messages' signatures correspond to.")    
+        idCert: string,
+        @doc("The actual message.")
+        messages: {
+            @doc("Signature of the whole message")
+            signature: string,
+            @doc("Arbitrary content `T`. This depends on the specific implementation or extension of the protocol.")
+            content: T
+        }[];
+    }
 }

api/src/core/routes/main.tsp

@@ -456,7 +456,7 @@ namespace Migration {
          * @param messages Messages. The distinct format of messages is up to the specific p2 extension to define.
          * @returns `200` On success; `400` if re-signed messages are improperly formatted; `403` if messages have been modified where the original keys have not passed the key trial, if a key trial has not been passed at all or if the messages have been signed with keys that were not on the `allowedResigningKeys` list.
          */
-        op commitMessages(@body messages: string[]): {
+        op commitMessages(@body messages: polyproto.core.models.MessageBatch<string>): {
             @statusCode statusCode: 200 | 400 | 403;
         };
 
@@ -471,7 +471,7 @@ namespace Migration {
          */
         op getMessages(@query limit?: uint32 = 100): {
             @statusCode statusCode: 200;
-            @body message: string;
+            @body message: polyproto.core.models.MessageBatch<string>;
         } | {
             @statusCode statusCode: 403;
         };