-
Notifications
You must be signed in to change notification settings - Fork 65
Pull requests: leanEthereum/leanVM
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
perf(xmss): derive WOTS public keys only during key generation
#265
opened Jul 31, 2026 by
exocognosis
•
Draft
perf(xmss): remove dead work from the signing path
#263
opened Jul 25, 2026 by
wstran
Contributor
Loading…
bench: microbenches for the hot mixed base x extension field kernels (chunk 1 of #260)
#261
opened Jul 22, 2026 by
koko1123
Loading…
test: add regression test for F-01 field canonicity check
#258
opened Jul 5, 2026 by
aryaethn
Loading…
fix(fiat-shamir): rejection-sample in sample_in_range to remove truncation bias
#257
opened Jul 5, 2026 by
lau90eth
Loading…
lean_vm: add source-level failure stack traces
#246
opened Jun 3, 2026 by
latifkasuli
Contributor
Loading…
WHIR: svo + split-eq, keeping Merkle / FFT padding opti, using 2 sumchecks
#166
opened Mar 26, 2026 by
TomWambsgans
Collaborator
Loading…
Fix: Check non-exhaustible conditional returns using a
goto mechanism
#75
opened Oct 16, 2025 by
divyaranjan1905
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.