Blockchain, Ethereum, Simulation.
contract In formal verification, reducing contract complexity (especially at bytecode level) can be critical for performance or a pre-requisite to apply formal verifiers that depend on input structure. The key modifications we made to the Uniswap contract were to remove complexity associated with