zefram.eth(@boredGenius):Introducing Tamago🍳, a standard contract suite for Verity analogous to Solady for Solidity First ever (!!!) formally verified implementations of sqrt(), cbrt(), log10(), and log256() in EVM. Also the first ever formally verified ERC-4626 vault! cc @VitalikButerin @Fricoben

zefram.eth

@boredGenius

Finally giving privacy to crypto users @FoglightPrivacy @cabaldotcooking

Joined July 2015

2.4K Following 26.2K Followers

zefram.eth@boredGenius

2026.05.11 17:18

Introducing Tamago🍳, a standard contract suite for Verity analogous to Solady for Solidity First ever (!!!) formally verified implementations of sqrt(), cbrt(), log10(), and log256() in EVM. Also the first ever formally verified ERC-4626 vault! cc @VitalikButerin @Fricoben