daa/daa_issuer/key_correctness_proof.c

204 	if( !bi_is_probable_prime( public_key->capitalGamma)) {
205 		LogError( "pk->capitalGamma not prime\ncapitalGamma=\n%s",
206 				bi_2_hex_char( public_key->capitalGamma));
216 	// (capitalGamma - 1) %  rho should be equal to 0
217 	if( !bi_equals( bi_mod( tmp1, bi_sub( tmp1, public_key->capitalGamma, bi_1),
220 		LogError( "(capitalGamma - 1) %%  rho != 0\nActual value:\n%s",
224 	// (gamma ^ rho) % capitalGamma should be equals to 1
227 						public_key->capitalGamma),
229 		LogError( "(gamma ^ rho) %% capitalGamma != 1\nActual value:\n%s",
234 	// (gamma ^ rho) % capitalGamma should be equal to 1
238 						public_key->capitalGamma),
240 		LogError( "(gamma ^ rho) %% capitalGamma != 1\nActual value:\n%s",
278 	if( bi_nbin_size( public_key->capitalGamma) * 8 != DAA_PARAM_SIZE_MODULUS_GAMMA) {
280 			bi_nbin_size( public_key->capitalGamma) * 8,