def verify_decryption_proofs(self, decryption_factors, decryption_proofs, public_key, challenge_generator):

    # go through each one
    for q_num, q in enumerate(self.tally):
      for a_num, answer_tally in enumerate(q):
        # parse the proof
        #proof = algs.EGZKProof.fromJSONDict(decryption_proofs[q_num][a_num])
        proof = decryption_proofs[q_num][a_num]
        
        # check that g, alpha, y, dec_factor is a DH tuple
        if not proof.verify(public_key.g, answer_tally.alpha, public_key.y, int(decryption_factors[q_num][a_num]), public_key.p, public_key.q, challenge_generator):
          return False
    
    return True
Save a readline history file. 
dataset/ETHPy150Open benadida/helios-server/helios/workflows/homomorphic.py/Tally.verify_decryption_proofs--crossover with--dataset/ETHPy150Open babble/babble/include/jython/Lib/readline.py/write_history_file