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