ZDF
Sign inSign up

Vulnerabilities

Vulnerability · CVE-2026-41197

Noir is a Domain Specific Language for SNARK proving systems that is designed to use any ACIR compatible proving system, and Brillig is the bytecode ACIR uses for non-determinism.

Published Apr 23, 2026 · catalog updated Jun 17, 2026 · Noir is a Domain

Check if you run it

No confirmed exploitation is on record for CVE-2026-41197. EPSS is 0.49%. Act only if a listed version of Noir is a Domain is installed.

Gaps on this record

  • The stored product name is a package slug. The name on this page is taken from the title (Noir is a Domain).
  • No version range is stored. A customer cannot check an installed version against this record.
  • No vendor fix or required action is stored. Compare the linked advisory before you change production.
Severity
Critical9.3
Known exploitation
Not in CISA/VulnCheck KEV
EPSS
0.49%
Remediation
Advisory link
Affected products
See sources for product scope

Noir is a Domain Specific Language for SNARK proving systems that is designed to use any ACIR compatible proving system, and Brillig is the bytecode ACIR uses for non-determinism. Noir programs can invoke external functions through foreign calls. When compiling to Brillig bytecode, the SSA instructions are processed block-by-block in . When the compiler encounters an with a target, it invokes in , which dispatches to . Before emitting the foreign call opcode, the compiler must pre-allocate memory for any array results the call will return. This happens through , which iterates over the result types. For results, it delegates to to recursively allocate memory on the heap for nested arrays. The struct is the internal representation of a Noir array in Brillig IR. Its field represents the semi-flattened size, the total number of memory slots the array occupies, accounting for the fact that composite types like tuples consume multiple slots per element. This size is computed by in . For the outer array, correctly uses , which internally calls . This function applies the formula above, producing the correct semi-flattened size. However, for nested arrays, contains a bug. The pattern discards the inner types with and uses only , the semantic length of the nested array (the number of logical elements), not the semi-flattened size. For simple element types this works correctly, but for composite element types it under-allocates. Foreign calls returning nested arrays of tuples or other composite types corrupt the Brillig VM heap. Version 1.0.0-beta.19 fixes this issue.

No affected version ranges are stored yet. Use the vendor advisory before you decide this record does not apply.

How to fix CVE-2026-41197

What to do

Three questions, each answered from this record only. Confirm the vendor advisory before you patch.

Should you patch?

No confirmed exploitation is on record for CVE-2026-41197. EPSS is 0.49%. Act only if a listed version of Noir is a Domain is installed.

Which versions are affected?

Affected version ranges are not on this record. Compare the installed version with the linked vendor advisory before you change production.

What should an analyst verify?

CWE-131. EPSS 0.49%. There is no CISA KEV listing. No Exploit-DB or Metasploit reference is linked. Use the source links for the original advisory.

Code

The project this record applies to. Exploit listings stay in References.

Timeline

Detection, updates, and resolution for this record.

  1. Apr 23, 2026 · NIST NVD

    Detected

    Noir is a Domain Specific Language for SNARK proving systems that is designed to use any ACIR compatible proving system, and Brillig is the bytecode ACIR uses for non-determinism. Noir programs can invoke external functions through foreign calls. When compiling to Brillig bytecode, the SSA instructions are processed block-by-block in . When the compiler encounters an with a target, it invokes in ,

  2. Jun 17, 2026 · NIST NVD

    Updated

    Noir is a Domain Specific Language for SNARK proving systems that is designed to use any ACIR compatible proving system, and Brillig is the bytecode ACIR uses for non-determinism. Noir programs can invoke external functions through foreign calls. When compiling to Brillig bytecode, the SSA instructions are processed block-by-block in . When the compiler encounters an with a target, it invokes in ,

Sources

  • CVE.orgVulnerability recordCVE-2026-41197

    Official CVE identifier

    cve.org
  • FIRST EPSSExploitation probabilityCVE-2026-41197

    30-day exploitation probability 0.5%

    first.org
  • NIST NVDVulnerability recordCVE-2026-41197

    Noir is a Domain Specific Language for SNARK proving systems that is designed to use any ACIR compatible proving system, and Brillig is the bytecode ACIR uses for non-determinism. Noir programs can invoke external functions through foreign calls. When compiling to Brillig bytecod

    nvd.nist.gov

References

Freshness

Last verified in this catalog Oct 18, 2026. Significant claims (KEV, EPSS, CVSS, affected ranges) come from the source rows above — open the original publisher for the authoritative advisory.