daa/daa_verifier/verifier_transaction.c

97 bi_ptr project_into_group_gamma( bi_ptr base, TSS_DAA_PK_internal *issuer_pk) {
99 	bi_ptr capital_gamma  = issuer_pk->capitalGamma;
100 	bi_ptr rho = issuer_pk->rho;
126 bi_ptr compute_zeta( int nameLength, unsigned char *name, TSS_DAA_PK_internal *issuer_pk) {
131 	LogDebug("compute_zeta: %d [%s] pk:%x", nameLength, name, (int)issuer_pk);
140 	result = project_into_group_gamma( base, issuer_pk);
148 bi_ptr compute_parameterized_gamma(int k, TSS_DAA_PK_internal *issuer_pk) {
150 	int hashLength = bi_nbin_size( issuer_pk->gamma) + sizeof(int);
163 	// hash[4-end] = issuer_pk->gamma
164 	bi_2_nbin1( &length, &hash[sizeof(int)], issuer_pk->gamma);
173 	result = project_into_group_gamma( value, issuer_pk); // allocation
223 	TSS_DAA_PK_internal *issuer_pk,
248 	LogDebug("issuer_pk basename[%d]:%s",
249 		issuer_pk->issuerBaseNameLength,
250 		dump_byte_array( issuer_pk->issuerBaseNameLength,
251 				issuer_pk->issuerBaseName));
276 	buffer = encoded_DAA_PK_internal( &length, issuer_pk);
278 	LogDebug("encoded issuer_pk[%d]:%s", length, dump_byte_array( length, buffer));
367 inline int is_element_gamma( bi_ptr capital_nv, TSS_DAA_PK_internal *issuer_pk) {
371 	//	( ( capital_nv ^ issuer_pk->rho ) % issuer_pk->capitalGamma ) == 1
374 					issuer_pk->rho,
375 					issuer_pk->capitalGamma),
398 	TSS_DAA_PK_internal *issuer_pk;
445 	// allocation of issuer_pk
446 	issuer_pk = e_2_i_TSS_DAA_PK( (TSS_DAA_PK *)hPubKeyIssuer);
447 	if( issuer_pk == NULL) {
482 	n = issuer_pk->modulus;
484 	capital_gamma = issuer_pk->capitalGamma;
486 		zeta_2_verify = compute_zeta( base_nameLength, base_name, issuer_pk);
494 	capital_z = issuer_pk->capitalZ;
495 	capital_R = issuer_pk->capitalY;
546 	// tmp1=( issuer_pk->capitalR0 ^ signature->sF0) %  n
547 	bi_mod_exp( tmp1, issuer_pk->capitalR0, signature->sF0, n);
551 	// tmp1=( issuer_pk->capitalR1 ^ signature->sF1) %  n
552 	bi_mod_exp( tmp1, issuer_pk->capitalR1, signature->sF1, n);
556 	// tmp1=( issuer_pk->capitalS ^ signature->sV) %  n
557 	bi_mod_exp( tmp1, issuer_pk->capitalS, signature->sV, n);
591 			if( bi_cmp( commitments[j].sMu, issuer_pk->rho) >= 0 ||
607 			// tmp1=(issuer_pk->gamma ^ commitments[j]->sMu) % capital_gamma
608 			bi_mod_exp( tmp1, issuer_pk->gamma, commitments[j]->sMu, capital_gamma);
616 				indicesListLength != (UINT32)(issuer_pk->capitalY->length) ) {
618 and issuer_pk are not consistent (%d)\n",
622 					issuer_pk->capitalY->length);
626 			for( i=0; i<issuer_pk->capitalY->length; i++) {
628 					gamma_i = compute_parameterized_gamma( i, issuer_pk);
694 			verifier_transaction->anonymity_revocator_pk, issuer_pk,
729 		issuer_pk,
795 		if( !is_element_gamma( capital_nv, issuer_pk)	) {
802 		if( !(	is_element_gamma( pseudonym_enc->c1, issuer_pk) &&
803 			is_element_gamma( pseudonym_enc->c2, issuer_pk) &&
804 			is_element_gamma( pseudonym_enc->c3, issuer_pk) &&
805 			is_element_gamma( pseudonym_enc->c4, issuer_pk))) {
812 	if( !is_element_gamma( signature->zeta, issuer_pk)) {
851 	free_TSS_DAA_PK_internal( issuer_pk);
853 	// n not allocated, refere to issuer_pk->modulus
855 	// capital_gamma not allocated, refere to issuer_pk->capitalGamma
857 	// capital_z not allocated, refere to issuer_pk->capitalZ
858 	// capital_R not allocated, refere to issuer_pk->capitalY