Finished work on SIGMA protocol