13:55:49 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. 14:34:02 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? 14:35:14 No no, not for carrot. For additional divisor work for FCMPs++ 14:35:42 Sorry, too much stuff was discussed last meeting. I should have been more specific 14:35:55 No problem. Thanks for clarifying. 14:36:59 This is the next step (1 remaining step is expected after this) for divisor review 14:38:13 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. 19:30:21 <321bob321:monero.social> So ccs takes the bulk of the cost? 19:34:13 <321bob321:monero.social> So carrot was created cause of FCMP? 22:28:43 No these are distinct works. IIUC, MAGIC signed Veridise to audit the elliptic curve divisor crate which implements [Liam Eagen divisor work](https://eprint.iacr.org/2022/596.pdf). While the future CCS will cover the funding of the audit of the [Carrot](https://github.com/jeffro256/carrot/blob/master/carrot.md) addressing protocol, which is a contender to [JamtisRCT](https://gist. github.com/tevador/d3656a217c0177c160b9b6219d9ebb96) which you may have heard of.