FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Feat: read `prod_evals` and `logup_evals` from hint in `sumcheck_layer_eval` by kunxian-xia · Pull Request #30 · scroll-tech/openvm · GitHub

Feat: read prod_evals and logup_evals from hint in sumcheck_layer_eval - #30

Merged
kunxian-xia merged 4 commits into
feat/v1.4.1-scroll-extfrom
feat/sumcheck_eval_hint
Jan 29, 2026
Merged

Feat: read prod_evals and logup_evals from hint in sumcheck_layer_eval#30
kunxian-xia merged 4 commits into
feat/v1.4.1-scroll-extfrom
feat/sumcheck_eval_hint

Conversation

kunxian-xia commented Jan 29, 2026
edited
Loading

Copy link
Copy Markdown

Summary

  • Read the prod_evals and logup_evals from hint;
  • (TODO, not sound right now) write it to uninitialized heap memory if in_round = 1.

Copy link
Copy Markdown
Author

We will merge this PR first and then fix the soundness issue in a future PR.

kunxian-xia merged commit ef22e8e into feat/v1.4.1-scroll-ext Jan 29, 2026
1 of 35 checks passed
github-merge-queue Bot pushed a commit to scroll-tech/ceno that referenced this pull request Jan 29, 2026
## Summary

- [x] rely on scroll-tech/openvm#30.
- [x] we read `prod_evals` from hint space inside `NativeSumcheck` chip
instead of moving them from hint stream to memory word by word.

### Performance

verifying the 6th shard of block `23817600`, the total cells and
instructions_executed before and after this PR.

|  | total cells | instructions_executed |
| - | - | - |
| before | 2B | 9.5M |
| after | 1.3B | 6.7M |
darth-cy added a commit that referenced this pull request Feb 2, 2026
kunxian-xia pushed a commit that referenced this pull request Feb 9, 2026
* Revert "Feat: read `prod_evals` and `logup_evals` from hint in `sumcheck_layer_eval` (#30)"

This reverts commit ef22e8e.

* consolidate hint slice changes

* debug

* debug

* fmt

* cuda

* reduce cell/column usage

* restore sumcheck hint ids unit test

* fix sumcheck test

* put sumcheck hint ids on register

* fmt

* remove context
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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


Back | FazBrowse Home | New Git URL