I am interested in learning how was Cairo audited, what vulnerabilities were surfaced and addressed, etc.
But having searched through multiple search engines and consulted multiple LLMs, I couldn’t find any public information / reports about Cairo’s audits still.
Is Cairo audited?