Repository navigation

GKR: lookup tables and bucketing - #146

Open

xrvdg wants to merge 25 commits into

mainfrom

Open

GKR: lookup tables and bucketing#146
xrvdg wants to merge 25 commits into
mainfrom
xr/lut

Commits on Oct 8, 2026
- gkr: start looking up the bottom three layers in 16-entry tables (WIP, does not build)
  xrvdg
  committed
  48fb7c8
Commits on Oct 9, 2026
Commits on Oct 19, 2026
- gkr: make points little-endian, rename SuffixTable to EqTables, split prove_layer and batched_eval into helpers
  xrvdg
  committed
  387c9e7
- gkr: document why EqTables keeps every table rather than halving the largest
  xrvdg
  committed
  37ce8fd
Commits on Oct 20, 2026
- gkr: prove_rounds for the dense rounds, tests on bit tables
  xrvdg
  committed
  b95bc59
Commits on Oct 21, 2026
- gkr: LUT-backed round 1 for layers 2, 1 and the leaves
  xrvdg
  committed
  d4c0ecd
- gkr: pairs yields per word, its users loop over the 16 positions
  xrvdg
  committed
  4e2c34c
- gkr: build layer 3 and the layers above in parallel
  xrvdg
  committed
  e269133
Commits on Oct 22, 2026
- gkr: drop the full lower layers, docs in tree terms
  xrvdg
  committed
  94e0253
- gkr: refresh single_threaded.patch for round_sums and bind
  xrvdg
  committed
  02604b0
- Merge branch 'xr/bittable' into xr/lut
  xrvdg
  committed
  02de728
Commits on Nov 13, 2026