AAGKeyPairGenerator.h

Go to the documentation of this file.

#ifndef AAG_KEY_PAIR_H
#define AAG_KEY_PAIR_H

#include "errormsgs.h"
#include "PairDistanceTest.h"
#include "AAGKeyGeneration.h"


//
//
//  AAGKeyPairGenerator
//
//

class AAGKeyPairGenerator : public PairGenerator
{
public:
  AAGKeyPairGenerator(int n, int min_len, int max_len, int n_sg_gens, int a_decomp,int  b_decomp  ):
    nGens( n ),
    minLen( min_len ),
    maxLen( max_len ),
    nSgGens( n_sg_gens ),
    AliceDecompositionLength( a_decomp ),
    BobDecompositionLength( b_decomp ) {}
  
  pair<Word,Word> getFalsePair(){
    
    pair <Word,Word> p;
    AAGProtocolInstance gaagi = generateAAGInstance(  nGens ,  nSgGens ,  minLen ,  maxLen , AliceDecompositionLength ,  BobDecompositionLength );
    vector< Word > aSgp  =  gaagi.getAlicePublicSbgp( );
    vector< Word > aConjSgp  =  gaagi.getAliceConjSbgp( );
    
    
    Word a_conj_B;
    for ( int i=0;i<aConjSgp.size();i++)
      a_conj_B *= aConjSgp[i];
    
    
    Word a;
    for ( int i=0;i<aSgp.size();i++)
      a *= aSgp[i];
    
    
    //  Word B = gaagi.getBobKey();
    //  Word testWord =  a_conj_B*(-( -B*a*B));
    //  DehornoyForm df( N,testWord );
    //  cout <<   df.getDehornoyForm( ) <<  endl;
    
    p.first = a_conj_B;
    p.second = a;
    
    return p;
    
  }
  
  pair<Word,Word> getTruePair(){

    pair <Word,Word> p;
    AAGProtocolInstance gaagi = generateAAGInstance(  nGens ,  nSgGens ,  minLen ,  maxLen , AliceDecompositionLength ,  BobDecompositionLength );
    vector< Word > aConjSgp  =  gaagi.getAliceConjSbgp( );
    
    
    Word a_conj_B;
    for ( int i=0;i<aConjSgp.size();i++)
      a_conj_B *= aConjSgp[i];
    
    
    AAGProtocolInstance gaagi2 = generateAAGInstance(  nGens ,  nSgGens ,  minLen ,  maxLen , AliceDecompositionLength ,  BobDecompositionLength );
    vector< Word > aSgp  =  gaagi2.getAlicePublicSbgp( );
    Word a;
    for ( int i=0;i<aSgp.size();i++)
      a *= aSgp[i];
    
    
    //  Word B = gaagi.getBobKey();
    //  Word testWord =  a_conj_B*(-( -B*a*B));
    //  DehornoyForm df( N,testWord );
    //  cout <<   df.getDehornoyForm( ) <<  endl;
    
    p.first = a_conj_B;
    p.second = a;
    
    return p;

  }
private:
  int nGens;
  int minLen;
  int maxLen;
  int nSgGens;
  int AliceDecompositionLength;
  int BobDecompositionLength;
};

#endif