Skip to content

misc: simplify and clean up branching in verifier#1276

Merged
kunxian-xia merged 1 commit intomasterfrom
feat/simplify_observe_flow
Mar 27, 2026
Merged

misc: simplify and clean up branching in verifier#1276
kunxian-xia merged 1 commit intomasterfrom
feat/simplify_observe_flow

Conversation

@hero78119
Copy link
Copy Markdown
Collaborator

@hero78119 hero78119 commented Mar 25, 2026

This PR introduce some changes to simplify recursion verifier development

Notes

  • simplify branching 1: always write 2 fixed_commitment
  • simplify branching 2: Standardized chip num_instances to fixed two-lane format ([usize; 2]) across zkVM prove/verify paths.

@hero78119 hero78119 force-pushed the feat/simplify_observe_flow branch from 7d5793d to a6285df Compare March 25, 2026 06:51
@hero78119 hero78119 force-pushed the feat/simplify_observe_flow branch from a6285df to 1f0427b Compare March 25, 2026 06:53
@hero78119 hero78119 changed the title Refactor num_instances to fixed size array, clean up branching in verifier simplify and clean up branching in verifier Mar 25, 2026
@hero78119 hero78119 changed the title simplify and clean up branching in verifier misc: simplify and clean up branching in verifier Mar 27, 2026
@kunxian-xia kunxian-xia added this pull request to the merge queue Mar 27, 2026
Merged via the queue into master with commit 097af59 Mar 27, 2026
5 checks passed
@kunxian-xia kunxian-xia deleted the feat/simplify_observe_flow branch March 27, 2026 08:17
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