SSP

SSP = Square Span Programs. They are a refinement of Quadratic Span Programs. Danezis, Fournet, Groth and Kohlweiss [DFGK14] refined quadratic span programs to square span programs that give NIZK arguments consisting of 4 group elements for boolean circuit satisfiability.