If only one of you gave Papa ChooChoo some TLC there, instead of ignoring him, none of this would have happened

Hi all! I was one of the authors of the CCS proposal on BP+ along with @omershlo. Been following the BP+ updates from sarang and excited to see the verification and proof size numbers panning out to be encouraging.

As we had concluded on our proposal (repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/156), Me and Omershlo (along with appropriate academic advisory) would be willing to audit Bulletproofs+ for Monero. I'm reaching out to MRL to discuss about the same.

sarang: sgp_ ^

suyash67: excellent, we've been meaning to reach out

:D

Hi sarang, sgp_, moneromooo!

Have you had a chance to peruse the code at all?

There are a few optimizations that may not be immediately obvious

I had started to look at it some time back, but haven't looked at it in detail.

Got it, thanks

What scope of audit would your team be able/interested to provide, and with what deliverables?

The previous Bulletproofs audit results are posted and available as an example of what's been done previously

Anyone have advice/can point me in the direction of a good source for analysis on the security of sha256 hashing

What about it? The SHA-2 family has been widely studied

We are thinking of the scope similar to that of the Bulletproofs audit. We would put up more details in a formal proposal. Will we have to write a CCS proposal for the same? sarang

sarang: I am sure it has, but I was looking for a good/reputable source.

Looks like the researcher quit, but if they pop up again, they can also use MAGIC's fundraising method if they want

Will want to see what their general proposal looks like however