All issues

Search results

Boolean OR complement folding deletes a tautology

Status: Open.

#247 In circify/circ;

· NullWitnessZK opened on Aug 4, 2026

False dynamic conditional store overwrites slot zero

Status: Open.

#246 In circify/circ;

· NullWitnessZK opened on Aug 4, 2026

Wide bit-vector arithmetic wraps before truncation

Status: Open.

#245 In circify/circ;

· NullWitnessZK opened on Aug 4, 2026

Covering-ROM classification admits an inactive late write

Status: Open.

#244 In circify/circ;

· NullWitnessZK opened on Aug 4, 2026

u128 division admits spurious quotient and remainder witnesses

Status: Open.

#243 In circify/circ;

· NullWitnessZK opened on Aug 4, 2026

Wide variable shifts wrap in the scalar field

Status: Open.

#242 In circify/circ;

· NullWitnessZK opened on Aug 4, 2026

Strange Z# inference behavior

Status: Open.

#234 In circify/circ;

· cmlsharp opened on Sep 8, 2025

Potential Z# footgun

Status: Open.

#233 In circify/circ;

· cmlsharp opened on Sep 8, 2025

Weird CirC behavior when working with the sample_challenge function.

Status: Open.

#231 In circify/circ;

· sashafrolov opened on Jun 20, 2025

MPC: modulo not working as expected

Status: Open.

#228 In circify/circ;

· sebw42 opened on Mar 12, 2025

MPC: unexpected result when using bit shifts

Status: Open.

#227 In circify/circ;

· sebw42 opened on Mar 12, 2025

MPC: unexpected output when accessing arrays

Status: Open.

#226 In circify/circ;

· sebw42 opened on Mar 6, 2025