github aptos-labs/aptos-core aptos-cli-v7.8.0
Aptos CLI Release v7.8.0

5 hours ago

Continuous Integration

Chores

Commits

  • d9b02ab: [compiler-v2] Add a test comaring resolved and unresolved function values (#16988) (Vineeth Kashyap) #16988
  • 4a86827: token v1 offer test txns (#17022) (Renee Tso) #17022
  • 5e1b873: Increase mempool to block creation threshold further (#17027) (Satya Vusirikala) #17027
  • b4ea141: [vm] [bytecode-verifier] Function type limit fix (#17028) (Vineeth Kashyap) #17028
  • ce32876: [compiler-v2] Fix a bug when we both pass a variable and its reference as arguments (#17026) (Vineeth Kashyap) #17026
  • be5609e: Upgrade lru to latest version (wqfish) #17035
  • 08466ed: [Orderbook] Fix the remaining size when taker order is cancelled (#17031) (Sital Kedia) #17031
  • 7c885eb: missing methods (#17033) (igor-aptos) #17033
  • 3ba4a65: [storage] StateKey::get_shard_id should return usize (wqfish) #17039
  • 07627d2: [release-builder] generate metadata under versioned dir (#17043) (Balaji Arun) #17043
  • be240e9: [consensus] Enable Opt Proposal and increase execution target time (#17034) (Balaji Arun) #17034
  • c666c6e: Format aptos-experimental using aptos move fmt (#17038) (igor-aptos) #17038
  • e4c5dfa: [Priority Fee] Fix some issues in parallel execution and add some tests. (Guoteng Rao) #17042
  • 6c9d41c: Stack usage verifier early exit on error (#17045) (Andrea Cappa (zi0Black)) #17045
  • dee4127: [api] Addressing function value todos (#17047) (George Mitenkov) #17047
  • a61cfce: [Storage] Add a tool for printing raw ledger db content. (#17029) (Guoteng Rao) #17029
  • a7a0b48: [replay-verify] support for creating DBs during replay verify (#17013) (Balaji Arun) #17013
  • ff5d0fd: [decompiler]: fix issues in control flow optimizations (#17021) (Jun Xu) #17021
  • b4cbd9a: [Storage Service] Add new request types for txn V2 data. (Josh Lind) #16943
  • 0b8a7e7: [storage] Split hot state into 16 shards (wqfish) #17041
  • fe36b48: [bugfix] add timeout to replay verify (#17072) (Balaji Arun) #17072
  • 1566ba7: [Transaction Filter] Extend filtering support. (Josh Lind) #17005
  • 024a24e: [Transaction Filtering] Add round manager tests. (Josh Lind) #17005
  • 9d64700: Run replay-verify on C3D instead of T2D (Stelian Ionescu) #17053
  • 8d7664f: Split replay-verify workflow in two (Stelian Ionescu) #17053
  • 3dccb0e: [aptos-cli] stabilize build from source for brew (mkalin1024) #17015
  • a41af26: quote separately the package/package_manager (mkalin1024) #17015
  • a0ef99a: [move] Move assembler basic functionality (#16631) (Wolfgang Grieskamp) #16631
  • 3486c1c: Adding replay protection type option in Move CLI (#16809) (Satya Vusirikala) #16809
  • 812e532: [release] Bump gas following v1.33 devnet cut (Andrew Hariri) #17032
  • e703e39: [move-asm] Integration into transactional test framework (#17063) (Wolfgang Grieskamp) #17063
  • 0deb4d9: [Storage Service] Add new response types for txn V2 data. (Josh Lind) #16970
  • a411b63: [Storage Service] Update tests for transaction v2 requests. (Josh Lind) #16970
  • f6d8ef1: Adjust resources for replay-verify (Stelian Ionescu) #17075
  • e27cdd9: Implemented assert_const linter. (#16776) (Víctor M. González) #16776
  • a0d83bd: Increase max layout default size from 256 to 512 (#17083) (Sital Kedia) #17083
  • c2231a4: [hot state] Put lru pointers inside StateSlot (wqfish) #17068
  • af6c1bb: upgrade indexer cli (#17089) (Renee Tso) #17089
  • 1cff2f0: [hot state] StateView APIs (wqfish) #17069
  • 3e3c341: [hot state] Implement new StateView APIs for CachedStateView (wqfish) #17071
  • b1dc939: [hot state] LRU updater for speculative state (wqfish) #16992
  • 87e2f3c: Use std::array::from_fn to construct arrays when possible (wqfish) #17073
  • 6b8e7f5: add native (#17036) (Teng Zhang) #17036
  • cfd53eb: [replay-verify] Try PD-BALANCED instead of PD-SSD (Stelian Ionescu) #17098
  • d1efe00: [move-asm] Struct and enum related features (#17077) (Wolfgang Grieskamp) #17077
  • 06754fb: [pipeline] properly wait for spawn_blocking futures (Zekun Li) #17090
  • d60671d: Block executor refactors and V2 comments addressed (#17057) (Rati Gelashvili) #17057
  • 5608aea: BlockSTMv2 PR [7/n]: Group MVHashMap changes, integration, tests (#16899) (Rati Gelashvili) #16899
  • db12c82: [forge] bump deployer version (sionescu) #17109
  • c4a91c3: Fix incorrect read summary computation (wqfish) #17110
  • d550e56: [benchmark] Refactor benchmark workloads (#16841) (George Mitenkov) #16841
  • f7a54c8: [move-asm] Disassembler for new Move Assembler Language (#17091) (Wolfgang Grieskamp) #17091
  • 8c78701: [Storage/State Sync] Update storage interface to return the V2 variants for state sync and backup. (#17103) (Guoteng Rao) #17103
  • a52d9c0: [Orderbook] Add support for pre-cancellation of the order based on client order id (#17012) (Sital Kedia) #17012
  • 0ff932a: Reduce resources for Forge runners (Stelian Ionescu) #17115
  • dc47e6d: [Storage Client] Refactor request creation. (Josh Lind) #17056
  • ebc04f5: [Aptos Data Client] Add support for transaction v2. (Josh Lind) #17056
  • d917172: [Aptos Data Client] Add tests for request v2. (Josh Lind) #17056
  • bd50631: Fix ordered_map::append_impl (#17070) (igor-aptos) #17070
  • 97590c8: [move-asm] Completing assembler/disassembler functionality (#17106) (Wolfgang Grieskamp) #17106
  • f176929: [Orderbook] Add support for modifying order metadata and add in events (#17097) (Sital Kedia) #17097
  • 18345b2: WriteSet needs to contain both value and hotness (wqfish) #17113
  • b1caac0: [function values] Mark language version 2.2 to be stable and bytecode version 8 the default (#17116) (Wolfgang Grieskamp) #17116
  • f5d3941: Add watchman config (wqfish) #17121
  • 4a51f59: [Types] Use helper methods for txn lists. (Josh Lind) #17101
  • 31fd283: [Data Streaming Service] Add support for transaction data v2. (Josh Lind) #17101
  • 0bf20ea: [Storage Service] Fix failing tests. (Josh Lind) #17101
  • 3c8d25e: [Storage Service] Allow transaction data v2 requests. (Josh Lind) #17101
  • 381490c: [Storage] Support PersistedAuxiliaryInfo in backup/restore. (#17125) (Guoteng Rao) #17125
  • 55149c5: [Indexer] Do not panic when failed to parse table info. (#17143) (Guoteng Rao) #17143
  • 916aede: [fuzzer] Bridge transactional tests format and fuzzers (#16715) (Andrea Cappa (zi0Black)) #16715
  • 8e7acd6: [gas] Increase max dependency size limit (#17150) (George Mitenkov) #17150
  • d9d748f: abort function name fix in rest api (#17144) (igor-aptos) #17144
  • 84ff485: [Orderbook] Add APIs to support metadata modification by client order id (#17152) (Sital Kedia) #17152
  • b8ffe8a: [Orderbook] Add trigger condition to the event (#17162) (Sital Kedia) #17162
  • e1b13f2: [move-vm] Adding negative FV tests for bytecode and runtime verifier (#17147) (Wolfgang Grieskamp) #17147
  • 8b7aa15: [move-vm] Fix issue in function value upgrade compatibility, add tests (#17172) (Wolfgang Grieskamp) #17172
  • 4f50a65: [move-vm] Some fixes for runtime checks (#17157) (Wolfgang Grieskamp) #17157
  • 9cae6ca: [lazy-loading] Construct layout via loader (#16461) (George Mitenkov) #16461
  • f1dad81: [Storage] Fix cross epoch merkle pruner. (#17168) (Guoteng Rao) #17168
  • use Self to simplify code #17136 (wqfish)
  • 9dc0917: [hot state] Populate hot state promotions (wqfish) #17136
  • 52c6888: [lazy-loading] LoadModule integration (5/n) (#16589) (George Mitenkov) #16589
  • c703316: [lazy-loading] Module metadata integration (#16590) (George Mitenkov) #16590
  • 2977bf2: add plantuml diagram (#17155) (Ying) #17155
  • 0800bf2: add benchmarks for field ops (#17177) (Alin Tomescu) #17177
  • 8b458eb: [staking_contract] add view function to get staker given pool address (#16883) (Aaron) #16883
  • f1b0e8b: [LocalNode] Enable internal indexer by default. (#17159) (Guoteng Rao) #17159
  • ba8eeeb: Fix breakpoint matching (#17139) (runtianz) #17139
  • 05f28bf: clear current task on block epilogue (#17186) (Rati Gelashvili) #17186
  • 39e253d: [Hot State] Fix should_refresh computation (wqfish) #17180
  • 5ba4909: [forge] single cluster test (#17191) (Balaji Arun) #17191
  • 9184151: [Transaction Filter] Add simple smoke tests for filter. (Josh Lind) #17163
  • 7d24912: [cli] Release CLI version 7.7.0 (#17202) (Greg Nazario) #17202
  • 59cf4a2: [forge] bump deployer version (rustielin) #17118
  • c283ec0: [lint] Add abiliity to pick lint check category (#17207) (Vineeth Kashyap) #17207
  • 7155b26: [move][transactional tests] Enable tera templates for transactional tests (#17200) (Wolfgang Grieskamp) #17200
  • b6dbed2: Label status codes for discarded transactions (#16770) (Satya Vusirikala) #16770
  • a3972a0: [new move package] implement package cache (#17074) (Victor Gao) #17074
  • 570ec4a: order book benchmark with multi-market (#17206) (igor-aptos) #17206
  • 67f92da: [forge] bump deployer version (rustielin) #17212
  • 4ab94f0: Add limit on number of matches and improve perf (#17208) (igor-aptos) #17208
  • 3c53773: [Orderbook] Make the trigger condition more generic (#17197) (Sital Kedia) #17197
  • 3b81823: [verifier] Check for function signatures (#17210) (George Mitenkov) #17210
  • 6201fbc: [forge] bump deployer version (sionescu) #17218
  • 8950fc0: Fix step_over & tracing (#17198) (runtianz) #17198
  • ee9d74e: [forge] bump deployer version (sionescu) #17234
  • d360385: [vm] Verifier cache fixes (#17238) (George Mitenkov) #17238
  • 17f2778: [vm] More tests for function value comptability (#17217) (Wolfgang Grieskamp) #17217
  • 14d5542: [Hot State] Always refresh read-only keys (wqfish) #17236
  • f0313ca: BlockSTMv2 PR [8/n]: delayed fields, AggregatorV1 & tests (#16915) (Rati Gelashvili) #16915
  • b2fd80a: return max matches (#17226) (igor-aptos) #17226
  • 271b426: [Specs] Add modifies clauses to certain function to allow them to be called by opaque spec functions. Also add a spec version of generate_signer_for_extending (Jake Silverman) #17201
  • 24075c3: [move-prover] Fixing bug with invariant for enums (#17235) (Wolfgang Grieskamp) #17235
  • 134538b: [forge] bump deployer version (rustielin) #17248
  • a6d6fc4: [Orderbook] Cleanup the APIs for better support for market orders (#17230) (Sital Kedia) #17230
  • c2673bf: [Logs] Reduce obvious log spam. (Josh Lind) #17264
  • 96ebe21: Update Docker images (gedigi) #16865
  • 2d49367: Cold validation requirements management and tests (#17019) (Rati Gelashvili) #17019
  • c5657e3: Cold validation integration and V2 module tests (#17030) (Rati Gelashvili) #17030
  • 4ec8561: [Orderbook] Add time in force to the order struct and events (#17247) (Sital Kedia) #17247
  • 7b13c78: [forge] Add soft failure mode (#17214) (Balaji Arun) #17214
  • d0251ac: Update API tests for orderless transactions (#16297) (Satya Vusirikala) #16297
  • 891f5ee: [migration] delete invalid coinstore that cannot be migrated (#17262) (Aaron) #17262
  • bf936b8: [lazy-loading] Metadata, functions, closures (#16462) (George Mitenkov) #16462
  • b276021: [lazy-loading] Module publishing (#16464) (George Mitenkov) #16464
  • 738b2d6: [benchmark] Benchmark generator to use a single binary, include it and auto-generate traits (#17237) (George Mitenkov) #17237
  • f15b530: [move-prover] Basic support of function values (#17268) (Wolfgang Grieskamp) #17268
  • fa3367c: [lazy-loading] Aptos VM integration (#16479) (George Mitenkov) #16479
  • 56a36c4: extend control flow optimizations (#17086) (Jun Xu) #17086
  • 8963eae: [Storage Service] Respect max response sizes for v2 requests. (Josh Lind) #17263
  • 2e41029: [Storage Service] Add tests for new max response sizes. (Josh Lind) #17263
  • 803248e: Fix another control flow structuring bug (junxzm1990) #17111
  • a6855e7: [Prover] test variant fix (#17272) (Jake Silverman) #17272
  • 831fb90: fix issue #17188 (#17277) (Jun Xu) #17277
  • ae54b1d: [Storage] Fix a bug in pruner, and print more information in debugger. (#17284) (Guoteng Rao) #17284
  • 39c3bd5: [forge] Soft failures shouldn't exit with code 1 (#17288) (Balaji Arun) #17288
  • 4c39d3a: [Orderbook] Fix the size delta in events in case of order cancellation (#17289) (Sital Kedia) #17289
  • ad3918d: fix decompiler assignment optimization issue #17008 (junxzm1990) #17120
  • e82badd: [vm] Fix features and enable verifier cache at all times (#17280) (George Mitenkov) #17280
  • c9bdfb4: [Storage] Write epoch ending pruner progress to right key. (#17296) (Guoteng Rao) #17296
  • 3f6272a: [forge-stable] Hard failures exit with code 1 (#17300) (Balaji Arun) #17300
  • 0cfc6de: [compiler-v2] Inlining fix for shadowed params (#17291) (Vineeth Kashyap) #17291
  • 7151661: [Orderbook] Add Order ack event type (#17301) (Sital Kedia) #17301
  • 8718eeb: support generic cmp, LT/LE/GT/GE, on reference types (junxzm1990) #17267
  • f4f5de0: [State Sync] Enable transaction data v2 requests. (Josh Lind) #17290
  • 1a64d0a: [transactional-test] Fix features expected for transactional test runner (#17297) (Vineeth Kashyap) #17297
  • 915bb20: push local variable declarations to their proper scope (#17141) (Jun Xu) #17141
  • 573a830: [telemetry] stop pinging httpbin (#17275) (Balaji Arun) #17275
  • 35cc8d9: [ci] build images automatically if not present (#17270) (James Kao) #17270
  • 8ee7a6d: Revert "[ci] build images automatically if not present" (#17306) (James Kao) #17306
  • 8719bbf: Bump minimal Rust version to 1.85 (wqfish) #17285
  • ed9dab4: [lazy-loading] Enable lazy loading as default (#16513) (George Mitenkov) #16513
  • d424713: Use BlockEndInfoExt to construct epilogue transaction (V1) (wqfish) #17246
  • Check signature valid before verifying (#17316) #17316 (Balaji Arun)
  • 696f666: Clean up a few lints (wqfish) #17315
  • 034354c: Derive Arbitrary impl for BlockEndInfo (wqfish) #17251
  • 3409ea4: Implement Arbitrary for StateSlot (wqfish) #17253
  • 9d78851: [Orderbook] Create a unified orderbook to route orders to retail and bulk orderbook. (#17282) (Sital Kedia) #17282
  • 7e3fe8e: [Prover] Fixing boogie formatting command for fun values (#17281) (Jake Silverman) #17281
  • 77ba057: Update REST API link in fullnode Helm chart README (GarmashAlex) #16697
  • 92acc29: [move] Cross-compiling transactional tests for roundtrip testing decompiler/disassembler (#17303) (Wolfgang Grieskamp) #17303
  • fe590ed: [ci] build images in replay verify if not present (#17307) (James Kao) #17307
  • 85a4a2f: remove unused dep (wqfish) #17261
  • 4318884: [Hot State] Record read-only promotions in BlockEndInfo (wqfish) #17250
  • ec36308: [Hot State] Add hot state to speculative state workflow test (wqfish) #17271
  • 711f0da: [Orderbook] Fix size delta in case of placing a maker order (#17342) (Sital Kedia) #17342
  • 465d8cd: [Mempool] Add metrics & logs for broadcast behaviour. (Josh Lind) #17320
  • 6b523d0: [Inspection Service] Add "identity_information" endpoint. (Josh Lind) #17337
  • 04251b1: Remove aptos-transaction-simulation dependency from executor-service (wqfish) #17347
  • 5bd9f00: [ci] fix replay verify crons (#17339) (James Kao) #17339
  • 108c565: [API] Add peer IDs to /info endpoint. (Josh Lind) #17346
  • 96870b6: [consensus] make internal channel size configurable (#17353) (Balaji Arun) #17353
  • a26e17b: downgrade some info logs to debug (Balaji Arun) #17351
  • c0e379f: sample some consensus logs (Balaji Arun) #17351
  • 6f6ce95: [consensus] downgrade pipeline block log to trace (Balaji Arun) #17351
  • ee0fb00: reduce vebose buffermanager log (Balaji Arun) #17351
  • 24c9447: [AIP-97] Print clear error message if the AIP is not enabled. (#17357) (Guoteng Rao) #17357
  • 10077e8: [ci] wait for image to be built after lock check (#17360) (James Kao) #17360
  • 9327cf4: fixup various decompiler sourcifier issues (junxzm1990) #17249
  • 754bb5a: [compiler-v2] Errors and warnings for inline functions (#17293) (Vineeth Kashyap) #17293
  • e967392: [release] set boolean args to release images (#17372) (Balaji Arun) #17372
  • 443d0a5: Bump gas version. (#17375) (Guoteng Rao) #17375
  • ad9cc96: [fuzzer] add missing use under #[cfg(fuzzing)] (Zijie Zhao) #17373
  • 0cfc296: integrate new compiler into Aptos CLI (junxzm1990) #17292
  • d36145e: [unit-test] Show stacktraces on unit test error (#17364) (Vineeth Kashyap) #17364
  • f66773b: [compiler-v2] Removing a bunch of v2_exp all over the repo (#17380) (Vineeth Kashyap) #17380
  • 107ab0b: fix (#17381) (Teng Zhang) #17381
  • 7fc27e3: [Fullnode Sync] Enable storage sharding on the fullnode sync tests. (Josh Lind) #17394
  • bff4c47: fix (#17392) (Teng Zhang) #17392
  • b6506d8: Endpoints to get malloc stats and dump heap profile (wqfish) #17377
  • fb06376: Orderless TransactionFactory improvements and integration with executor benchmark (#17324) (igor-aptos) #17324
  • 93b93fe: [trivial] provide stats accessors (#17409) (igor-aptos) #17409
  • b36e1c4: [compiler][trivial] fix remap of TransformedCodeChunk in peephole optimization (#17403) (Teng Zhang) #17403
  • bd218c3: [compiler-v2] Adding unit test for peephole optimizer (#17418) (Vineeth Kashyap) #17418
  • c50df9c: [linter] Added equal_operands_in_bin_op lint (#16852) (Facundo Lerena) #16852
  • 80fc930: [Keyless] Add simple scripts for local development of pepper service. (Josh Lind) #17384
  • db56483: [replay-benchmark] Fix slots & support FA gas diffs (#17419) (George Mitenkov) #17419
  • b871508: [move package] implement new package resolver (#17215) (Victor Gao) #17215
  • e515a23: Mapped RWLock guard, module writes w.o. cloning (#17107) (Rati Gelashvili) #17107
  • 41701ee: [Storage] Avoid using include! macro (wqfish) #17423
  • 7d703e9: add inline spec capability (#17411) (Teng Zhang) #17411
  • 60949fe: Update to rocksdb 0.24.0 (wqfish) #17408
  • f61a064: [Storage] Set cache_index_and_filter_blocks by default (wqfish) #17408
  • d5ee3f8: [Priority Fee] Allow setting a limit on priority fee. (#17417) (Guoteng Rao) #17417
  • e38f2c9: [forge] Fix PFN and realistic network throughput tuned test. (#17344) (Balaji Arun) #17344
  • 69acc1f: Monotonically increasing counter (#16927) (Satya Vusirikala) #16927
  • 293d5c4: [Orderbook] Bulk order support for market making (#17274) (Sital Kedia) #17274
  • 98004a4: [move resource viewer] Fixes a bug with closures captured by closures (#17431) (Wolfgang Grieskamp) #17431
  • 503ac50: allow benchmark to be deterministic (#17440) (igor-aptos) #17440
  • 3610a4f: [indexer] Propagate errors (#17434) (George Mitenkov) #17434
  • e083c46: [gha] add retry to get-latest-docker-image-tag (#17445) (Rustie Lin) #17445
  • 2f28002: [simple] Optimize is_empty BigOrderedMap function (#17442) (igor-aptos) #17442
  • 2c8702e: Set jemalloc dependencies in workspace (wqfish) #17430
  • 0a01fe5: [Keyless] Clean up pepper service client example. (Josh Lind) #17404
  • 432d73e: Resolve warnings of testing library (#16587) (Emmanuel Ferdman) #16587
  • dc43683: [Keyless] Add request handler to pepper service. (Josh Lind) #17439
  • 3eb0d61: [Keyless] Add simple request handler tests to pepper service. (Josh Lind) #17439
  • 5266be8: fixing mainnet recompilaton testing and compiler-v2 transactional testing issues (junxzm1990) #17358
  • 42d862d: [Keyless] Clean ups to vuf pub key endpoint. (Josh Lind) #17464
  • 8b2920e: [Keyless] Clean ups to cached resources endpoint. (Josh Lind) #17464
  • e235a53: [Orderbook] Fix market order with trigger condition (#17456) (Sital Kedia) #17456
  • e5baae1: Update jemalloc crates to tikv-jemalloc (wqfish) #17446
  • 66355fd: [fix][gha] add retry to get-latest-docker-image-tag (#17469) (Rustie Lin) #17469
  • b18a7d3: [linter] Added aborting_overflow_checks lint (#16752) (Facundo Lerena) #16752
  • 91ccb86: [qs] check batch author belongs to epoch (#17470) (Balaji Arun) #17470
  • c92fa45: metadata added to cleanup callback (#17348) (dzlk17) #17348
  • e9db58e: [Metrics] Rename traits (wqfish) #17458
  • e977713: [Metrics] Use helper traits and functions when possible (wqfish) #17459
  • fa550f0: add method-based tables to gas-profile (#17466) (igor-aptos) #17466
  • 59e501b: [compiler-v2] Fix privileged access error when spec blocks are present (#17478) (Vineeth Kashyap) #17478
  • d170aff: [gas profiler] fix table rendered (#17467) (igor-aptos) #17467
  • 3ffc938: [Metrics] Create a thread local version to be used in hot paths (wqfish) #17460
  • 0a6483c: Only store the most latest incarnation dependency (#17311) (Rati Gelashvili) #17311
  • f41db0d: [Keyless] Small cleanups to JWK fetching logic. (Josh Lind) #17504
  • 4500958: [Storage] Use thread local counters (wqfish) #17471
  • 05077e4: [module cache] use storage version instead of hash as key for cache (Zekun Li) #17335
  • b219e86: [forge] adjust memory threshold (Zekun Li) #17335
  • c4902c8: Fix release builder for RawScript. (#17527) (Guoteng Rao) #17527
  • b60b5bd: [State Sync] Check pre-committed version on sync requests. (Josh Lind) #17495
  • 2c86849: [Hot State] Split per version updates into for_last_checkpoint and for_latest (wqfish) #17484
  • 84c244a: Transaction Simulation Session (#17382) (Victor Gao) #17382
  • 270674e: [Hot State] Tweak LRU interface and tests (wqfish) #17517
  • 909a870: Patch lru crate (wqfish) #17533
  • e506e04: [AA] update AA signing msg (#17265) (Aaron) #17265
  • aea2199: DeKART proof implementation (Zhoujun) (zhoujun.ma) #17531
  • bf281ac: Batched ZK range proof improvements (Alin) (Alin Tomescu) #17531
  • 85014be: Batched ZK range proof lint fixes (Wicher) (Wicher Malten) #17531

Don't miss a new aptos-core release

NewReleases is sending notifications on new releases.