Vitalik stated on the X platform that EIP-8141 transaction types are optimized by distinguishing between "actions" and "dependencies" in transactions. Signature, Merkle proof of UTXO, and ZK-SNARK or STARK are dependencies, and the call to send ETH is an action. Dependency can be processed in parallel, dependencies involving states are handled by memory pools, and pure dependencies are replaced by STARK proofs. Ethereum scaling requires a distinction between dynamic flexibility and static analyzability, with the latter having lower gas costs and over 90% of Ethereum activities not requiring dynamic flexibility. The EIP-8141 transaction type is evolving towards a universal and minimalist call list direction, with new state types, recursive STARK memory pools, and key controlled nonce belonging to this direction.
