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

가입 July 2015

2.4K 팔로잉 중 26.2K 팬

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