Issues

• Positional anonymous-component call silently drops an input assignment when the template declares same-named inputs in if/else branches — compiled R1CS can end up with zero constraints and an unbound public output

  iden3/circom#444 · Filter by author randomsleep opened on Oct 26, 2026

• Reused WASM witness calculators can disclose a prior request's input when aliased bus keys bypass completeness checks

  iden3/circom#443 · Filter by author randomsleep opened on Oct 26, 2026

• O1/O2 contradictory constant pins are dropped last-write-wins, making an unsatisfiable source circuit provable

  iden3/circom#442 · Filter by author randomsleep opened on Oct 26, 2026

• Release build initializes the whole bus slice for indexed or nested bus assignment, weakening generated constraints

  iden3/circom#441 · Filter by author randomsleep opened on Oct 26, 2026

• Comment stripper is not string-aware: a log string containing /* silently deletes every statement up to a later */, so compiled R1CS drops constraints the source expresses

  iden3/circom#440 · Filter by author randomsleep opened on Oct 26, 2026

• Valid program rejected with T3001 "Signal has been already assigned" when a signal-dependent if contains a loop in nested else

  iden3/circom#437 · Filter by author NullWitnessZK opened on Oct 20, 2026

• Compiler panic (divide by zero) with --wasm/--c when a template with signal s[0] is used differently in one component array

  iden3/circom#436 · Filter by author NullWitnessZK opened on Oct 20, 2026

• Valid inputs rejected: b != 0 ? g(a, b) : 7 calls g even when b == 0 (also for an unbraced if branch)

  iden3/circom#435 · Filter by author NullWitnessZK opened on Oct 20, 2026

• Wrong witness: inside a loop, c ? x : y uses the arm's value from an earlier iteration once c depends on a signal

  iden3/circom#434 · Filter by author NullWitnessZK opened on Oct 20, 2026

• Wrong witness: while (g(i) < n) evaluates g(i) only once, before the loop, so the loop runs too long or never ends

  iden3/circom#433 · Filter by author NullWitnessZK opened on Oct 20, 2026

• Valid inputs rejected with --sanity_check 3: an in-bounds a[(x - 5) + (x - 4)] is reported out of bounds (unreleased master)

  iden3/circom#432 · Filter by author NullWitnessZK opened on Oct 20, 2026

• Valid inputs rejected: x = [x[1], x[0]] does not swap in the witness generator, so the honest witness violates the R1CS

  iden3/circom#431 · Filter by author NullWitnessZK opened on Oct 20, 2026

• binary circuits

  iden3/circom#429 · Filter by author conduition opened on Sep 8, 2026

• Contradictory constant pins are lost during simplification

  iden3/circom#425 · Filter by author NullWitnessZK opened on Aug 4, 2026

• Bug: constant-folded left shift 1 << (1 << 30) OOMs the compiler

  iden3/circom#422 · Filter by author anon-researchers-123 opened on Jul 9, 2026

• Bug: pragma circom panics the parser instead of emitting P1003

  iden3/circom#421 · Filter by author anon-researchers-123 opened on Jul 9, 2026

• Bug: template recursion crashes Circom

  iden3/circom#420 · Filter by author anon-researchers-123 opened on Jul 9, 2026

• Bug: % by zero panics the compiler

  iden3/circom#419 · Filter by author anon-researchers-123 opened on Jul 9, 2026

• Safe-mode bounds checks miss indexes inside bus field accesses

  iden3/circom#418 · Filter by author jf-li00 opened on Jul 7, 2026

• Docs website polyfill phishing attack

  iden3/circom#417 · Filter by author tim-hoffman opened on Jul 1, 2026

• Constant << / >> by a large shift amount hangs the compiler

  iden3/circom#416 · Filter by author jubnzv opened on Jun 21, 2026

• ICE on constant x % 0 instead of erroring

  iden3/circom#415 · Filter by author jubnzv opened on Jun 20, 2026

• ZK-Humanity Verification API - Integration Opportunity

  iden3/circom#411 · Filter by author chukwumaoduagu-bit opened on May 22, 2026

• Bug: Compiler stack overflow crash on deeply nested expressions (~2900 levels)

  iden3/circom#408 · Filter by author chamitro opened on Mar 19, 2026
  1

• [Bugs] Circom Bug Reports — Found with ZK's compiler differential Testing

  iden3/circom#407 · Filter by author chamitro opened on Mar 17, 2026
  2