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: 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 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.
https://www.cypherstack.com/ ↩
https://github.com/rehrar/ ↩
https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/443/ ↩ ↩2
https://github.com/AaronFeickert/curve-trees/blob/main/bulletproofs/generalized-bulletproofs.md ↩
/rehrar-3/, /plowsof-submits-ccs-proposal-bulletproofs++-paper-peer-review/ ↩
/rehrar-submits-ccs-proposal-seraphis-general-paper-review-by-cypherstack/ ↩
Go to Source
Author: NixCoin