Mostly done with the section about Sigma protocols now