SSP

From zkstacks
Revision as of 12:59, 14 October 2020 by Srikar (talk | contribs) (Created page with "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 pro...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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.