VK.jadt

package c.tl.vk

import java.math.BigInteger
import java.util.List
import c.tl.type.Int128

ResPQ = req_pq(Int128 nonce)
      | resPQ(Int128 nonce,
      		  Int128 server_nonce,
      		  BigInteger pq,
      		  List<Long> server_public_key_fingerprints)


Server_DH_Params =
	req_DH_params(Int128 nonce,
				  Int128 server_nonce,
				  BigInteger p,
				  BigInteger q,
				  Long public_key_fingerprint,
				  BigInteger encrypted_data)
	| server_DH_params_fail(Int128 nonce, Int128 server_nonce, Int128 new_nonce_hash)	
	| server_DH_params_ok(Int128 nonce, Int128 server_nonce, BigInteger encrypted_answer)


Server_DH_inner_data =
	server_DH_inner_data(Int128 nonce,
	  					 Int128 server_nonce,
						 int g,
						 BigInteger dh_prime,
						 BigInteger g_a,
						 int server_time)


Set_client_DH_params_answer =
	set_client_DH_params(Int128 nonce, Int128 server_nonce, BigInteger encrypted_data)
	| dh_gen_ok(Int128 nonce, Int128 server_nonce, Int128 new_nonce_hash1)		
	| dh_gen_retry(Int128 nonce, Int128 server_nonce, Int128 new_nonce_hash2)
	| dh_gen_fail(Int128 nonce, Int128 server_nonce, Int128 new_nonce_hash3)


Client_DH_Inner_Data = client_DH_inner_data(Int128 nonce, Int128 server_nonce, Long retry_id, BigInteger g_b)