Skip to content

test(jolt-openings): regression tests for failing Fiat--Shamir transform#1536

Open
mmaker wants to merge 2 commits into
a16z:mainfrom
mmaker:mu/regression-fs-batching
Open

test(jolt-openings): regression tests for failing Fiat--Shamir transform#1536
mmaker wants to merge 2 commits into
a16z:mainfrom
mmaker:mu/regression-fs-batching

Conversation

@mmaker
Copy link
Copy Markdown
Contributor

@mmaker mmaker commented May 16, 2026

In jolt-openings today, the opening points and the polynomial commitments are not part of the Fiat--Shamir transformation.
As a result, the challenge can be predicted on some batching protocols.
This commit adds regression tests highlighting this issue.

/cc @shreyas-londhe

@github-actions github-actions Bot added the no-spec PR has no spec file label May 16, 2026
…nsform.

In jolt-openings today, the opening points and the polynomial commitments are
not absorbed before rho is sampled in the "reduction" phase. As a result, the
challenge can be predicted on some batching protocols.
This commit adds regression tests that highlight the issue.
@mmaker mmaker force-pushed the mu/regression-fs-batching branch from b6578a6 to 237b3c0 Compare May 16, 2026 15:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-spec PR has no spec file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants