Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Modify lookup poly evaluator for the convenience of verification in plonk example #15

Merged
merged 18 commits into from
Aug 23, 2024

Conversation

PayneJoe
Copy link
Collaborator

For the convenience of logup verification in plonk example, this PR mainly add two small modifications:

  • add eval hint in PointEvaluator
  • change publicity of alpha_powers

@PayneJoe PayneJoe requested a review from weikengchen August 23, 2024 02:09
@weikengchen weikengchen merged commit a79344c into dev Aug 23, 2024
8 checks passed
@weikengchen weikengchen deleted the dev-3 branch August 23, 2024 03:06
weikengchen added a commit that referenced this pull request Sep 13, 2024
change mix_nonce to be consistent

update sha256 channel impl:

Modify lookup poly evaluator for the convenience of verification in plonk example  (#15)

* Cumulative changes to stwo

Co-authored-by: PayneJoe <[email protected]>

* temp change: flip the sign on mul in plonk; this temp change may be discarded

* allow small blowup

* add tiny blowup

* parallel sha256

* change publicity of sampled_values_to_mask

* add evaluation hint on PointEvaluator

* three constraints (batched)

* fix publicity of alpha_powers in lookup elements

* remove bws sha256 files

* Update sha256.rs

* Update sha256.rs

* Update mod.rs

* Update mod.rs

* Update mod.rs

* Update crates/prover/src/constraint_framework/point.rs

* Apply suggestions from code review

---------

Co-authored-by: Weikeng Chen <[email protected]>
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.

2 participants