4 Apr 2024 | Updated 6 May 2024 [CCS]

rehrar submits CCS proposal to get 'Generalized Bulletproofs' reviewed by CypherStack

CypherStack1 founder Diego rehrar Salazar2 has submitted a new CCS proposal3 looking to develop security proofs for Generalized Bulletproofs (GBP)4:

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

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

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

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 Rucknium7.

Update 24/4/6: GBP doc available8.

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

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

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


  1. https://www.cypherstack.com/ 

  2. https://github.com/rehrar/ 

  3. https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/443/  2

  4. https://github.com/AaronFeickert/curve-trees/blob/main/bulletproofs/generalized-bulletproofs.md 

  5. /rehrar-3/, /plowsof-submits-ccs-proposal-bulletproofs++-paper-peer-review/ 

  6. /rehrar-submits-ccs-proposal-seraphis-general-paper-review-by-cypherstack/ 

  7. https://libera.monerologs.net/monero-research-lab/20240405#c359214, https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/443/diffs?commit_id=3552ae79c069a7efb7d98a5a4b5892b9213aa2c7 

  8. (PDF!) https://repo.getmonero.org/monero-project/ccs-proposals/uploads/a9baa50c38c6312efc0fea5c6a188bb9/gbp.pdf 

  9. https://ccs.getmonero.org/proposals/cypherstack-gbp-security-proofs.html, /rehrar-cypherstack-ccs-proposal-generalized-bulletproofs-ready-funding/ 

  10. https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/443#note_24008 

  11. https://github.com/cypherstack/generalized-bulletproofs/releases/tag/final