{
  "type": "object",
  "required": ["initialIncrement", "expectedValue", "salts"],
  "properties": {
    "initialIncrement": {
      "type": "integer",
      "x-gateflow-derive": "copy"
    },
    "expectedValue": {
      "type": "integer",
      "x-gateflow-derive": "copy"
    },
    "salts": {
      "type": "object",
      "x-gateflow-derive": "computed",
      "required": ["Counter"],
      "properties": {
        "Counter": {
          "type": "object",
          "x-gateflow-derive": "computed",
          "required": ["deploySalt", "expectedAddress"],
          "properties": {
            "deploySalt": {
              "type": "string",
              "x-gateflow-derive": "computed"
            },
            "expectedAddress": {
              "type": "string",
              "format": "address",
              "x-gateflow-derive": "computed"
            }
          }
        }
      }
    }
  }
}