Skip to content

feat: bump ere to v0.17.2 - #52

Merged
frisitano merged 1 commit into
optional-proofsfrom
han/feature/ere-v0.17.2
Sep 22, 2026
Merged

frisitano merged 1 commit into
optional-proofsfrom
han/feature/ere-v0.17.2

Conversation

@han0110

@han0110 han0110 commented Sep 22, 2026

Copy link
Copy Markdown

Issue Addressed

Bump Ere verifier to v0.17.2 which localizes non-public symbols, so lighthouse can build with it without --allow-multiple-definition

@frisitano
frisitano merged commit 274af51 into optional-proofs Sep 22, 2026
36 checks passed
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