Code Refactoring

• unify cmpkind and cmop (#20032) #20032 (Vineeth Kashyap)

Commits

• 9bc3d3d: [storage] Speed up loading hot state KVs on restart (wqfish) #20018
• b1cc77e: [storage] Parallelize within-shard hot state load (wqfish) #20018
• dde08a4: [mono-move] Layouts and value traversals (#19980) (George Mitenkov) #19980
• 322601b: [mono-move] LdConst vector support (#20000) (George Mitenkov) #20000
• a395cbd: [mono-move] Equality support (#19995) (George Mitenkov) #19995
• cdfe5c4: [mono-move] Table keys (#19991) (George Mitenkov) #19991
• 171798e: [mono-move] Move gas instrumentation to the IR and fuse charging into control flow (#19963) (Calin Tataru) #19963
• 7d65afc: [docker] Build forge with release profile for perf images (wqfish) #20027
• 7ae5502: [trading-native][storage] Add position-JMT iteration utilities + consolidate with main state (#20021) (Guoteng Rao) #20021
• 05abac1: [mono-move] Native heap allocation, reference API, and reflection natives (#19996) (Victor Gao) #19996
• 1b5ca91: [API] Small tweaks and new test cases. (Josh Lind) #20020
• 9146e5e: [mono-move] Canonizalize vector descriptors (#20026) (George Mitenkov) #20026
• 38b81fb: [storage] Make hot state DBs non-optional (wqfish) #20025
• 8ce3b41: [storage] Log per-RocksDB open latency in schemadb (wqfish) #20039
• eeaefbe: [consensus] Cap RocksDB WAL size (wqfish) #20039
• 230b01c: [mono-move] Integrate global storage ops with specializer (#19964) (George Mitenkov) #19964
• 9b184c7: [mono-move] Replace GasMeter trait with concrete type, move into core (#20043) (Calin Tataru) #20043
• 57dcce5: [genesis] Enable encrypted transactions and chunky DKG v1 (#20028) (Balaji Arun) #20028
• d994a43: [smoke-test] Deflake latest events/txns test (wqfish) #20037
• 0214a43: [Consensus Observer] Small message handling tweaks. (Josh Lind) #20034
• a7b3c33: [mono-move] Aggregator natives (#20014) (George Mitenkov) #20014
• 959af09: [Gas Schedule] Bump gas version to v49 (#20050) (vsharongg) #20050
• a7fccae: [prover][flow] Quantifier weights, state-label witnesses, filtered-env (#20007) (Teng Zhang) #20007
• 21438b3: [spec] aptos-framework spec repair (#19946) (Teng Zhang) #19946
• eac45bc: [mono-move] Add test intrinsics (#20045) (George Mitenkov) #20045
• c07ccb4: change executor bench to feedback output (#20040) (Aaron) #20040
• e9d10e8: [forge] etna: switch to realistic_500tps, 20m duration (#20055) (Balaji Arun) #20055
• 02752cf: [mono-move] Native extensions framework + extension-backed natives (#20024) (Victor Gao) #20024
• 37f7bf1: [storage] Open DBs concurrently via thread::scope (wqfish) #20036
• 69fe58b: [execution] Fix non-deterministic hot state promotions (wqfish) #20057
• e93f229: [forge] etna: bump pinned aptos-core SHA to match etna main (#20059) (Balaji Arun) #20059
• a3c9cc8: [safety-paper] update async, perf, trusted sections and rebuild PDF (#20061) (Teng Zhang) #20061
• 46b57c3: [safety-paper] add reentrancy check section (#20064) (Victor Gao) #20064
• 917b564: vineeth pass over the paper (#20071) (Vineeth Kashyap) #20071
• 97c5e1e: [paper] Pass over the paper (#20072) (George Mitenkov) #20072
• 3a79a68: Another pass over the paper. (#20074) (Vineeth Kashyap) #20074
• efd64db: [mono-move] Cleanup context TODOs (#20051) (George Mitenkov) #20051
• 4fbe27a: [forge] bump deployer version (#19956) (aptos-bot) #19956
• 57de0e0: Implement support for enums in the mono-vm. (#20060) (Vineeth Kashyap) #20060
• 871d8c2: [Consensus Observer] Add ignored message metrics. (Josh Lind) #20080
• b489627: [trading-native][move] Add native_position + trading_native_capability to aptos-experimental (#19949) (Guoteng Rao) #19949
• c26ac0d: [safety paper] Final submitted version (#20087) (Wolfgang Grieskamp) #20087
• 69b349f: [storage] Guard hot state reads with the hot pruners (wqfish) #20096
• 81e6a1b: [prover] Verifiable inline functions and inline higher-order functions (#20066) (Wolfgang Grieskamp) #20066
• 377890f: [storage] Add hot state snapshot read APIs (wqfish) #20092
• 4ef94d8: support remaining vector operations (#20083) (Vineeth Kashyap) #20083
• d0ea2e4: Generics monomorphization in the specializer (#20098) (Vineeth Kashyap) #20098
• 08f9302: [framework] Increase federated JWK limit (#20105) (zhoujunma) #20105
• 0b8c2c6: [consensus] Decouple encryption round from consensus round (#20065) (Balaji Arun) #20065
• 8edd030: [storage] Add hot state snapshot chunk-with-proof (wqfish) #20101
• 928d8b4: [mono-move] Enum value traversal support (#20095) (George Mitenkov) #20095
• 325da4b: [move-flow] Add facts query to move_package_query (#20068) (Amine Elsassi) #20068
• 6daeb3b: [mono-move] Basic hash natives (#20100) (George Mitenkov) #20100
• ee8b149: [api] Annotate closure captured arguments (#19999) (George Mitenkov) #19999
• 39d0ec2: [move-flow] Add hardened release pipeline (#20054) (Amine Elsassi) #20054
• 832e9c4: [mono-move] Add stdlib native functions (string, bcs, object, table) (#20073) (Victor Gao) #20073
• c7093da: Revise CODEOWNERS for updated directory ownership (#20099) (Greg Nazario) #20099
• c3066ad: [mono-move] Fix bool deserialization to be canonical (#20108) (George Mitenkov) #20108
• 34295d5: Collapse unary cast variants (#20110) (Vineeth Kashyap) #20110
• 9b8407e: Bump form-data from 4.0.5 to 4.0.6 in /crates/aptos-faucet/ts-client (#20094) (dependabot[bot]) #20094
• fc4d93e: collapse generic/non-generic call & closure IR twins (#20109) (Vineeth Kashyap) #20109
• 9ee3570: [mono-move] Add a Move unit test harness (#20042) (Calin Tataru) #20042
• 62b6bc6: [storage] Add indexer flush to fix flaky test (wqfish) #20118
• 13f2453: [deps] Bump lru from 0.16.1 to 0.18.0 (wqfish) #20118
• 54419d6: [storage] Test hot state LRU overlay fall-through (wqfish) #20118
• 6870a6b: [storage] Add unit tests for hot state in State (wqfish) #20118
• 0b85192: [storage] Add hot state smoke tests (wqfish) #20118
• 3bd6b26: remove draft (#20119) (Teng Zhang) #20119
• c3f08d8: [execution] Enable Block-STM v2 by default (#20116) (Zekun Li) #20116
• a340135: [consensus] Test V1/V2/V3 decryption metadata transitions; remove framework_upgrade chunky-DKG override (#20111) (Balaji Arun) #20111
• 4f7b1b3: [consensus] Exclude retryable encrypted txns from execution (#20115) (Balaji Arun) #20115
• 96120d1: [mono-move] TODOs cleanup (#20124) (George Mitenkov) #20124
• 90b23da: [mono-move] LdConst GC test (#20125) (George Mitenkov) #20125
• dbac2fe: [move perf] Shorten the window where the PR mechanism triggers to 2 days (#20135) (Wolfgang Grieskamp) #20135
• d87b08e: [ci] Calibrate single-node execution performance values (#20141) (aptos-bot) #20141
• e39f360: [mono-move] CI benchmark (#20138) (George Mitenkov) #20138
• 0edb427: [trading-native] Native-position consensus state root (rebased on main + pruner) (#20016) (Guoteng Rao) #20016
• 4e4c761: [framework] Do not use aggregator V1 in genesis (#20130) (George Mitenkov) #20130
• 73e51f7: [vm] Lazily prepare keyless PVK (#20148) (zhoujunma) #20148
• be2341d: [mono-move] Keep type as identity, use layouts for size/alignment (#20139) (George Mitenkov) #20139
• e6601bb: Remove a left-over debug output from the executor-benchmark (#20152) (Andrei Tonkikh) #20152
• 3b3a0e7: Update gas version on main branch (#20154) (vsharongg) #20154
• 2c50705: [consensus] demote leader-reputation short-window log during catch-up (#20086) (Balaji Arun) #20086
• 123536d: more spec fix (#20076) (Teng Zhang) #20076
• 7091534: [stdlib] Make std::result::Result public and enable its helpers (#20150) (Wolfgang Grieskamp) #20150
• f7b6352: [mono-move] Replay benchmark (#20126) (Calin Tataru) #20126
• 8d816c2: [vm] Refactor function type creation (#20149) (George Mitenkov) #20149
• b4bd877: [storage] KV replay: split batches at epoch endings (wqfish) #20157
• 7b5ef95: [types] Add bon builder for TransactionInfo (wqfish) #20157
• c0f373b: [refactor] Add bon builders to more multi-arg constructors (wqfish) #20157
• 44554f0: [refactor] Add bon builders to two more swap-prone fns (wqfish) #20157
• d8852e0: [deps] Bump num-bigint-dig 0.8.4 -> 0.8.6 (wqfish) #20157
• f3e3806: [execution] Decouple hot state root from TXN_INFO_V1 (wqfish) #20157
• be916bb: [mono-move] Small benchmark improvements (#20158) (George Mitenkov) #20158
• e7db977: [mono-move] Hoist interpreter machine registers into the run loop (#20134) (Victor Gao) #20134
• b7f23b2: [release] Add aptos-release-tool (#20121) (Victor Gao) #20121
• e694690: [mono-move] Add secp256k1 natives (#20159) (George Mitenkov) #20159
• a7001ac: [consensus] Reject opt block at ProposalMsg ingress (#20161) (Daniel Xiang) #20161
• f9244fa: [types] Derive state-key shard index from array length (wqfish) #20166
• 1dbcc78: [framework] Add multisig script feature flag back (#20142) (Greg Nazario) #20142
• daf7138: [move-flow] Add update subcommand (#20170) (Amine Elsassi) #20170
• 383d2c3: [types] Reduce state key registry lock contention (wqfish) #19989
• e75a0db: [execution] Sort to_make_hot once at cap time (wqfish) #19989
• f38c8bb: [forge] Keep hotness flag off in mixed-version suites (wqfish) #19989
• 75222b2: [vm] Record txn read sets for hot state promotion (wqfish) #19989
• c2f0746: add code download mode for comparison testing tool (#20187) (Teng Zhang) #20187
• 58b3d3e: fix framework spec (#20151) (Teng Zhang) #20151
• b7e72f7: [vm] Harden AIP-133 function reflection (#20147) (Wolfgang Grieskamp) #20147
• fe434eb: [API] Verify JSON batch sizes immediately. (Josh Lind) #20079
• ee3597b: [API] Always verify endpoint accessibility first. (Josh Lind) #20079
• c514c56: [framework] Mint gas refund as APT FA via MintRef (#20132) (Aaron) #20132
• 31ff67b: [State Sync] Use saturating operations. (Josh Lind) #20199
• 7befd20: [mono-move] Seed features resource in unit test harness (#20201) (Calin Tataru) #20201
• 22014e2: fix attrs,type and returnTypes qualification + add lambda tagging + read-only hint (GotenJBZ) #20174