| 1 | {
|
| 2 | "constructors": [{
|
| 3 | "id": "481674261",
|
| 4 | "predicate": "vector",
|
| 5 | "params": [],
|
| 6 | "type": "Vector t"
|
| 7 | }, {
|
| 8 | "id": "85337187",
|
| 9 | "predicate": "resPQ",
|
| 10 | "params": [{
|
| 11 | "name": "nonce",
|
| 12 | "type": "int128"
|
| 13 | }, {
|
| 14 | "name": "server_nonce",
|
| 15 | "type": "int128"
|
| 16 | }, {
|
| 17 | "name": "pq",
|
| 18 | "type": "bytes"
|
| 19 | }, {
|
| 20 | "name": "server_public_key_fingerprints",
|
| 21 | "type": "Vector<long>"
|
| 22 | }],
|
| 23 | "type": "ResPQ"
|
| 24 | }, {
|
| 25 | "id": "-2083955988",
|
| 26 | "predicate": "p_q_inner_data",
|
| 27 | "params": [{
|
| 28 | "name": "pq",
|
| 29 | "type": "bytes"
|
| 30 | }, {
|
| 31 | "name": "p",
|
| 32 | "type": "bytes"
|
| 33 | }, {
|
| 34 | "name": "q",
|
| 35 | "type": "bytes"
|
| 36 | }, {
|
| 37 | "name": "nonce",
|
| 38 | "type": "int128"
|
| 39 | }, {
|
| 40 | "name": "server_nonce",
|
| 41 | "type": "int128"
|
| 42 | }, {
|
| 43 | "name": "new_nonce",
|
| 44 | "type": "int256"
|
| 45 | }],
|
| 46 | "type": "P_Q_inner_data"
|
| 47 | }, {
|
| 48 | "id": "2043348061",
|
| 49 | "predicate": "server_DH_params_fail",
|
| 50 | "params": [{
|
| 51 | "name": "nonce",
|
| 52 | "type": "int128"
|
| 53 | }, {
|
| 54 | "name": "server_nonce",
|
| 55 | "type": "int128"
|
| 56 | }, {
|
| 57 | "name": "new_nonce_hash",
|
| 58 | "type": "int128"
|
| 59 | }],
|
| 60 | "type": "Server_DH_Params"
|
| 61 | }, {
|
| 62 | "id": "-790100132",
|
| 63 | "predicate": "server_DH_params_ok",
|
| 64 | "params": [{
|
| 65 | "name": "nonce",
|
| 66 | "type": "int128"
|
| 67 | }, {
|
| 68 | "name": "server_nonce",
|
| 69 | "type": "int128"
|
| 70 | }, {
|
| 71 | "name": "encrypted_answer",
|
| 72 | "type": "bytes"
|
| 73 | }],
|
| 74 | "type": "Server_DH_Params"
|
| 75 | }, {
|
| 76 | "id": "-1249309254",
|
| 77 | "predicate": "server_DH_inner_data",
|
| 78 | "params": [{
|
| 79 | "name": "nonce",
|
| 80 | "type": "int128"
|
| 81 | }, {
|
| 82 | "name": "server_nonce",
|
| 83 | "type": "int128"
|
| 84 | }, {
|
| 85 | "name": "g",
|
| 86 | "type": "int"
|
| 87 | }, {
|
| 88 | "name": "dh_prime",
|
| 89 | "type": "bytes"
|
| 90 | }, {
|
| 91 | "name": "g_a",
|
| 92 | "type": "bytes"
|
| 93 | }, {
|
| 94 | "name": "server_time",
|
| 95 | "type": "int"
|
| 96 | }],
|
| 97 | "type": "Server_DH_inner_data"
|
| 98 | }, {
|
| 99 | "id": "1715713620",
|
| 100 | "predicate": "client_DH_inner_data",
|
| 101 | "params": [{
|
| 102 | "name": "nonce",
|
| 103 | "type": "int128"
|
| 104 | }, {
|
| 105 | "name": "server_nonce",
|
| 106 | "type": "int128"
|
| 107 | }, {
|
| 108 | "name": "retry_id",
|
| 109 | "type": "long"
|
| 110 | }, {
|
| 111 | "name": "g_b",
|
| 112 | "type": "bytes"
|
| 113 | }],
|
| 114 | "type": "Client_DH_Inner_Data"
|
| 115 | }, {
|
| 116 | "id": "1003222836",
|
| 117 | "predicate": "dh_gen_ok",
|
| 118 | "params": [{
|
| 119 | "name": "nonce",
|
| 120 | "type": "int128"
|
| 121 | }, {
|
| 122 | "name": "server_nonce",
|
| 123 | "type": "int128"
|
| 124 | }, {
|
| 125 | "name": "new_nonce_hash1",
|
| 126 | "type": "int128"
|
| 127 | }],
|
| 128 | "type": "Set_client_DH_params_answer"
|
| 129 | }, {
|
| 130 | "id": "1188831161",
|
| 131 | "predicate": "dh_gen_retry",
|
| 132 | "params": [{
|
| 133 | "name": "nonce",
|
| 134 | "type": "int128"
|
| 135 | }, {
|
| 136 | "name": "server_nonce",
|
| 137 | "type": "int128"
|
| 138 | }, {
|
| 139 | "name": "new_nonce_hash2",
|
| 140 | "type": "int128"
|
| 141 | }],
|
| 142 | "type": "Set_client_DH_params_answer"
|
| 143 | }, {
|
| 144 | "id": "-1499615742",
|
| 145 | "predicate": "dh_gen_fail",
|
| 146 | "params": [{
|
| 147 | "name": "nonce",
|
| 148 | "type": "int128"
|
| 149 | }, {
|
| 150 | "name": "server_nonce",
|
| 151 | "type": "int128"
|
| 152 | }, {
|
| 153 | "name": "new_nonce_hash3",
|
| 154 | "type": "int128"
|
| 155 | }],
|
| 156 | "type": "Set_client_DH_params_answer"
|
| 157 | }, {
|
| 158 | "id": "-212046591",
|
| 159 | "predicate": "rpc_result",
|
| 160 | "params": [{
|
| 161 | "name": "req_msg_id",
|
| 162 | "type": "long"
|
| 163 | }, {
|
| 164 | "name": "result",
|
| 165 | "type": "Object"
|
| 166 | }],
|
| 167 | "type": "RpcResult"
|
| 168 | }, {
|
| 169 | "id": "558156313",
|
| 170 | "predicate": "rpc_error",
|
| 171 | "params": [{
|
| 172 | "name": "error_code",
|
| 173 | "type": "int"
|
| 174 | }, {
|
| 175 | "name": "error_message",
|
| 176 | "type": "string"
|
| 177 | }],
|
| 178 | "type": "RpcError"
|
| 179 | }, {
|
| 180 | "id": "1579864942",
|
| 181 | "predicate": "rpc_answer_unknown",
|
| 182 | "params": [],
|
| 183 | "type": "RpcDropAnswer"
|
| 184 | }, {
|
| 185 | "id": "-847714938",
|
| 186 | "predicate": "rpc_answer_dropped_running",
|
| 187 | "params": [],
|
| 188 | "type": "RpcDropAnswer"
|
| 189 | }, {
|
| 190 | "id": "-1539647305",
|
| 191 | "predicate": "rpc_answer_dropped",
|
| 192 | "params": [{
|
| 193 | "name": "msg_id",
|
| 194 | "type": "long"
|
| 195 | }, {
|
| 196 | "name": "seq_no",
|
| 197 | "type": "int"
|
| 198 | }, {
|
| 199 | "name": "bytes",
|
| 200 | "type": "int"
|
| 201 | }],
|
| 202 | "type": "RpcDropAnswer"
|
| 203 | }, {
|
| 204 | "id": "155834844",
|
| 205 | "predicate": "future_salt",
|
| 206 | "params": [{
|
| 207 | "name": "valid_since",
|
| 208 | "type": "int"
|
| 209 | }, {
|
| 210 | "name": "valid_until",
|
| 211 | "type": "int"
|
| 212 | }, {
|
| 213 | "name": "salt",
|
| 214 | "type": "long"
|
| 215 | }],
|
| 216 | "type": "FutureSalt"
|
| 217 | }, {
|
| 218 | "id": "-1370486635",
|
| 219 | "predicate": "future_salts",
|
| 220 | "params": [{
|
| 221 | "name": "req_msg_id",
|
| 222 | "type": "long"
|
| 223 | }, {
|
| 224 | "name": "now",
|
| 225 | "type": "int"
|
| 226 | }, {
|
| 227 | "name": "salts",
|
| 228 | "type": "vector<future_salt>"
|
| 229 | }],
|
| 230 | "type": "FutureSalts"
|
| 231 | }, {
|
| 232 | "id": "880243653",
|
| 233 | "predicate": "pong",
|
| 234 | "params": [{
|
| 235 | "name": "msg_id",
|
| 236 | "type": "long"
|
| 237 | }, {
|
| 238 | "name": "ping_id",
|
| 239 | "type": "long"
|
| 240 | }],
|
| 241 | "type": "Pong"
|
| 242 | }, {
|
| 243 | "id": "-501201412",
|
| 244 | "predicate": "destroy_session_ok",
|
| 245 | "params": [{
|
| 246 | "name": "session_id",
|
| 247 | "type": "long"
|
| 248 | }],
|
| 249 | "type": "DestroySessionRes"
|
| 250 | }, {
|
| 251 | "id": "1658015945",
|
| 252 | "predicate": "destroy_session_none",
|
| 253 | "params": [{
|
| 254 | "name": "session_id",
|
| 255 | "type": "long"
|
| 256 | }],
|
| 257 | "type": "DestroySessionRes"
|
| 258 | }, {
|
| 259 | "id": "-1631450872",
|
| 260 | "predicate": "new_session_created",
|
| 261 | "params": [{
|
| 262 | "name": "first_msg_id",
|
| 263 | "type": "long"
|
| 264 | }, {
|
| 265 | "name": "unique_id",
|
| 266 | "type": "long"
|
| 267 | }, {
|
| 268 | "name": "server_salt",
|
| 269 | "type": "long"
|
| 270 | }],
|
| 271 | "type": "NewSession"
|
| 272 | }, {
|
| 273 | "id": "1945237724",
|
| 274 | "predicate": "msg_container",
|
| 275 | "params": [{
|
| 276 | "name": "messages",
|
| 277 | "type": "vector<%Message>"
|
| 278 | }],
|
| 279 | "type": "MessageContainer"
|
| 280 | }, {
|
| 281 | "id": "1538843921",
|
| 282 | "predicate": "message",
|
| 283 | "params": [{
|
| 284 | "name": "msg_id",
|
| 285 | "type": "long"
|
| 286 | }, {
|
| 287 | "name": "seqno",
|
| 288 | "type": "int"
|
| 289 | }, {
|
| 290 | "name": "bytes",
|
| 291 | "type": "int"
|
| 292 | }, {
|
| 293 | "name": "body",
|
| 294 | "type": "Object"
|
| 295 | }],
|
| 296 | "type": "Message"
|
| 297 | }, {
|
| 298 | "id": "-530561358",
|
| 299 | "predicate": "msg_copy",
|
| 300 | "params": [{
|
| 301 | "name": "orig_message",
|
| 302 | "type": "Message"
|
| 303 | }],
|
| 304 | "type": "MessageCopy"
|
| 305 | }, {
|
| 306 | "id": "812830625",
|
| 307 | "predicate": "gzip_packed",
|
| 308 | "params": [{
|
| 309 | "name": "packed_data",
|
| 310 | "type": "bytes"
|
| 311 | }],
|
| 312 | "type": "Object"
|
| 313 | }, {
|
| 314 | "id": "1658238041",
|
| 315 | "predicate": "msgs_ack",
|
| 316 | "params": [{
|
| 317 | "name": "msg_ids",
|
| 318 | "type": "Vector<long>"
|
| 319 | }],
|
| 320 | "type": "MsgsAck"
|
| 321 | }, {
|
| 322 | "id": "-1477445615",
|
| 323 | "predicate": "bad_msg_notification",
|
| 324 | "params": [{
|
| 325 | "name": "bad_msg_id",
|
| 326 | "type": "long"
|
| 327 | }, {
|
| 328 | "name": "bad_msg_seqno",
|
| 329 | "type": "int"
|
| 330 | }, {
|
| 331 | "name": "error_code",
|
| 332 | "type": "int"
|
| 333 | }],
|
| 334 | "type": "BadMsgNotification"
|
| 335 | }, {
|
| 336 | "id": "-307542917",
|
| 337 | "predicate": "bad_server_salt",
|
| 338 | "params": [{
|
| 339 | "name": "bad_msg_id",
|
| 340 | "type": "long"
|
| 341 | }, {
|
| 342 | "name": "bad_msg_seqno",
|
| 343 | "type": "int"
|
| 344 | }, {
|
| 345 | "name": "error_code",
|
| 346 | "type": "int"
|
| 347 | }, {
|
| 348 | "name": "new_server_salt",
|
| 349 | "type": "long"
|
| 350 | }],
|
| 351 | "type": "BadMsgNotification"
|
| 352 | }, {
|
| 353 | "id": "2105940488",
|
| 354 | "predicate": "msg_resend_req",
|
| 355 | "params": [{
|
| 356 | "name": "msg_ids",
|
| 357 | "type": "Vector<long>"
|
| 358 | }],
|
| 359 | "type": "MsgResendReq"
|
| 360 | }, {
|
| 361 | "id": "-630588590",
|
| 362 | "predicate": "msgs_state_req",
|
| 363 | "params": [{
|
| 364 | "name": "msg_ids",
|
| 365 | "type": "Vector<long>"
|
| 366 | }],
|
| 367 | "type": "MsgsStateReq"
|
| 368 | }, {
|
| 369 | "id": "81704317",
|
| 370 | "predicate": "msgs_state_info",
|
| 371 | "params": [{
|
| 372 | "name": "req_msg_id",
|
| 373 | "type": "long"
|
| 374 | }, {
|
| 375 | "name": "info",
|
| 376 | "type": "bytes"
|
| 377 | }],
|
| 378 | "type": "MsgsStateInfo"
|
| 379 | }, {
|
| 380 | "id": "-1933520591",
|
| 381 | "predicate": "msgs_all_info",
|
| 382 | "params": [{
|
| 383 | "name": "msg_ids",
|
| 384 | "type": "Vector<long>"
|
| 385 | }, {
|
| 386 | "name": "info",
|
| 387 | "type": "bytes"
|
| 388 | }],
|
| 389 | "type": "MsgsAllInfo"
|
| 390 | }, {
|
| 391 | "id": "661470918",
|
| 392 | "predicate": "msg_detailed_info",
|
| 393 | "params": [{
|
| 394 | "name": "msg_id",
|
| 395 | "type": "long"
|
| 396 | }, {
|
| 397 | "name": "answer_msg_id",
|
| 398 | "type": "long"
|
| 399 | }, {
|
| 400 | "name": "bytes",
|
| 401 | "type": "int"
|
| 402 | }, {
|
| 403 | "name": "status",
|
| 404 | "type": "int"
|
| 405 | }],
|
| 406 | "type": "MsgDetailedInfo"
|
| 407 | }, {
|
| 408 | "id": "-2137147681",
|
| 409 | "predicate": "msg_new_detailed_info",
|
| 410 | "params": [{
|
| 411 | "name": "answer_msg_id",
|
| 412 | "type": "long"
|
| 413 | }, {
|
| 414 | "name": "bytes",
|
| 415 | "type": "int"
|
| 416 | }, {
|
| 417 | "name": "status",
|
| 418 | "type": "int"
|
| 419 | }],
|
| 420 | "type": "MsgDetailedInfo"
|
| 421 | }],
|
| 422 | "methods": [{
|
| 423 | "id": "1615239032",
|
| 424 | "method": "req_pq",
|
| 425 | "params": [{
|
| 426 | "name": "nonce",
|
| 427 | "type": "int128"
|
| 428 | }],
|
| 429 | "type": "ResPQ"
|
| 430 | }, {
|
| 431 | "id": "-686627650",
|
| 432 | "method": "req_DH_params",
|
| 433 | "params": [{
|
| 434 | "name": "nonce",
|
| 435 | "type": "int128"
|
| 436 | }, {
|
| 437 | "name": "server_nonce",
|
| 438 | "type": "int128"
|
| 439 | }, {
|
| 440 | "name": "p",
|
| 441 | "type": "bytes"
|
| 442 | }, {
|
| 443 | "name": "q",
|
| 444 | "type": "bytes"
|
| 445 | }, {
|
| 446 | "name": "public_key_fingerprint",
|
| 447 | "type": "long"
|
| 448 | }, {
|
| 449 | "name": "encrypted_data",
|
| 450 | "type": "bytes"
|
| 451 | }],
|
| 452 | "type": "Server_DH_Params"
|
| 453 | }, {
|
| 454 | "id": "-184262881",
|
| 455 | "method": "set_client_DH_params",
|
| 456 | "params": [{
|
| 457 | "name": "nonce",
|
| 458 | "type": "int128"
|
| 459 | }, {
|
| 460 | "name": "server_nonce",
|
| 461 | "type": "int128"
|
| 462 | }, {
|
| 463 | "name": "encrypted_data",
|
| 464 | "type": "bytes"
|
| 465 | }],
|
| 466 | "type": "Set_client_DH_params_answer"
|
| 467 | }, {
|
| 468 | "id": "1491380032",
|
| 469 | "method": "rpc_drop_answer",
|
| 470 | "params": [{
|
| 471 | "name": "req_msg_id",
|
| 472 | "type": "long"
|
| 473 | }],
|
| 474 | "type": "RpcDropAnswer"
|
| 475 | }, {
|
| 476 | "id": "-1188971260",
|
| 477 | "method": "get_future_salts",
|
| 478 | "params": [{
|
| 479 | "name": "num",
|
| 480 | "type": "int"
|
| 481 | }],
|
| 482 | "type": "FutureSalts"
|
| 483 | }, {
|
| 484 | "id": "2059302892",
|
| 485 | "method": "ping",
|
| 486 | "params": [{
|
| 487 | "name": "ping_id",
|
| 488 | "type": "long"
|
| 489 | }],
|
| 490 | "type": "Pong"
|
| 491 | }, {
|
| 492 | "id": "-213746804",
|
| 493 | "method": "ping_delay_disconnect",
|
| 494 | "params": [{
|
| 495 | "name": "ping_id",
|
| 496 | "type": "long"
|
| 497 | }, {
|
| 498 | "name": "disconnect_delay",
|
| 499 | "type": "int"
|
| 500 | }],
|
| 501 | "type": "Pong"
|
| 502 | }, {
|
| 503 | "id": "-414113498",
|
| 504 | "method": "destroy_session",
|
| 505 | "params": [{
|
| 506 | "name": "session_id",
|
| 507 | "type": "long"
|
| 508 | }],
|
| 509 | "type": "DestroySessionRes"
|
| 510 | }, {
|
| 511 | "id": "-1835453025",
|
| 512 | "method": "http_wait",
|
| 513 | "params": [{
|
| 514 | "name": "max_delay",
|
| 515 | "type": "int"
|
| 516 | }, {
|
| 517 | "name": "wait_after",
|
| 518 | "type": "int"
|
| 519 | }, {
|
| 520 | "name": "max_wait",
|
| 521 | "type": "int"
|
| 522 | }],
|
| 523 | "type": "HttpWait"
|
| 524 | }]
|
| 525 | } |
| \ | No newline at end of file |