All issues

Search results

formal: derive a record's CircuitType instance and its reading lemmas from one equivalence

Status: Open.

#380 In l-adic/snarky;

· martyall opened on Sep 18, 2026

formal: satisfiability of the two circuit halves on deployed proofs

Status: Open.

#373 In l-adic/snarky;

· martyall opened on Sep 17, 2026

pickles: duplicated 128-bit range checks on squeezed challenges

Status: Open.

#371 In l-adic/snarky;

· martyall opened on Sep 16, 2026

pickles: three design docs are untracked, and live code depends on one of them

Status: Open.

#366 In l-adic/snarky;

· martyall opened on Sep 16, 2026

pickles: diagnostic tracing outlives the investigations that added it

Status: Open.

#365 In l-adic/snarky;

· martyall opened on Sep 16, 2026

pickles: the discarded pow2PowSquare gates in finalize_other_proof constrain nothing

Status: Open.

#364 In l-adic/snarky;

· martyall opened on Sep 16, 2026

check_cs: the CS-equality corpus does not scale (37 GB to compile, ~15 min interpreted per pickles target)

Status: Open.

#355 In l-adic/snarky;

· martyall opened on Sep 14, 2026

x_hat gadget: model the deployed Lagrange lookup (masked condAddPt, sealed per-branch path)

Status: Open.

#342 In l-adic/snarky;

· martyall opened on Sep 11, 2026

Revisit: scale_fast top-bit pin patches deployed Mina (wrap CS-match fidelity)

Status: Open.

#341 In l-adic/snarky;

· martyall opened on Sep 11, 2026

pickles: side-loaded verification key is an unbound witness; rules cannot constrain it

bugSomething isn't workingSomething isn't working

Status: Open.

#333 In l-adic/snarky;

· martyall opened on Sep 8, 2026

pickles: vanishesOnZeroKnowledgeAndPreviousRows env slot is filled with placeholder/wrong values

Status: Open.

#322 In l-adic/snarky;

· martyall opened on Sep 2, 2026

bulletproof-pcs: Ipa.verifyWith is a strengthening of the deployed acceptance test, not a transcription

Status: Open.

#309 In l-adic/snarky;

· martyall opened on Aug 18, 2026