Skip to content
Merged
Changes from all commits
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
80d5537
wip jagged_commit
kunxian-xia Apr 7, 2026
91aa59f
feat: jagged sumcheck (#32)
kunxian-xia Apr 14, 2026
83fd31c
Merge branch 'main' into feat/jagged_commit_adaptor
hero78119 Apr 14, 2026
adc2636
feat: make streaming epoch schedule configurable in jagged_sumcheck_p…
Copilot Apr 14, 2026
c457a17
Feat: evaluator for jagged indicator function (#39)
kunxian-xia Apr 23, 2026
4c3a23f
feat: implement jagged_batch_open and jagged_batch_verify
kunxian-xia Apr 23, 2026
a8240d0
update doc comments
kunxian-xia Apr 24, 2026
634f725
polish doc comments
kunxian-xia Apr 24, 2026
ef45229
polish doc comments
kunxian-xia Apr 24, 2026
20f8dc5
reorg
kunxian-xia Apr 24, 2026
a5e0b3e
move types to a separate file
kunxian-xia Apr 24, 2026
a0031e1
fix: add missing rayon trait imports for --all-features clippy
kunxian-xia Apr 24, 2026
80a5818
Merge branch 'main' into feat/jagged_pcs
kunxian-xia Apr 24, 2026
7df243c
update doc comments: document correction factors for different-height…
kunxian-xia Apr 24, 2026
ed522af
refactor: rename generic parameter Pcs to InnerPcs for readability
kunxian-xia Apr 24, 2026
352ebd2
docs: document 2^{s_i} block sizes and zero-padding cost vs SP1
kunxian-xia Apr 24, 2026
a14b87b
feat: assist sumcheck for jagged PCS (#42)
kunxian-xia Apr 28, 2026
3de7ad4
Merge branch 'main' into feat/jagged_pcs
kunxian-xia Apr 30, 2026
560f5a9
docs: label batched opening claim and document correction factor incl…
Copilot Apr 30, 2026
41d40f7
feat: add reshape step to jagged PCS (#48)
kunxian-xia Apr 30, 2026
c530e7f
feat: make JaggedSumcheckInput::compute_claimed_sum public
kunxian-xia May 7, 2026
fba57ba
feat: add jagged vs direct PCS comparison bench and use p3 RowMajorMa…
kunxian-xia May 8, 2026
eef1ee2
misc: prefix align without bit reverse
hero78119 May 12, 2026
85dbfef
jagged: direct concat for prefix-aligned points (#56)
hero78119 May 12, 2026
fced6a7
Merge branch 'main' into feat/jagged_pcs
kunxian-xia May 12, 2026
c15f312
WIP integrate jagged pcs cpu
hero78119 May 12, 2026
5443c88
Merge remote-tracking branch 'upstream/main' into feat/jagged_pcs
hero78119 May 12, 2026
a075bdc
Fix jagged PCS padded opening normalization
hero78119 May 12, 2026
320130c
misc: format
hero78119 May 12, 2026
1886aef
misc: clippy fix
hero78119 May 12, 2026
0bca53c
avoid reconstruct q_mles
hero78119 May 12, 2026
83ad331
Merge branch 'main' of github.com:scroll-tech/gkr-backend into feat/j…
hero78119 May 12, 2026
9c32d21
more docs
hero78119 May 12, 2026
6aec32e
Merge branch 'main' of github.com:scroll-tech/gkr-backend into feat/j…
hero78119 May 12, 2026
0f720f4
Merge branch 'feat/jagged_pcs_ori' into feat/jagged_pcs
hero78119 May 12, 2026
ab73c00
misc: fmt and clippy
hero78119 May 12, 2026
cfa769f
feat: group jagged q prime commitments
hero78119 May 13, 2026
b633b57
Merge remote-tracking branch 'upstream/main' into feat/jagged_pcs_impl
hero78119 May 13, 2026
5f887bf
retain fast path for one column
hero78119 May 14, 2026
a1ec1fa
fix label
hero78119 May 15, 2026
11f984e
misc: function scope
hero78119 May 16, 2026
8b6c814
fix: preserve default device backing padding
hero78119 May 16, 2026
a06e91b
Merge branch 'main' into feat/witgen_gpu
hero78119 May 18, 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
5 changes: 4 additions & 1 deletion crates/witness/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -310,10 +310,13 @@ impl<T: Sized + Sync + Clone + Send + Copy + Default + FieldAlgebra> RowMajorMat
}

pub fn padding_by_strategy(&mut self) {
self.invalidate_device_backing();
let num_rotation = Self::num_rotation(self.log2_num_rotation);
let start_index = self.num_instances() * num_rotation * self.n_col();

if matches!(self.padding_strategy, InstancePaddingStrategy::Custom(_)) {
self.invalidate_device_backing();
}

match &self.padding_strategy {
InstancePaddingStrategy::Default => (),
InstancePaddingStrategy::Custom(fun) => {
Expand Down
Loading