Skip to content

feat(docs): technical overview#1313

Open
kunxian-xia wants to merge 6 commits intomasterfrom
docs/how_it_works
Open

feat(docs): technical overview#1313
kunxian-xia wants to merge 6 commits intomasterfrom
docs/how_it_works

Conversation

@kunxian-xia
Copy link
Copy Markdown
Collaborator

@kunxian-xia kunxian-xia commented Apr 16, 2026

Summary

Goal: Add docs to explain our technical design in details.

This should remove the burden to understand Ceno for both developers or AI. These materials will also be helpful for design / review AI agents to have a thorough understanding of our technology.

Contents

topics that're covered:

  1. architecture overview
    • multi-chip architecture (frontend)
    • intra-chip communications
      • memory: offline memory checking
      • lookup
  2. optimizations
    • distributed sumcheck
  3. appendix
    • gkr protocol for tower tree
    • gkr protocol for logup
    • local rotation

kunxian-xia and others added 4 commits April 16, 2026 17:09
Convert math formulas from \\(...\\) / \\[...\\] (mdbook-only) to
$...$ / $$...$$ so they render correctly on GitHub.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Create separate technical-overview.md for the parent section page
to avoid using architecture-overview.md twice in SUMMARY.md.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@kunxian-xia kunxian-xia linked an issue Apr 16, 2026 that may be closed by this pull request
kunxian-xia and others added 2 commits April 16, 2026 18:44
- Add docs/theme/head.hbs to load MathJax 3 with $ / $$ delimiters
- Escape underscores in math as \_ to prevent markdown emphasis mangling
- Remove built-in MathJax 2 (mathjax-support) to avoid conflicts

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
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.

docs: technical details (how it works)

1 participant