05:33:37 <m-relay> <3​21bob321:monero.social> so there will be two quotes for each audit required?
05:56:46 <m-relay> <k​ayabanerve:monero.social> We're currently soliciting across 8 quotes from 7 firms across 3 tasks. I said two quotes specifically may become endorsed (on top of the two explicitly planned), not that two quotes were explicitly requested per task.
06:14:12 <m-relay> <3​21bob321:monero.social> task means audits?
06:25:28 <m-relay> <k​ayabanerve:monero.social> No. Several tasks are not audits. For the list of tasks, please see the CCS.
06:26:02 <m-relay> <k​ayabanerve:monero.social> Initially, we're discussing two instances proof review and other such academic tasks.
06:26:21 <m-relay> <k​ayabanerve:monero.social> The code audits don't make sense prior.
06:31:16 <m-relay> <3​21bob321:monero.social> - name: Provide a soundness proof for the proof using Elliptic Curve Divisors
06:31:17 <m-relay> <3​21bob321:monero.social> - name: Formally verify the gadgets
06:31:19 <m-relay> <3​21bob321:monero.social> - name: Prove the composition to be unlinkable, unforgeable, and non-malleable
06:31:22 <m-relay> <3​21bob321:monero.social> ?
06:43:24 <m-relay> <k​ayabanerve:monero.social> Those are not audits and the reasoning for the term tasks. I can't immediately confirm those are all of them.
06:47:30 <m-relay> <3​21bob321:monero.social> ok
06:47:44 <m-relay> <3​21bob321:monero.social> trying to decipher your sentences
06:47:52 <m-relay> <3​21bob321:monero.social> all good
07:01:39 <m-relay> <k​ayabanerve:monero.social> I don't mind clarifying as proper of a recipient/decider of public funding.
07:02:24 <m-relay> <k​ayabanerve:monero.social> So let me know if anything is still unclear :)