Σ-protocols in SSProve Resources: On Σ-protocols - Ivan Damgård State Separation for Code-Based Game-Playing Proofs SSProve repository SSProve docs SSProve paper Nominal State-Separating Proofs