Skip to content

chore: Update sp1-new#9

Closed
wwared wants to merge 2 commits into
sp1-newfrom
wwared/sp1-new-update
Closed

chore: Update sp1-new#9
wwared wants to merge 2 commits into
sp1-newfrom
wwared/sp1-new-update

Conversation

@wwared
Copy link
Copy Markdown

@wwared wwared commented Jun 20, 2024

This updates sp1-new to include Plonky3@3b5265f as well as the changes from #7

Necessary pre-requisite for argumentcomputer/sphinx#61

This PR has no new commits that weren't already in sp1-new-tmp

dlubarov and others added 2 commits June 19, 2024 21:37
* Allow more generic Poseidon2 width

Signed-off-by: Adrian Hamelink <adrian.hamelink@gmail.com>

* Arbitrary width for matrix.rs

Signed-off-by: Adrian Hamelink <adrian.hamelink@gmail.com>

* Make `supported_width` constant and comment

Signed-off-by: Adrian Hamelink <adrian.hamelink@gmail.com>

* Make `matmul_exterior` Air friendly

Signed-off-by: Adrian Hamelink <adrian.hamelink@gmail.com>

* Remove `PrimeField` bounds

Signed-off-by: Adrian Hamelink <adrian.hamelink@gmail.com>

* re-add `condition` method to `FilteredAirBuilder`

* Acknowledge clippy

* Acknowledge cargo fmt

* Remove `PrimeField` bounds

Signed-off-by: Adrian Hamelink <adrian.hamelink@gmail.com>

* Acknowledge cargo fmt

* fix: Attempt to remove From bound from matmul_internal

* acknowledge cargo fmt

---------

Signed-off-by: Adrian Hamelink <adrian.hamelink@gmail.com>
Co-authored-by: Adrian Hamelink <adrian.hamelink@gmail.com>
Co-authored-by: wwared <wwared@users.noreply.github.com>
@wwared wwared marked this pull request as draft June 20, 2024 14:18
@wwared
Copy link
Copy Markdown
Author

wwared commented Jun 24, 2024

This is no longer necessary for now

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.

4 participants