**[sudoswap Co-Founder Plans to Launch New DEX TamaSwap]** Foresight News reports that Zefram Lou, co-founder of the NFT automated market maker protocol sudoswap, plans to launch TamaSwap. Lou stated that TamaSwap is the first DEX to achieve "provable and hacker-proof" status through Lean formal verification. The project is based on the classic xy=k model and uses machine verification to prove that a single attacker cannot extract value from the system regardless of their actions, while ensuring that liquidity is not diminished and reserves are always backed by real ERC-20 tokens. The TamaSwap frontend is fully deployed on-chain (following ERC-4804/ERC-5219), enabling permanent online availability, maintenance-free operation, and censorship resistance. Additionally, the project has no protocol fees and allows anyone to deploy it on any EVM chain with one click and no coding required. TamaSwap is built using the Tama + Verity toolchain, and its code and formal specifications have been open-sourced on GitHub under an AGPL license.