zefram.eth(@boredGenius):Introducing TamaSwap, the first provably unhackable DEX. - No-free-lunch theorem, machine-checked via Lean - Onchain HTML interface, forever online - No protocol fees, no-code deploy to any EVM chain Built with Tama + Verity. AGPL license. The platonic ideal of xy=k.

zefram.eth

@boredGenius

Finally giving privacy to crypto users @FoglightPrivacy

Joined July 2015

2.2K Following 25.7K Followers

zefram.eth@boredGenius

2026.05.28 20:22

Introducing TamaSwap, the first provably unhackable DEX. - No-free-lunch theorem, machine-checked via Lean - Onchain HTML interface, forever online - No protocol fees, no-code deploy to any EVM chain Built with Tama + Verity. AGPL license. The platonic ideal of xy=k.