ERC-8211: Smart Batching

ERC-8211 proposes Smart Batching, a batch encoding standard for smart accounts in which each parameter is resolved on-chain at execution time and checked against inline constraints, and assertions can be placed between steps so a batch can stop if chain state is unacceptable. The authors argue this addresses static batching (ERC-4337, EIP-5792), where parameters are fixed at signing time, so a swap returning less than estimated causes the batch to revert. The draft's example pairs a swap with an assertion that USDC balance is at least 2500e6 before a supply step, and a later assertion that aUSDC balance is at least 2400e6. The reference implementation, by Mislav Javor, Filip Dujmušić, Filipp Makarov and Venkatesh Rajendran, is described as audited with all findings remediated.