Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
48fb7c8
gkr: start looking up the bottom three layers in 16-entry tables (WIP…
xrvdg Oct 8, 2026
afb9dad
common: let bit_transpose drop to u64..u8 blocks for an axis shorter …
xrvdg Oct 9, 2026
7da7355
gkr: build layer 3 up from 16-entry tables and nibbles, rebuilding la…
xrvdg Oct 9, 2026
af95cf5
common: read StepIter's words as u64, as a u128 made the GKR's layer …
xrvdg Oct 9, 2026
a10bfca
gkr: build layer 3 a word of nibbles at a time per pair of tables, dr…
xrvdg Oct 9, 2026
387c9e7
gkr: make points little-endian, rename SuffixTable to EqTables, split…
xrvdg Oct 19, 2026
37ce8fd
gkr: document why EqTables keeps every table rather than halving the …
xrvdg Oct 19, 2026
b95bc59
gkr: prove_rounds for the dense rounds, tests on bit tables
xrvdg Oct 20, 2026
d4c0ecd
gkr: LUT-backed round 1 for layers 2, 1 and the leaves
xrvdg Oct 21, 2026
4e2c34c
gkr: pairs yields per word, its users loop over the 16 positions
xrvdg Oct 21, 2026
e269133
gkr: build layer 3 and the layers above in parallel
xrvdg Oct 21, 2026
94e0253
gkr: drop the full lower layers, docs in tree terms
xrvdg Oct 22, 2026
02604b0
gkr: refresh single_threaded.patch for round_sums and bind
xrvdg Oct 22, 2026
02de728
Merge branch 'xr/bittable' into xr/lut
xrvdg Oct 22, 2026
b49a33a
gkr: drop gpgkr_prove's log_bits, sizing its buffers from layer 1's n…
xrvdg Nov 13, 2026
a5bbfe2
gkr: mark gpgkr_prove #[must_use], write its types as Field and take …
xrvdg Nov 13, 2026
7727322
gkr: let pairs compute its own stride, assert gpgkr_prove's point has…
xrvdg Nov 13, 2026
ce11b0d
gkr: fix layer2_sums to layer 2, moving the unreachable arm up into r…
xrvdg Nov 13, 2026
2c8cd42
gkr: refresh single_threaded.patch for pairs' own stride and layer2_sums
xrvdg Nov 13, 2026
d1c09b8
gkr: count LUT nodes per layer with LutLayers::nodes::<LAYER>, derive…
xrvdg Nov 13, 2026
0297e45
Merge remote-tracking branch 'origin/main' into xr/lut
xrvdg Nov 13, 2026
f619a0d
common: remove the bit_transpose bench and its bench feature, documen…
xrvdg Nov 13, 2026
569f01f
gkr: name the 16 lookup table entries LUT_ENTRIES, write layer2_sums …
xrvdg Nov 13, 2026
a4ea894
gkr: transpose the bit table and build the lookup tables in LutLayers…
xrvdg Nov 13, 2026
6900dba
gkr: replace GrandProductCircuit with a grand_product function, drop …
xrvdg Nov 13, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 0 additions & 9 deletions crates/common/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,6 @@ license.workspace = true
[features]
default = ["parallel"]
parallel = ["dep:rayon"]
# Exposes private kernels to `benches/`; not part of the public API.
bench = []

[dependencies]
crypto-primitives = { workspace = true }
Expand All @@ -22,11 +20,4 @@ num-traits = { workspace = true }
transcript = { workspace = true }

[dev-dependencies]
divan = { workspace = true }
num-bigint = { workspace = true }
rand = { workspace = true }

[[bench]]
name = "matrix"
harness = false
required-features = ["bench"]
51 changes: 0 additions & 51 deletions crates/common/benches/matrix.rs

This file was deleted.

Loading
Loading