Skip to content

chore: bump leanVM to 0520822 #408

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
MegaRedHand wants to merge 2 commits into
base: devnet5
Choose a base branch
from
Draft

chore: bump leanVM to 0520822 #408

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
5e39d8d
chore: bump leanMultisig to 8fcbd77
MegaRedHand Jun 1, 2026
662261f
chore: bump leanVM to 0520822
MegaRedHand Jun 2, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
81 changes: 40 additions & 41 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 0 additions & 1 deletion Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -76,4 +76,3 @@ eyre = "0.6"
# Allocator + heap profiling
tikv-jemallocator = { version = "0.6", features = ["stats", "unprefixed_malloc_on_supported_platforms", "profiling"] }
jemalloc_pprof = { version = "0.8", features = ["flamegraph"] }

4 changes: 2 additions & 2 deletions crates/common/crypto/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ version.workspace = true
[dependencies]
ethlambda-types.workspace = true

lean-multisig = { git = "https://github.com/leanEthereum/leanMultisig.git", rev = "0242c909" }
lean-multisig = { git = "https://github.com/leanEthereum/leanVM.git", rev = "0520822" }
# leansig_wrapper provides XmssPublicKey/XmssSignature types used by lean-multisig's public API
leansig_wrapper = { git = "https://github.com/leanEthereum/leanMultisig.git", rev = "0242c909" }
leansig_wrapper = { git = "https://github.com/leanEthereum/leanVM.git", rev = "0520822" }

leansig.workspace = true
thiserror.workspace = true
Expand Down
2 changes: 1 addition & 1 deletion crates/common/crypto/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ use thiserror::Error;

/// log(1/rate) for the WHIR commitment scheme used inside lean-multisig.
/// 2 matches the devnet-4 cross-client convention (zeam, ream, grandine, lantern
/// all use 2); the leanMultisig devnet5 examples also use 2 for recursion.
/// all use 2); the leanVM devnet5 examples also use 2 for recursion.
const LOG_INV_RATE: usize = 2;

// Lazy initialization for prover and verifier setup
Expand Down
Loading