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

Upstream #5

Open
wants to merge 204 commits into
base: main
Choose a base branch
from
Open

Upstream #5

wants to merge 204 commits into from

Conversation

nikkolasg
Copy link
Collaborator

No description provided.

dvdplm and others added 30 commits November 29, 2023 09:09
* Implement MPT preinitialization

* Apply comments

* Replace GlobalMetadata reads with stores in the kernel

* Change memory specs

* Remove trie data length as a prover input
* Preinitialize all code segments

* Add zero writes after code_size

* Use preinitializing for extcodesize

* Fix gas calculation

* Extend logic to extcodecopy

* Apply comments
* Remove is_keccak_sponge

* Apply comment
* Merge MSTORE_32BYTES and MLOAD_32BYTES columns

* Fix circuit functions

* Apply comments
* Check that limbs after the length are 0

* Update comments

* Update comments
* Merge PUSH and PROVER_INPUT flags

* Apply comment
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
* Add aborting signal

* Clippy

* Update to Option following comment
muursh and others added 24 commits February 28, 2024 02:48
* 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 <30937548+Nashtare@users.noreply.github.com>

* Address reviews

* Fix TODO

* Apply suggestions from code review

Co-authored-by: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com>

* More reviews

* Fix bug in eval_helper_columns

* Apply suggestions from code review

Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>

* Address reviews

* Allow <= blowup_factor + 1 constraints + reviews

* Add unconstrined Stark

* Missing file

* Remove asserts

---------

Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
Co-authored-by: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com>
CTL filters can already express perfectly well the behaviour that we
gave for `None`.  No need to complicated anything.

Plus some random lint fixes that clippy demanded..
…lter

Simplify types: remove option from CTL filters
@mergify mergify bot mentioned this pull request May 17, 2024
nicholas-mainardi and others added 5 commits July 9, 2024 11:41
* Introduce poseidon2 crate

* Make Poseidon2 generator public

* Derive default for Poseidon2 Generator

* Fix build on aarch64

* Fix `aarch64` build. (#9)

---------

Co-authored-by: Steven <asongala@163.com>
fix: change `Witness` inheritance to `WitnessWrite` for `set_stark_proof_with_pis_target`
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.