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

Sync upstream #109

Merged
merged 22 commits into from
Jul 17, 2024
Merged

Sync upstream #109

merged 22 commits into from
Jul 17, 2024

Conversation

sai-deng
Copy link

No description provided.

LindaGuiga and others added 21 commits May 3, 2024 14:10
0xPolygonZero#1587)

* Make select_proof_with_pis public

* Add API methods for dummy segment removal

* Change visibility of dummy_circuit

* Return actual verifier data

* Fix Clippy

* Apply comments

---------

Co-authored-by: Hamy Ratoanina <[email protected]>
Since `std` doesn't exist as a cfg, `not(std)` was always true, so this does not change any behavior.
Not all `correct` cross table lookups use padding for the last row.
…#1599)

* Add Field::shifted_powers and iterator niceties

* Remove comment
0xPolygonZero#1600)

* add batch starks

* fix build

* fix ci

* address comments from hratoanina

* address comments from Nashtare

* fix tests

* address comments from hratoanina

* Update plonky2/src/batch_fri/recursive_verifier.rs

Co-authored-by: Robin Salen <[email protected]>

* Update plonky2/src/hash/merkle_proofs.rs

Co-authored-by: Robin Salen <[email protected]>

* Update plonky2/src/batch_fri/verifier.rs

Co-authored-by: Robin Salen <[email protected]>

---------

Co-authored-by: Robin Salen <[email protected]>
@sai-deng sai-deng changed the title Sai/sync upstream Sync upstream Jul 16, 2024
Copy link
Collaborator

@matthiasgoergens matthiasgoergens left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please test against our mozak-vm before merging.

@sai-deng sai-deng merged commit 54b17c1 into main Jul 17, 2024
7 checks passed
@sai-deng sai-deng deleted the sai/sync-upstream branch July 17, 2024 06:25
sai-deng added a commit that referenced this pull request Jul 18, 2024
Co-authored-by: Linda Guiga <[email protected]>
Co-authored-by: Hamy Ratoanina <[email protected]>
Co-authored-by: Daniel-Aaron-Bloom <[email protected]>
Co-authored-by: nuno <[email protected]>
Co-authored-by: Matthias Görgens <[email protected]>
Co-authored-by: Robin Salen <[email protected]>
Co-authored-by: Gio <[email protected]>
Co-authored-by: Robin Salen <[email protected]>
sai-deng added a commit that referenced this pull request Jul 18, 2024
Co-authored-by: Linda Guiga <[email protected]>
Co-authored-by: Hamy Ratoanina <[email protected]>
Co-authored-by: Daniel-Aaron-Bloom <[email protected]>
Co-authored-by: nuno <[email protected]>
Co-authored-by: Matthias Görgens <[email protected]>
Co-authored-by: Robin Salen <[email protected]>
Co-authored-by: Gio <[email protected]>
Co-authored-by: Robin Salen <[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.

8 participants