rehrar submits CCS proposal to get ‘Generalized Bulletproofs’ reviewed by CypherStack

CypherStack¹ founder Diego rehrar Salazar² has submitted a new CCS proposal³ looking to develop security proofs for Generalized Bulletproofs (GBP)⁴:

The goal is to produce a modified Bulletproofs arithmetic circuit protocol security proof that accommodates the generalized Bulletproofs technique [..] Should the research be successful, Cypher Stack will produce a report containing the proof. Should it fail, Cypher Stack will produce a report containing any relevant information that may be useful for other researchers

Total funding: 220 XMR.

ETA: 

Milestones

• M1: Half completed (110 XMR)
• M2: Fully completed (110 XMR)

It is worth noting that CypherStack has recently completed the review of the Bulletproofs++ IACR preprint⁵ and also has another open proposal⁶ to review the general Seraphis paper.

To read the full proposal, share your feedback, ask questions and support this CCS, consult !443³.

This is an ongoing story and the report will be updated when new information is available.