Skip to content

Integrate Jagged PCS for Ceno CPU - #57

Closed
hero78119 wants to merge 7 commits into
scroll-tech:feat/jagged_pcsfrom
hero78119:feat/jagged_pcs
Closed

hero78119 wants to merge 7 commits into
scroll-tech:feat/jagged_pcsfrom
hero78119:feat/jagged_pcs

Conversation

@hero78119

@hero78119 hero78119 commented May 12, 2026

Copy link
Copy Markdown
Collaborator

Problem

Ceno CPU needs Jagged PCS as a drop-in PCS path so per-chip commitments can be reduced into one q' opening over the existing inner PCS.

Approach

  • Add Jagged PCS commit/open support around the existing PCS trait flow.

Testing

  • cargo test -p mpcs jagged --quiet

Risk / Rollout

Main risk is opening-shape mismatch between padded Ceno MLEs and native q'. Rollout should stay CPU-only first; GPU integration can follow after CPU e2e validation.

Copilot Reviewer Directive (keep this section)

When Copilot reviews this PR, apply .github/copilot-instructions.md strictly.

  • Perform review only; do not commit/push/propose code changes.
  • Prefer inline comments on changed lines for each actionable finding.
  • If inline comments are unavailable, use [severity] path:line (symbol) format.
  • Prioritize soundness, performance, and architecture risks over style.
  • Output order: findings by severity, then open questions, then brief summary.
  • If PR description is empty or missing key context, report PR metadata: description as a finding.

@hero78119 hero78119 changed the title [jagged] impl ceno PCS Integrate Jagged PCS for Ceno CPU May 12, 2026
@hero78119 hero78119 closed this May 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant