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

가입 July 2015

2.2K 팔로잉 중 25.7K 팬

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.