{"schema_version":1,"title":"Rocq Prover vulnerabilities","summary":"Junglewise Threat Intelligence has tracked 5 vulnerabilities in Rocq Prover: 0 in the last 7 days and 5 in the last 90 days, 0 of them critical and 0 exploited in the wild. The most recent, CVE-2026-72714, was published on 24 August 2026.","url":"https://junglewise.ai/threats/technologies/rocq-prover","json_url":"https://junglewise.ai/threats/technologies/rocq-prover.json","publisher":"Junglewise Threat Intelligence","license":"CC-BY-4.0","license_url":"https://creativecommons.org/licenses/by/4.0/","attribution":"Junglewise Threat Intelligence, https://junglewise.ai/threats/technologies/rocq-prover","sources":"NVD, GitHub Security Advisories, OSV, the CISA Known Exploited Vulnerabilities catalog, FIRST EPSS and vendor advisories","kind":"technology","counts":{"high":0,"all_time":5,"critical":0,"exploited":0,"last_7_days":0,"last_30_days":0,"last_90_days":5,"last_365_days":5},"latest":[{"cve":"CVE-2026-72714","cvss":6.3,"epss":0.0018,"slug":"cve-2026-72714-rocq-prover-kernel-soundness-bug-in-universe-checking-state","title":"Rocq Prover kernel soundness bug in universe checking state desynchronization","severity":"medium","exploited":false,"published_at":"2026-08-24T20:17:18.81+00:00","url":"https://junglewise.ai/threats/cve-2026-72714-rocq-prover-kernel-soundness-bug-in-universe-checking-state"},{"cve":"CVE-2026-72705","cvss":6.3,"epss":0.0018,"slug":"cve-2026-72705-rocq-prover-guard-checker-higher-order-fixpoint-bypass","title":"Rocq Prover guard checker higher-order fixpoint bypass","severity":"medium","exploited":false,"published_at":"2026-08-24T20:17:18.52+00:00","url":"https://junglewise.ai/threats/cve-2026-72705-rocq-prover-guard-checker-higher-order-fixpoint-bypass"},{"cve":"CVE-2026-72704","cvss":6.3,"epss":0.0018,"slug":"cve-2026-72704-rocq-prover-guard-checker-rectree-corruption","title":"Rocq Prover guard checker rectree corruption","severity":"medium","exploited":false,"published_at":"2026-08-24T20:17:18.39+00:00","url":"https://junglewise.ai/threats/cve-2026-72704-rocq-prover-guard-checker-rectree-corruption"},{"cve":"CVE-2026-72703","cvss":6.3,"epss":0.0018,"slug":"cve-2026-72703-rocq-prover-guard-checker-fixpoint-parameter-handling-flaw","title":"Rocq Prover guard checker fixpoint parameter handling flaw","severity":"medium","exploited":false,"published_at":"2026-08-24T20:17:18.24+00:00","url":"https://junglewise.ai/threats/cve-2026-72703-rocq-prover-guard-checker-fixpoint-parameter-handling-flaw"},{"cve":"CVE-2020-37268","cvss":6.3,"epss":0.0018,"slug":"cve-2020-37268-rocq-print-assumptions-logic-error-in-universe-checking","title":"Rocq Print Assumptions logic error in universe checking","severity":"medium","exploited":false,"published_at":"2026-08-24T20:16:40.56+00:00","url":"https://junglewise.ai/threats/cve-2020-37268-rocq-print-assumptions-logic-error-in-universe-checking"}],"weekly":[{"week":"2026-06-29","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-07-06","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-07-13","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-07-20","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-07-27","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-08-03","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-08-10","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-08-17","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-08-24","critical":0,"exploited":0,"vulnerabilities":5},{"week":"2026-08-31","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-09-07","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-09-14","critical":0,"exploited":0,"vulnerabilities":0},{"week":"2026-09-21","critical":0,"exploited":0,"vulnerabilities":0}],"related":[],"technology":{"hub":true,"name":"Rocq Prover","slug":"rocq-prover","vendor":{"name":"Rocq","slug":"rocq","url":"https://junglewise.ai/threats/vendors/rocq"},"aliases":[],"category":"proof-assistant","url":"https://junglewise.ai/threats/technologies/rocq-prover"},"most_severe":[{"cve":"CVE-2026-72714","cvss":6.3,"epss":0.0018,"slug":"cve-2026-72714-rocq-prover-kernel-soundness-bug-in-universe-checking-state","title":"Rocq Prover kernel soundness bug in universe checking state desynchronization","severity":"medium","exploited":false,"published_at":"2026-08-24T20:17:18.81+00:00","url":"https://junglewise.ai/threats/cve-2026-72714-rocq-prover-kernel-soundness-bug-in-universe-checking-state"},{"cve":"CVE-2026-72705","cvss":6.3,"epss":0.0018,"slug":"cve-2026-72705-rocq-prover-guard-checker-higher-order-fixpoint-bypass","title":"Rocq Prover guard checker higher-order fixpoint bypass","severity":"medium","exploited":false,"published_at":"2026-08-24T20:17:18.52+00:00","url":"https://junglewise.ai/threats/cve-2026-72705-rocq-prover-guard-checker-higher-order-fixpoint-bypass"},{"cve":"CVE-2026-72704","cvss":6.3,"epss":0.0018,"slug":"cve-2026-72704-rocq-prover-guard-checker-rectree-corruption","title":"Rocq Prover guard checker rectree corruption","severity":"medium","exploited":false,"published_at":"2026-08-24T20:17:18.39+00:00","url":"https://junglewise.ai/threats/cve-2026-72704-rocq-prover-guard-checker-rectree-corruption"},{"cve":"CVE-2026-72703","cvss":6.3,"epss":0.0018,"slug":"cve-2026-72703-rocq-prover-guard-checker-fixpoint-parameter-handling-flaw","title":"Rocq Prover guard checker fixpoint parameter handling flaw","severity":"medium","exploited":false,"published_at":"2026-08-24T20:17:18.24+00:00","url":"https://junglewise.ai/threats/cve-2026-72703-rocq-prover-guard-checker-fixpoint-parameter-handling-flaw"},{"cve":"CVE-2020-37268","cvss":6.3,"epss":0.0018,"slug":"cve-2020-37268-rocq-print-assumptions-logic-error-in-universe-checking","title":"Rocq Print Assumptions logic error in universe checking","severity":"medium","exploited":false,"published_at":"2026-08-24T20:16:40.56+00:00","url":"https://junglewise.ai/threats/cve-2020-37268-rocq-print-assumptions-logic-error-in-universe-checking"}],"generated_at":"2026-09-26T09:11:00.170868+00:00"}