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