Skip to content

feat: add verifier benchmark#366

Merged
han0110 merged 10 commits into
masterfrom
han/feature/verifier-benchmark
May 14, 2026
Merged

feat: add verifier benchmark#366
han0110 merged 10 commits into
masterfrom
han/feature/verifier-benchmark

Conversation

@han0110
Copy link
Copy Markdown
Collaborator

@han0110 han0110 commented May 14, 2026 •
edited
Loading

  • Avoid Airbender verifier println! by inlining some funciton calls
  • Replace sp1-sdk with sp1-verifier for ere-verifier-sp1
  • Use SP1VerifyingKey::hash_koalabear as SP1ProgramVk
  • Add Program VK canonical check for SP1 and ZisK
  • Add verifier benchmark and result can be found in workflow summary like this

@han0110 han0110 changed the title Han/feature/verifier benchmark feat; add verifier benchmark May 14, 2026
@han0110 han0110 changed the title feat; add verifier benchmark feat: add verifier benchmark May 14, 2026
@han0110 han0110 marked this pull request as ready for review May 14, 2026 08:45
@han0110 han0110 merged commit cc9fb07 into master May 14, 2026
33 checks passed
@han0110 han0110 mentioned this pull request May 14, 2026
Open
@han0110 han0110 deleted the han/feature/verifier-benchmark branch May 14, 2026 08:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@han0110