<3​21bob321:monero.social> so there will be two quotes for each audit required?

<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.

<3​21bob321:monero.social> task means audits?

<k​ayabanerve:monero.social> No. Several tasks are not audits. For the list of tasks, please see the CCS.

<k​ayabanerve:monero.social> Initially, we're discussing two instances proof review and other such academic tasks.

<k​ayabanerve:monero.social> The code audits don't make sense prior.

<3​21bob321:monero.social> - name: Provide a soundness proof for the proof using Elliptic Curve Divisors

<3​21bob321:monero.social> - name: Formally verify the gadgets

<3​21bob321:monero.social> - name: Prove the composition to be unlinkable, unforgeable, and non-malleable

<3​21bob321:monero.social> ?

<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.

<3​21bob321:monero.social> ok

<3​21bob321:monero.social> trying to decipher your sentences

<3​21bob321:monero.social> all good

<k​ayabanerve:monero.social> I don't mind clarifying as proper of a recipient/decider of public funding.

<k​ayabanerve:monero.social> So let me know if anything is still unclear :)