* Generate txns

* remove api key

* generate txn for defualt cti

* typo

* update changelog

* fix changelog

* fix typo

---------

Co-authored-by: Zekun Wang <[email protected]>

…n Mainnet (#15146)

* add tests to gate v2 features in framework

* remove change in framework code

* linter

---------

Co-authored-by: Zekun Wang <[email protected]>

Fixes #15054.

* [forge] check for necessary images only

* [gha] fix forge stable parallelism bug

* set name for run step as forge test name

This PR implements some major improvements to the astifier:

- Finally (I think) cracked the way how to do correct topological sorting and managing nested blocks. More complicated examples now produce more reasonable results.
- Rewrote AST transformations for if-then-else and loops.
- Fixed issues with the fixpoint analysis on the AST
- Did some minor fixes in the sourcifier

The generated source is still not correct in some cases, but much better then before.

…ase (#15173)

* fix

* add error only when there isn't one

* remove keyless circuit

* remove keyless circuit unit test

* fix bug in loop unrolling

* ast generator tests

* decompiler tests

* fix

## Description

As TPS has improved, increase the TPS of the graceful overload test to more properly test overload. (The current "overload" could almost be reached at peak TPS.)

## How Has This Been Tested?

Run the test, see TPS -- it now shows overload

* generate ans transactions

* formatting

* remove unneeded txns

…ype for spec functions (#15190)

* remove ref for spec fun

* add test

fixing unit test failure

v3 has been deprecated and will brown out (be failed on purpose
by Github) soon.

* [cli] Update CLI release script to check for versions

1. This ensures a version isn't double uploaded
2. This ensures the inputted tag matches the crate version

* Fix checks, add check for version format

* Generate new txn for account_transactrions

* Add stake transactions

* more stake txns

* uncomment testnet

* remove unused transactions

… wherever possible (#15213)

Added a comment to explain `fee_payer_authentication_key` in transaction_metadat.rs

* Add sdk support for prover and pepper use with keyless

* update

* update

* fix

## Description

* Separately reporting signature_verification and ledger_update stages.
* changing "block execution time" from being VM_EXECUTE_BLOCK counter to BLOCK_EXECUTOR_EXECUTE_BLOCK - as it is counting BlockSTM + VM, instead of just VM. adding BLOCK_EXECUTOR_INNER_EXECUTE_BLOCK when needed better granularity.
* Changed so that AptosVM is decoupled from BlockSTM. I.e. AptosVM doesn't implement TransactionBlockExecutor any more, but there is new AptosVMBlockExecutor. That allows for creating NativeVMBlockExecutor in a following PR. Allowing TransactionBlockExecutor to have state if needed, with having new() and &self argument.
* fixed split_stages to split all pipeline stages, and for initial delay to only create transacitons, but not start the pipline (i.e. verification) beforehand. 

Followup PR will introduce different native executors.


## How Has This Been Tested?
performance benchmark

…15137)

## Description
After latest round of @msmouse's refactors - all implementations of TransactionBlockExecutor are identical (and delegated to DoGetExecutionOutput), so it is unnecessary. On the other hand VMExecutor is actually a block executor (and a hook-up point to native executors) - so renaming it into VMBlockExecutor.

AptosVM was implementing VMExecutor, which seems odd, so separated into new AptosVMBlockExecutor for that.

For native implementations, I needed also single instance of VMBlockExecutor, so added new() method there and &self, with appropriate warning to AptosVM (i.e. production) implementation of it.

@msmouse , @georgemitenkov let me know if this aligns with your planned work. also if there are loader PRs pending, I can land this after those land - so rebase is on me.

This PR adds the specification for the `function_info` module, addressing the Move Prover internal error related to the undefined native function.

the last refactor made it get staking balances and the account's balance

this should fix it so it never cross contaminates between staking, delegated
staking, and normal balances.  It's much more straightforward and should be
easier to understand.

…e info version to have strong consistency. (#15065)

…c in warnings (#15241)

* Allow for AIP-80 compliant strings in imports

* Add ProfileConfig deserialization

* Restrict prefixes to ed25519

* Rebase to CHANGELOG.md

## Description
Both forge realistic env and mainnet get around 5 blocks/s so a target of 200 ms seems reasonable. Reducing the target should help latency at higher loads.

## How Has This Been Tested?
Forge tests, in particular realistic_env_fairness_workload_sweep

## Description
Implement generic comparison operator for any move type. 
This enables writing generic methods that require comparison - for example binary_search on a vector.

Since move doesn't have signed integers, comparison return value is not intuitive (increased by 1 from usual -1, 0, 1), and so is wrapped into Ordering struct - so users don't need to think about it (with move 2, calling those will be pretty intuitive)

## Type of Change
- [x] New feature

## Which Components or Systems Does This Change Impact?
- [x] Move/Aptos Virtual Machine

## Description

Memcopy (i.e. `ptr::copy_nonoverlapping` inside of `Vec`) is extremely efficient, and using Vec operations that use it directly is significantly faster (orders of magnitude on bigger vectors) than issuing operations in move.

Operations on `vector` that can be speed-up: `insert`, `remove`, `append`, `split_off`.

To keep amount of native functions short, instead of having native for each of those, providing one more general native function: `vector::move_range`, which is enough to support all 4 of the above, in addition to other uses. 

Internally, we shortcircuit a few special cases, for faster speed.

## How Has This Been Tested?
Full performance evaluation is in the follow-up PR: #14862

## Type of Change
- [x] Performance improvement

## Which Components or Systems Does This Change Impact?
- [x] Move/Aptos Virtual Machine

* fix field selection after indexing

* add test case

* handle index directly

* add more test cases

This adds support for cross-block environment and module caches

…15256)

…4> (#14984)

It is sometimes useful to know if type has constants serialized size, and for example perform some optimization based on it.

…or asset uploader (#15275)