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

jeffro256¹ has submitted a CCS proposal² looking to get the Carrot³ spec document peer reviewed by CypherStack⁴:

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 preprint⁵, produced a report containing a security proof for GBP⁶, and reviewed FCMP++⁷ and Veridise⁸’s divisor technique report.

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

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

Update: moved to funding stage⁹.