L'auditeur IA zkao découvre un bug critique de solidité dans la bibliothèque guest zkVM d'OpenVM
L'auditeur IA de ZK/SEC, zkao, a découvert un bug critique de fiabilité dans la bibliothèque invitée d'OpenVM openvm-pairing. Ce bug permet à un prouveur malveillant de falsifier toute égalité de pairing, brisant la fiabilité de Groth16, PLONK avec KZG et des signatures BLS reposant sur la bibliothèque vulnérable. Le problème a été identifié sous le numéro CVE-2026-46669 et corrigé dans OpenVM 1.6.0.
Comment il a été trouvé
ZK/SEC a scanné OpenVM dans le cadre d'une expérience IA utilisant Opus 4.6, 4.7 et Codex 5.3, 5.4 avec des invites simples et des compétences maintenues par des experts. Les premiers scans ont donné des résultats valides mais non exploitables. L'équipe a ensuite déployé zkao, son auditeur IA spécialisé, qui après plus de 9,5 heures de scan a produit de nombreux résultats. Un tri rapide a identifié le problème critique de pairing avec un PoC minimal généré par zkao lui-même.
Le bug en un coup d'œil
| Bug | Sévérité IA | Sévérité OpenVM | Commit de correction | Trouvé par |
|---|---|---|---|---|
| openvm-pairing : vérification de pairing manquant un contrôle approprié de sous-corps sur le facteur d'échelle | Critique | Critique | a720e2c | zkao |
Impact
Les pairings sont le moteur de Groth16, PLONK avec KZG et des signatures BLS. Un vérificateur vérifie généralement si un produit de pairings est égal à un. Si un prouveur peut faire apparaître un faux produit de pairings comme étant un, tout ce qui est construit dessus n'est plus fiable. Le bug réside spécifiquement dans la vérification de pairing manquant un contrôle approprié de sous-corps sur le facteur d'échelle.
Remarque : Ce n'est pas un bug dans le système de preuve du zkVM lui-même — seul le code utilisant la bibliothèque openvm-pairing vulnérable est affecté.
Détails techniques
Le pipeline IA de ZK/SEC utilise une architecture modulaire : des sous-agents analysent des modules de code individuels pour détecter des hypothèses et invariants, puis un agent principal combine les résultats. Pour des bases de code complexes comme OpenVM, la chasse aux bugs isolée est insuffisante ; la clé est de capturer les violations d'invariants entre modules. ZK/SEC prévoit de publier plus de détails techniques dans un article de suivi.
📖 Lire la source complète : HN LLM Tools
👀 See Also
Sécurité Slack OpenClaw : Risques d'exposition des clés API et correctifs
Les déploiements OpenClaw sur Slack peuvent exposer des clés API via des messages d'erreur dans les canaux, avec plus de 8 000 instances trouvées exposées dans un rapport Bitsight. La source détaille trois vulnérabilités spécifiques et propose des correctifs pratiques incluant des modifications de prompts système et une migration vers SlackClaw.
Le système d'IA découvre 12 zero-days dans OpenSSL, Curl annule son programme de prime aux bogues à cause du spam généré par l'IA.
Le système d'IA d'AISLE a découvert les 12 vulnérabilités zero-day dans la dernière mise à jour de sécurité d'OpenSSL, marquant la première démonstration à grande échelle de la cybersécurité basée sur l'IA. Pendant ce temps, curl a annulé son programme de prime aux bogues en raison des soumissions de spam générées par l'IA.
Signaux audio cachés détournent les systèmes d'IA vocale avec un taux de succès de 79 à 96 %
La recherche montre que des clips audio imperceptibles peuvent forcer les LALM à exécuter des commandes non autorisées comme des recherches web, des téléchargements de fichiers et l'exfiltration d'e-mails avec un taux de succès de 79 à 96 % sur 13 modèles, y compris les services Mistral et Microsoft.
Caelguard : Scanner de sécurité open-source pour les instances OpenClaw
Caelguard est un scanner de sécurité open-source conçu pour OpenClaw qui exécute 22 vérifications sur votre instance, incluant l'isolation Docker, la délimitation des permissions des outils et la vérification de la chaîne d'approvisionnement des compétences. Il fournit un score sur 140 avec une note alphabétique et des étapes de correction spécifiques.