Skip to content

docs: document precommitted polynomial reductions#20

Open
RadNi wants to merge 1 commit into
amir/bytecode-stack/04-bytecode-program-reductionfrom
amir/bytecode-stack/05-surface-docs
Open

docs: document precommitted polynomial reductions#20
RadNi wants to merge 1 commit into
amir/bytecode-stack/04-bytecode-program-reductionfrom
amir/bytecode-stack/05-surface-docs

Conversation

@RadNi
Copy link
Copy Markdown

@RadNi RadNi commented May 21, 2026 •
edited
Loading

Generated stack PR from amir/bytecode-commitment-merged.

Depends on spec PR: a16z#1565

Stack position: 05
Base branch: amir/bytecode-stack/04-bytecode-program-reduction

Owned paths:

book/src/how/architecture/opening-proof.md
examples/fibonacci/src/main.rs
examples/muldiv/src/main.rs
jolt-core/src/poly/commitment/dory/mod.rs

This PR is expected to be updated manually when amir/bytecode-commitment-merged is resliced.

@github-actions github-actions Bot added the no-spec PR has no spec file label May 21, 2026
@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch from 01ce43e to 8d14d29 Compare May 21, 2026 01:44
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch from 1e7818a to bebefe3 Compare May 21, 2026 01:44
@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch from 8d14d29 to b2cab0e Compare May 21, 2026 01:51
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch from bebefe3 to 70fe761 Compare May 21, 2026 01:51
@RadNi RadNi changed the title Document committed bytecode surfaces [05/05] Document committed bytecode surfaces May 21, 2026
@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch from b2cab0e to 5d0aa55 Compare May 21, 2026 01:56
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch from 70fe761 to a06029f Compare May 21, 2026 01:56
@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch from 5d0aa55 to 4741cdb Compare May 21, 2026 15:37
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch from a06029f to 4d881f9 Compare May 21, 2026 15:37
@RadNi RadNi changed the title [05/05] Document committed bytecode surfaces [05/05] Document precommitted polynomials reduction and example May 21, 2026
@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch from 4741cdb to 6150eee Compare May 21, 2026 18:02
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch from 4d881f9 to 10f6287 Compare May 21, 2026 18:02
@RadNi RadNi marked this pull request as ready for review May 21, 2026 18:10
@RadNi RadNi changed the title [05/05] Document precommitted polynomials reduction and example docs: document precommitted polynomial reductions May 21, 2026
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch from 10f6287 to d7e9a1c Compare May 22, 2026 15:57
@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch from 6150eee to 42d671b Compare May 22, 2026 15:57
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch from d7e9a1c to bef1f71 Compare May 22, 2026 17:11
@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch 2 times, most recently from 5c76a6b to 546aa02 Compare May 22, 2026 17:30
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch 2 times, most recently from 6451e84 to 5f921b0 Compare May 22, 2026 17:48
@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch 2 times, most recently from 30d2a9b to 48e80c2 Compare May 22, 2026 19:53
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch from 5f921b0 to 02503d9 Compare May 22, 2026 19:53
@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch from 48e80c2 to f307a64 Compare May 23, 2026 06:57
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch 2 times, most recently from 3f17338 to 4a40a79 Compare May 23, 2026 07:40
@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 23, 2026

Warning

This PR has more than 500 changed lines and does not include a spec.

Large features and architectural changes benefit from a spec-driven workflow.
See CONTRIBUTING.md for details on how to create a spec.

If this PR is a bug fix, refactor, or doesn't warrant a spec, feel free to ignore this message.

@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch from 3e65aa6 to 4637de5 Compare May 25, 2026 18:46
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch from 4a40a79 to 81eb2e8 Compare May 25, 2026 18:46
@RadNi RadNi force-pushed the amir/bytecode-stack/04-bytecode-program-reduction branch from 4637de5 to 881b8fc Compare May 26, 2026 04:38
@quangvdao @RadNi @cursoragent
docs: add committed bytecode surface documentation
232fd15 
Co-authored-by: Amirhossein Khajehpour <khajepour.amirhossein@gmail.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
@RadNi RadNi force-pushed the amir/bytecode-stack/05-surface-docs branch from 81eb2e8 to 232fd15 Compare May 26, 2026 05:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@moodlezoup moodlezoup moodlezoup approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

no-spec PR has no spec file

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@RadNi @moodlezoup @quangvdao