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: 200 XMR.

ETA: <1.5 months.

Milestones

• M1: Funded (200 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.

Update 24/4/5: proposal title was edited by rehrar to exclude the misleading term ‘review’, as suggested by Rucknium⁷.

Update 24/4/6: GBP doc available⁸.

Update 24/4/11: milestones/amount changed; moved to funding stage⁹.

Update 24/4/12: fully funded (with 66.667 XMR contribution from GF¹⁰).

Update 24/5/6: final version of the report was published¹¹.