Skip to content

framework: rename type-1 verify_proofs fixture to verify_single_message_proofs#811

Merged
tcoratger merged 1 commit into
leanEthereum:mainfrom
unnawut:verify-proofs-rename
Jun 1, 2026
Merged

framework: rename type-1 verify_proofs fixture to verify_single_message_proofs#811
tcoratger merged 1 commit into
leanEthereum:mainfrom
unnawut:verify-proofs-rename

Conversation

@unnawut
Copy link
Copy Markdown
Collaborator

@unnawut unnawut commented Jun 1, 2026

🗒️ Description

Because single and multi message proof test fixtures are different (#786 vs #810), the old verify_proofs name is misleading because it only supports testing single message proofs, not multi message ones.

Renaming verify_proofs fixture to verify_single_message_proofs to align with the rest of the refactor.

🔗 Related Issues or PRs

✅ Checklist

  • Ran local quality checks to avoid unnecessary CI fails:
    just check
  • Considered adding appropriate tests for the changes.
  • Considered updating the online docs in the ./docs/ directory.

…le_message_proofs

The verify_proofs/ directory now houses both single-message (Type-1) and
multi-message (Type-2) primitive verification vectors. Rename the Type-1
fixture format, class, and test signatures so they sit symmetrically next
to the incoming Type-2 fixture.
@unnawut unnawut requested a review from tcoratger June 1, 2026 05:26
@tcoratger tcoratger merged commit dbdd297 into leanEthereum:main Jun 1, 2026
13 checks passed
@unnawut unnawut deleted the verify-proofs-rename branch June 2, 2026 07:58
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