sudoswap co-founder plans to launch new DEX TamaSwap

Foresight News reports that NFT automatic market maker protocol sudoswap co-founder Zefram Lou plans to launch TamaSwap and claims that TamaSwap is the first DEX to achieve "provable and hack-resistant" status through Lean formal verification. The project is based on the classic xy=k model and uses machine verification to prove that no single attacker, regardless of their actions, can extract value from the system. It also ensures that liquidity does not decrease and reserves are always backed by real ERC-20 tokens.

The TamaSwap frontend is fully deployed on-chain (following ERC-4804/ERC-5219), achieving permanent uptime, maintenance-free operation, and censorship resistance. Additionally, the project charges no protocol fees and allows anyone to deploy to any EVM chain with a single click and no coding. TamaSwap is built using the Tama + Verity toolchain, and both the code and formal specifications have been open-sourced on GitHub under the AGPL license.