Who should upgrade
- Validators: YES
- Fullnodes: YES
What's Changed
- add support for SLH-DSA-SHA2-128s TXN authenticators by @alinush in #18300
- [move-prover] Properly desugar receiver style functions in let statements by @mkurnikov in #18438
- [move-prover] Adding behavioral predicates to the type checker by @wrwg in #18429
- [State Sync] Bump network message size, and enable time-and-size aware storage reads. by @JoshLind in #18473
- [move-unit-test] More information for unexpected aborts by @calintat in #18432
- [qs] Populate BatchKind for BatchV2 by @ibalajiarun in #18452
- [qs] support pulling OptQuorumStorePayload::V2 by @ibalajiarun in #18453
- [vm] Stack size checks for native calls by @georgemitenkov in #18475
- [cli] Fix MOVE_VM_STEP/MOVE_VM_TRACE for aptos move replay by @wrwg in #18486
- [prover] Support tuple results in spec functions by @wrwg in #18484
- [prover] Add developer documentation for function values verification by @wrwg in #18493
- [move-prover] Implement behavioral predicates reduction by @wrwg in #18450
- [Network] Remove dead configs and code. by @JoshLind in #18516
- [Hot State] Enable pruner for hot state merkle db by @wqfish in #18467
- [compiler] New macros using abort with message by @calintat in #18412
- [Network] Add access control policies to network configs. by @JoshLind in #18504
- [vm] Fix async code state replay by @georgemitenkov in #18479
- [REST API] Add
chain_idandnode_typeto the/infoendpoint by @JoshLind in #18525
Full Changelog: aptos-node-v1.40.4...aptos-node-v1.41.5