Skip to content

chore: bump leanVM to 0520822#408

Draft
MegaRedHand wants to merge 2 commits into
devnet5from
devnet5-bump-leanmultisig
Draft

chore: bump leanVM to 0520822#408
MegaRedHand wants to merge 2 commits into
devnet5from
devnet5-bump-leanmultisig

Conversation

@MegaRedHand
Copy link
Copy Markdown
Collaborator

@MegaRedHand MegaRedHand commented Jun 1, 2026

🗒️ Description / Motivation

Recent leanMultisig changes introduced performance improvements. The upstream repo was also renamed from leanMultisig to leanVM.

What Changed

  • Bump the multisig dependency to commit 0520822.
  • Switch the git remote from leanEthereum/leanMultisig to the renamed leanEthereum/leanVM.
  • Pin transitive Plonky3 to 3f67d136 (the rev leanVM 0520822 locks against). The floating Plonky3 HEAD otherwise resolved to a newer rev that requires the unstable maybe_uninit_slice feature and fails to build on stable.

@MegaRedHand MegaRedHand changed the base branch from main to devnet5 June 1, 2026 17:12
Bump the multisig dependency to commit 0520822 and switch the git remote
from the renamed leanMultisig repo to leanVM. Pin transitive Plonky3 to
3f67d136 (the rev leanVM 0520822 locks against); the floating Plonky3 HEAD
pulled in a newer rev that requires the unstable maybe_uninit_slice feature
and fails to build on stable.
@MegaRedHand MegaRedHand changed the title chore: bump leanmultisig to 8fcbd77 chore: bump leanVM to 0520822 Jun 2, 2026
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