-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: l-adic/snarky
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
snarky-kimchi: EndoScalar laws apply the gate-semantics theorems directly
#297
opened Aug 14, 2026 by
martyall
Member
Loading…
snarky-kimchi: Poseidon windows hold by the gate's complete
#296
opened Aug 14, 2026 by
martyall
Member
Loading…
snarky-kimchi: AddComplete laws apply the gate-semantics theorems directly
#295
opened Aug 14, 2026 by
martyall
Member
Loading…
formal: snarky DSL port, 8 — double-generic row packing
#238
opened Jul 14, 2026 by
kejace
Collaborator
Loading…
formal: snarky DSL port, 7 — compilation is honest (satisfies_of_compile)
#237
opened Jul 14, 2026 by
kejace
Collaborator
Loading…
formal: snarky DSL port, 6 — compiling to a wired kimchi index
#236
opened Jul 14, 2026 by
kejace
Collaborator
Loading…
formal: snarky DSL port, 5 — the soundness bridge to Kimchi's Generic gate
#235
opened Jul 14, 2026 by
kejace
Collaborator
Loading…
formal: milestone 5 — the thesis (kimchi Fiat-Shamir, reflection, and the roots)
#232
opened Jul 11, 2026 by
martyall
Member
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.