dionyziz/popow Issues
Algorithm 4 problems
Closed 1Algorithm 2 return value
Closed 1Succinctness proof
ClosedNames alphabetically
ClosedDescribe KLS slow-down attack
Closed 1Fluffy fork algorithms
ClosedProve succinctness
Closed 1Infix succinctness theorem
UpdatedInfix security theorem
UpdatedTypical execution extension
UpdatedSkiplist reference
UpdatedInfix proofs applicability
UpdatedMention SPV in introduction
UpdatedVelvet followUp figure
UpdatedAdd missing related work
UpdatedIntuition behind predicates
UpdatedRephrase intuition paragraph
UpdatedImprove security definition
Updatedplease add BFM88 to bib
ClosedVelvet succinctness proof
UpdatedCCS template
Closed