github.com/jiajun1992/watercarver@v0.0.0-20191031150618-dfc2b17c0c4a/StadiumForWaterCarver/src/func_ver.h (about) 1 /* 2 * func_ver.h 3 * 4 * Created on: 04.07.2012 5 * Author: stephaniebayer 6 */ 7 8 #ifndef FUNC_VER_H_ 9 #define FUNC_VER_H_ 10 11 #include "Functions.h" 12 #include<vector> 13 #include "Cipher_elg.h" 14 #include "G_q.h" 15 #include "Mod_p.h" 16 #include "Pedersen.h" 17 18 #include "FakeZZ.h" 19 NTL_CLIENT 20 21 22 class func_ver { 23 public: 24 func_ver(); 25 virtual ~func_ver(); 26 27 static void check_Dh_op(vector<Mod_p>* c_Dh, vector<ZZ>* e, vector<ZZ>* F, ZZ Z, long omega, Pedersen& ped, bool& b); 28 static void check_D_op(Mod_p c_D0, Mod_p c_z, vector<Mod_p>* c_A, vector<Mod_p>* c_B, vector<ZZ>* chal_1, ZZ chal_2, vector<ZZ>* A_bar, ZZ r_A_bar, long n, Pedersen& ped, bool& b); 29 static void check_Ds_op(vector<Mod_p>* c_Ds, vector<Mod_p>* c_Dh, Mod_p c_Dm, vector<ZZ>* chal_1, vector<ZZ>* chal_2, vector<ZZ>* Ds_bar, ZZ r_Ds_bar, Pedersen& ped, bool& b); 30 static void check_Dl_op(vector<Mod_p>* c_Dl, vector<ZZ>* chal_1, vector<ZZ>* A_bar, vector<ZZ>* Ds_bar, vector<ZZ>* chal_2, ZZ r_Dl_bar, Pedersen& ped, bool& b); 31 static void check_d_op(vector<Mod_p>* c_Dh, Mod_p c_d, vector<ZZ>* chal, vector<ZZ>* d_bar, ZZ r_d_bar, Pedersen& ped, bool& b); 32 static void check_Delta_op(Mod_p c_dh, Mod_p c_Delta, vector<ZZ>* chal, vector<ZZ>* Delta_bar, vector<ZZ>* d_bar, ZZ r_Delta_bar, ZZ chal_1, ZZ chal_2, ZZ chal_3, Pedersen& ped, bool& b); 33 34 static void fill_vector(vector<ZZ>* t); 35 static void fill_vector(vector<ZZ>* t, ZZ& challenge); 36 static void fill_x8(vector<ZZ>* chal_x8, vector<vector<long>* >* basis_chal_x8, vector<ZZ>* mul_chal_x8, long omega, ZZ& challenge); 37 }; 38 39 #endif /* FUNC_VER_H_ */