Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Na tomhle se pracovalo měsíce.
Co mě velmi těší, je to, že OSec zvolil úplně jiný přístup než Certora, ale nakonec prokázal stejné vlastnosti.
(Certora dokázal vnitřní logiku, OSec dokázal z úrovně handlera)
Bylo mi potěšením pracovat s @NotDeGhost
Top
Hodnocení
Oblíbené