Skip to content

Modular NTT in WHIR v1b#235

Merged
Bisht13 merged 8 commits into
mainfrom
xr/integration-v2
Jan 16, 2026
Merged

Modular NTT in WHIR v1b#235
Bisht13 merged 8 commits into
mainfrom
xr/integration-v2

Conversation

@xrvdg
Copy link
Copy Markdown
Collaborator

@xrvdg xrvdg commented Nov 11, 2025

No description provided.

@xrvdg xrvdg marked this pull request as draft November 11, 2025 04:20
@xrvdg xrvdg changed the title Modular WHIR v2 Modular WHIR v1b Nov 11, 2025
@xrvdg xrvdg changed the title Modular WHIR v1b Modular NTT in WHIR v1b Nov 11, 2025
@xrvdg xrvdg marked this pull request as ready for review November 13, 2025 04:02
@xrvdg xrvdg requested a review from veljkovranic November 13, 2025 04:02
@xrvdg xrvdg force-pushed the xr/integration-v2 branch from 7cd3328 to 078a039 Compare December 17, 2025 05:40
@Bisht13
Copy link
Copy Markdown
Collaborator

Bisht13 commented Jan 10, 2026

Given that we want to use the NTT crate from ProveKit repo in WHIR which in turn is being used in provekit-cli crate, I think the changes in common/ should be in the NTT crate.

Comment thread provekit/r1cs-compiler/src/ntt.rs
Comment thread provekit/r1cs-compiler/src/ntt.rs
Comment thread ntt/src/ntt.rs Outdated
@xrvdg
Copy link
Copy Markdown
Collaborator Author

xrvdg commented Jan 12, 2026

Given that we want to use the NTT crate from ProveKit repo in WHIR which in turn is being used in provekit-cli crate, I think the changes in common/ should be in the NTT crate.

That would make the NTT crate dependent on WHIR which must not happen. I've moved this to provekit/r1cs-compiler, which is where it will be used.

@xrvdg xrvdg force-pushed the xr/integration-v2 branch from d574d89 to 99d8d00 Compare January 12, 2026 04:13
@xrvdg xrvdg requested a review from Bisht13 January 12, 2026 04:16
@Bisht13 Bisht13 merged commit 1866f59 into main Jan 16, 2026
3 of 5 checks passed
@Bisht13 Bisht13 deleted the xr/integration-v2 branch January 16, 2026 20:19
dcbuild3r pushed a commit that referenced this pull request May 16, 2026
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