Repository navigation
Integrate staged WHIR shared-mask joint openings - #525
Draft
zkfriendly wants to merge 3 commits into
Draft
zkfriendly wants to merge 3 commits into
zkfriendly wants to merge 3 commits into
Conversation
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
CSP benchmarks
Prover time, peak RSS, peak heap, and verifier time are arithmetic means across the iterations. Peak heap comes from the largest Each metric cell shows the current value followed by the percentage delta against the latest successful Results
|
zkfriendly
changed the title
This branch was successfully deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This integrates WHIR #284 while preserving ProveKit's sequential Noir and Mavros witness flow. WHIR is pinned to
5c1fccc909f76566f9c74f2f8f1c091628567c95.The first commitment passes
None; the second passesSome(&mut commitment_1)after application challenges. WHIR owns the shared mask state and derives the combined configuration. ProveKit retains two commitment handles and its existingprove_pairandverify_paircalls.The verifier mirrors both staged commitments around the existing outer blinding commitment and application challenges. Final-claim checks, SPARK selector coordinates, and transcript completion remain unchanged.
Production integration changes total +33/-14: 47 changed lines across three files. This meets the under-50-line production criterion. Fixtures and tests change another 54 lines, and dependency pins change four lines. The complete diff totals +73/-32 across seven files.
Validation:
Full Noir and Mavros frontend proof runs were not performed. Public-input binding changes remain separate in #524. No documentation files or reports are included.