The Monocypher crypto library now has been audited