12 Oct 2024 [CCS]

jeffro256 submits CCS proposal to get 'Carrot' reviewed by CypherStack

jeffro2561 has submitted a CCS proposal2 looking to get the Carrot3 spec document peer reviewed by CypherStack4:

This CCS will provide funding for the first step towards a Carrot implementation in Monero. [..] The deliverable is a write-up which will include security proofs for all properties listed in section 9. [..] In the case that CypherStack requires more funds to complete the security proofs, an MRL meeting will be held and a new CCS may be opened. [..] the 126 XMR for this review is to be paid out in full to Cypherstack immediately upon reaching the funding goal.

Total funding: 126 XMR.

ETA: TBD.

It is worth noting that CypherStack has already completed a review of the Bulletproofs++ IACR preprint5, produced a report containing a security proof for GBP6, and reviewed FCMP++7 and Veridise8’s divisor technique report.

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

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

  1. https://github.com/jeffro256/ ↩

  2. https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/511/ ↩ ↩2

  3. https://github.com/jeffro256/carrot/blob/master/carrot.md ↩

  4. https://www.cypherstack.com/ ↩

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

  6. /rehrar-submits-ccs-proposal-generalized-bulletproofs-review-by-cypherstack/, https://github.com/cypherstack/generalized-bulletproofs/releases/tag/final, https://github.com/AaronFeickert/curve-trees/blob/main/bulletproofs/generalized-bulletproofs.md ↩

  7. /kayabanerve-submits-ccs-proposal-full-chain-membership-proofs/, https://github.com/cypherstack/fcmp-review/releases/tag/final ↩

  8. https://github.com/cypherstack/divisor-report/releases/tag/final ↩