Comment by tptacek

They got Mihir Bellare to review (and write a proof for) the private set intersection cryptography pieces of this.

https://www.apple.com/child-safety/pdf/Technical_Assessment_...

Apple's official proof was done in part by Dan Boneh:

https://www.apple.com/child-safety/pdf/Apple_PSI_System_Secu...