Miden Transaction Kernel Audit
OpenZeppelin audited the Miden transaction kernel, the Miden Assembly program that validates and processes every transaction on Miden. 18 issues, 9 resolved.
This is the summary OpenZeppelin Blog publishes in its feed. The full article lives on their site.