Least Authority, as the Zcash Ecosystem Security Lead, is auditing parts of the Zcash ecosystem with AI assistance, as mentioned here: [Grant Update] Zcash Ecosystem Security Lead - #42 by Liz315
We’ve also blogged about our use of AI to assist us: Avoiding Knowledge Collapse in Artificial Intelligence-Assisted Security Audits - Least Authority
Aside from that, we’d be happy to discuss what more can be done.