daa/daa_verifier/verifier_transaction.c

99 	bi_ptr capital_gamma  = issuer_pk->capitalGamma;
103 	if( capital_gamma == NULL ||
106 	// exponent = capital_gamma - 1
107 	bi_sub( exponent, capital_gamma, bi_1);
110 	// zeta = ( base ^ exponent) % capital_gamma
118 		bi_nbin_size( capital_gamma),
119 		bi_2_hex_char( capital_gamma));
120 	bi_mod_exp( zeta, base, exponent, capital_gamma);
183 inline bi_ptr apply_challenge( bi_ptr value, bi_ptr delta, bi_ptr c, bi_ptr capital_gamma) {
191 	// delta_tilde = ( delta ^ (-c)) % capital_gamma
192 	bi_mod_exp( delta_tilde, delta, c_negate, capital_gamma);
194 	// delta_tilde = (delta_tilde * value) % capital_gamma
195 	return bi_mod( delta_tilde, bi_mul( delta_tilde, delta_tilde, value), capital_gamma);
404 	bi_ptr capital_gamma = NULL;
484 	capital_gamma = issuer_pk->capitalGamma;
606 			bi_mod_exp( beta_tilde,  commitments[j]->beta, tmp1, capital_gamma);
607 			// tmp1=(issuer_pk->gamma ^ commitments[j]->sMu) % capital_gamma
608 			bi_mod_exp( tmp1, issuer_pk->gamma, commitments[j]->sMu, capital_gamma);
611 			// beta_tilde=beta_tilde % capital_gamma
612 			bi_mod( beta_tilde, beta_tilde, capital_gamma);
634 					// tmp1=(gamma_i ^ sA[j]) % capital_gamma
635 					bi_mod_exp( tmp1, gamma_i, sA->array[i], capital_gamma);
638 					// beta_tilde=beta_tilde % capital_gamma
639 					bi_mod( beta_tilde, beta_tilde, capital_gamma);
662 	// pseudonym_projected = (signature->zeta ^ exp) % capital_gamma
663 	bi_mod_exp( pseudonym_projected, signature->zeta, exp, capital_gamma);
674 		// capital_ntilde_v = ( capital_nv ^ ( - c) ) % capital_gamma
675 		//		= ( 1 / (capital_nv ^ c) % capital_gamma) % capital_gamma
676 		bi_mod_exp( tmp1, capital_nv, c, capital_gamma);
677 		bi_invert_mod( capital_ntilde_v, tmp1, capital_gamma);
678 		// capital_ntilde_v = ( capital_ntilde_v * pseudonym_projected ) % capital_gamma
680 		bi_mod( capital_ntilde_v, capital_ntilde_v, capital_gamma);
702 								capital_gamma);
706 								capital_gamma);
710 								capital_gamma);
714 								capital_gamma);
855 	// capital_gamma not allocated, refere to issuer_pk->capitalGamma