sudoswap 聯創擬推出新型 DEX TamaSwap

5 月 29 日（UTC+8），NFT 自動做市商協議 sudoswap 聯合創始人 Zefram Lou 擬推出 TamaSwap，並表示 TamaSwap 為首個通過 Lean 形式化驗證實現「可證明且不被黑客攻擊」的 DEX。 該專案基於經典 xy=k 模型，通過機器驗證證明單一攻擊者無論採取何種操作都無法從系統中提取價值，同時確保流動性不會減少且儲備始終由真實 ERC-20 代幣支援。TamaSwap 前端完全部署在鏈上（遵循 ERC-4804/ERC-5219），實現永久線上、無需維護和抗審查。 此外，專案無協議費用，且支援任何人一鍵無程式碼部署到任意 EVM 鏈。TamaSwap 由 Tama + Verity 工具鏈構建，程式碼與形式化規範已在 GitHub 開源（AGPL 許可）。 [Foresight News]