Feat: jagged pcs#40

Merged

kunxian-xia merged 26 commits into

mainfrom

feat/jagged_pcs

May 13, 2026

Commits on Apr 7, 2026

wip jagged_commit
kunxian-xia
committed

Commits on Apr 14, 2026

Commits on Apr 23, 2026

Feat: evaluator for jagged indicator function (#39)

kunxian-xia
and
claude
authored
feat: implement jagged_batch_open and jagged_batch_verify

kunxian-xia
and
claude
committed

Commits on Apr 24, 2026

Commits on Apr 28, 2026

feat: assist sumcheck for jagged PCS (#42)

kunxian-xia
and
claude
authored

Commits on Apr 30, 2026

Commits on May 7, 2026

feat: make JaggedSumcheckInput::compute_claimed_sum public
kunxian-xia
committed

Commits on May 8, 2026

feat: add jagged vs direct PCS comparison bench and use p3 RowMajorMatrix

kunxian-xia
and
claude
committed

Commits on May 12, 2026

Commits on May 13, 2026

Integrate Jagged PCS for Ceno CPU (#58)
hero78119
authored