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

Dev cliff upgrade plonky2 bn254 with latest plonky2 v0.2.0 #16

Merged
merged 39 commits into from
Apr 2, 2024

Conversation

cliff0412
Copy link
Collaborator

No description provided.

Nashtare and others added 30 commits February 4, 2024 11:15
* Switch permutation argument for logUp in starky

* Apply comments

* Refactor check_lookup_options

* Comments

* Add more visibility

* std -> core

* Revert "Add more visibility"

This reverts commit 2b4e50e.

* Add more visibility to lookup items
* Cleanup alloc/std versions for plonky2

* Fix import for macro
* Revert "Fix workflow"

This reverts commit 246c2b6.

* Revert "Fix nightly version"

This reverts commit 8f91913.

* chore: remove stdsimd feature req (stabilized)
…lygonZero#1503)

* Update prover logic

* Add helper method for CTL data

* Some cleanup

* Update some methods

* Fix

* Some more fixes

* More tweaks

* Final

* Leverage starky crate

* Additional tweaks

* Cleanup

* More cleanup

* Fix

* Cleanup imports

* Fix

* Final tweaks

* Cleanup and hide behind debug_assertions attribute

* Clippy

* Fix no-std

* Make wasm compatible

* Doc and remove todo

* API cleanup and remove TODO

* Add Debug impls

* Add documentation for public items

* Feature-gate alloc imports

* Import method from starky instead

* Add simple crate and module documentation

* Apply comments

* Add lib level documentation

* Add test without lookups

* Fix starks without logup

* Cleanup

* Some more cleanup

* Fix get_challenges for non-lookup STARKs

* Add additional config methods and tests

* Apply comments

* More comments
* Simulate jumpdest data with the interpreter

* Fix mising type paramenter on some tests

* Refactor simulation and fix some intepreter bugs

* Fix bug in interpreter

* Apply suggestions from code review

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

* Address remaining reviews

* [WIP] Fixing memory issue

* [WIP] Fixed memory issue but erc20 failing

* Fix interpreter halting issue

* Restore transition.rs

* Minor

* Adress reviews

* Address reviews

* Missing fix

---------

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

* Add additional methods for Poseidon with PackedField

* Apply comments

* Comment

---------

Co-authored-by: Linda Guiga <[email protected]>
* adjust to no_std build

* disable default features of serde_json

* cargo fmt & clippy

* fix review remarks
* Add hash public input methods

* Change vecs to arrays

* ::

* Fix method name
…Serializer` (0xPolygonZero#1531)

* Implement Default for DefaultGateSerializer and DefaultGeneratorSerializer

* Apply comments

* Update doc

* Clippy
* Fix clippy for maybe_rayon

* Remove reimports
* Add Debug impl for types

* Remove outdated clippy lint exceptions

* Hide internal custom gate methods and make some const
* Bump versions

* Bump hashbrown and ahash accordingly

* Update changelog
…1540)

* chore: remove conditional compilation for debug_utils

* chore: update CHANGELOG
npwardberkeley and others added 9 commits March 4, 2024 14:05
* Enable starks without constraints

* Clippy

* Add test stark without constraints

* Missing file

* Missing changes in the recursive side

* Fix bug with recursion

* Missing import

* Clippy

* Apply suggestions from code review

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

* Address reviews

* Fix TODO

* Apply suggestions from code review

Co-authored-by: Linda Guiga <[email protected]>

* More reviews

* Fix bug in eval_helper_columns

* Apply suggestions from code review

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

* Address reviews

* Allow <= blowup_factor + 1 constraints + reviews

* Add unconstrined Stark

* Missing file

* Remove asserts

---------

Co-authored-by: Robin Salen <[email protected]>
Co-authored-by: Linda Guiga <[email protected]>
@cliff0412 cliff0412 changed the title Dev cliff upgrade v0.2.0 Dev cliff upgrade plonky2 bn254 with latest plonky2 v0.2.0 Apr 2, 2024
@cliff0412 cliff0412 merged commit 956f203 into dev-cliff-support-bn128 Apr 2, 2024
0 of 4 checks passed
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.

9 participants