Issues

• fix: initial padding row for ROM/WOM

  LFDT-Lineth/zkc#2303 · Filter by author DavePearce opened on Oct 29, 2026

• Calls inside a #[native] function are traced, and break trace --check

  LFDT-Lineth/zkc#2293 · Filter by author Tabaie opened on Oct 20, 2026
  2

• feat: employ wide keccakf()

  LFDT-Lineth/zkc#2290 · Filter by author DavePearce opened on Oct 19, 2026

• Register splitting for CSUB

  LFDT-Lineth/zkc#2287 · Filter by author amkCha opened on Oct 19, 2026
  

• chore: return error instead of []error and typed errors

  cleaning
  LFDT-Lineth/zkc#2284 · Filter by author ivokub opened on Oct 14, 2026
  

• feat: support readable write-once memory (rWOM)

  LFDT-Lineth/zkc#2283 · Filter by author DavePearce opened on Oct 14, 2026

• bug: casted constant is no longer a constant

  bugperfraw
  LFDT-Lineth/zkc#2282 · Filter by author letypequividelespoubelles opened on Oct 13, 2026
  2

• feat: pack single lookups into fragmented lookups

  airconstraintsenhancementperf
  LFDT-Lineth/zkc#2281 · Filter by author DavePearce opened on Oct 13, 2026
  1

• fix: handling of wide shl / shr

  bug
  LFDT-Lineth/zkc#2275 · Filter by author DavePearce opened on Oct 11, 2026

• perf: Reuse existing columns instead of creating duplicates when :: splits a value on limb boundaries

  constraintsenhancementperfraw
  LFDT-Lineth/zkc#2274 · Filter by author YaoJGalteland opened on Oct 9, 2026
  6

• feat: support arbitrary expression forms for native registers

  enhancement
  LFDT-Lineth/zkc#2271 · Filter by author DavePearce opened on Oct 7, 2026

• feat: improve register allocation algorithm

  enhancement
  LFDT-Lineth/zkc#2268 · Filter by author DavePearce opened on Oct 6, 2026
  1

• feat: support test failures when two many registers allocated

  testing
  LFDT-Lineth/zkc#2267 · Filter by author DavePearce opened on Oct 6, 2026

• Other diamond shapes that should skip factorSkipConditions

  LFDT-Lineth/zkc#2262 · Filter by author amkCha opened on Oct 1, 2026
  8

  

• feat: employ transitive condition selector bits

  LFDT-Lineth/zkc#2257 · Filter by author DavePearce opened on Sep 30, 2026

• feat: lookup selectors created unnecessarily

  perf
  LFDT-Lineth/zkc#2256 · Filter by author DavePearce opened on Sep 30, 2026

• feat: enable coalescing for register vectors

  enhancementperf
  LFDT-Lineth/zkc#2255 · Filter by author DavePearce opened on Sep 30, 2026

• feat: support PreFlight API

  LFDT-Lineth/zkc#2254 · Filter by author DavePearce opened on Sep 29, 2026

• feat: identify registers which are defined but not used

  perf
  LFDT-Lineth/zkc#2253 · Filter by author DavePearce opened on Sep 29, 2026

• fix: unnecessary allocation for comparisons

  perf
  LFDT-Lineth/zkc#2251 · Filter by author DavePearce opened on Sep 28, 2026

• fix: missing zero-checks for limb arguments

  bug
  LFDT-Lineth/zkc#2250 · Filter by author DavePearce opened on Sep 28, 2026

• Meta-issue: Range Check

  constraintsperf
  LFDT-Lineth/zkc#2246 · Filter by author letypequividelespoubelles opened on Sep 25, 2026
  4

  

• feat: support constant registers in AIR

  LFDT-Lineth/zkc#2236 · Filter by author DavePearce opened on Sep 24, 2026
  3

• Duplicate subexpressions in the emitted AIR

  airconstraintsperf
  LFDT-Lineth/zkc#2235 · Filter by author YaoJGalteland opened on Sep 23, 2026
  8

• feat: efficient handling of large range constraints

  help wanted
  LFDT-Lineth/zkc#2232 · Filter by author DavePearce opened on Sep 22, 2026
  3