Skip to content

Conversation

@jonathanpwang
Copy link
Contributor

@jonathanpwang jonathanpwang commented Dec 16, 2025

Merge this into feat/whir-vary-queries only after the varying of queries is done for recursion circuit.

closes INT-5752

jonathanpwang added a commit that referenced this pull request Dec 17, 2025
Follows
https://github.com/WizardOfMenlo/whir/blob/cf1599b56ff50e09142ebe6d2e2fbd86875c9986/src/whir/parameters.rs#L53
in allowing the number of queries per WHIR round to be configurable.

Also adds `folding_pow_bits` grinding (the analog of FRI commit phase
grinding).

- [x] Add default constructors for different rates
- [x] Update tests
- [ ] Add grinding step for folding pow bits
#210


Closes INT-5741
Base automatically changed from feat/whir-vary-queries to develop-v2 December 17, 2025 06:12
@jonathanpwang jonathanpwang merged commit 6fc3e08 into develop-v2 Dec 20, 2025
5 checks passed
@jonathanpwang jonathanpwang deleted the feat/folding-pow branch December 20, 2025 17:56
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