<s​gp_:monero.social> MAGIC Grants has signed with Veridise for the work discussed during the last meeting. The maximum expected cost is $6000, including the 4 hours of already-conducted review.

<s​yntheticbird:monero.social> So, just to be clear, MAGIC have signed with Veridise for auditing Carrot? We shouldn't expect a new CCS (as proposed by kayabanerve) for carrot audit by a different company?

<s​gp_:monero.social> No no, not for carrot. For additional divisor work for FCMPs++

<s​gp_:monero.social> Sorry, too much stuff was discussed last meeting. I should have been more specific

<s​yntheticbird:monero.social> No problem. Thanks for clarifying.

<s​gp_:monero.social> This is the next step (1 remaining step is expected after this) for divisor review

<k​ayabanerve:matrix.org> The last meeting approved 5k for the next part of this work. The other 1k is for the 4 hours of already performed review which was approved and done a while ago. For context on that, please see the summary I recently posted to the research CCS.

<3​21bob321:monero.social> So ccs takes the bulk of the cost?

<3​21bob321:monero.social> So carrot was created cause of FCMP?

<s​yntheticbird:monero.social> No these are distinct works. IIUC, MAGIC signed Veridise to audit the elliptic curve divisor crate which implements [Liam Eagen divisor work](eprint.iacr.org/2022/596.pdf). While the future CCS will cover the funding of the audit of the [Carrot](github.com/jeffro256/carrot/blob/master/carrot.md) addressing protocol, which is a contender to [JamtisRCT](gist.<clipped me

<s​yntheticbird:monero.social> github.com/tevador/d3656a217c0177c160b9b6219d9ebb96) which you may have heard of.