Blockchain, Ethereum, Simulation.
addLiquidity, removeLiquidity, ethToTokenSwapInput, and ethToTokenSwapOutput is verified using the KEVM framework. An assumption is made that the existing ERC20 contract is “well-behaved”. In a follow-up audit by ConsenSys Diligence, the team was able to reason what could happen if this assumption