{ message_type: "PublicInputs", message: { version: "2.0.0", type: { element_type: "Field", element: { modulo: { value: [ 7, 0, 0, 0 ] } } }, inputs: [ { value: [ 5 ] } ] } }