Skip to content

feat: support all zkVMs' in-process verifier#63

Merged
han0110 merged 10 commits into
masterfrom
han/feature/ere-verifier
May 13, 2026
Merged

feat: support all zkVMs' in-process verifier#63
han0110 merged 10 commits into
masterfrom
han/feature/ere-verifier

Conversation

@han0110
Copy link
Copy Markdown
Collaborator

@han0110 han0110 commented May 12, 2026

  • Use ere-verifier to support in-process verifier for all zkVM kinds
    Except Airbender but we don't have its proof type yet, we can switch to nightly toolchain and enable it when necessary
  • Bump ere to v0.9.1
  • Bump ere-guests to v0.10.0

@han0110 han0110 force-pushed the han/feature/ere-verifier branch from a37cd04 to 2337fec Compare May 13, 2026 03:07
@han0110 han0110 force-pushed the han/feature/ere-verifier branch from 337b6a9 to 4ab1f4f Compare May 13, 2026 07:48
@han0110 han0110 marked this pull request as ready for review May 13, 2026 13:24
@han0110 han0110 merged commit 4344cf8 into master May 13, 2026
6 checks passed
@han0110 han0110 deleted the han/feature/ere-verifier branch May 13, 2026 13:24
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.

1 participant