sofi

just a listener here

[Tomer Ganor @tomer_ganor]

1/ DAOs can be a double-edged sword - a potential bug in @LidoFinance will ripple across the DeFi ecosystem.
That’s why when they introduced their innovative Dual Governance, I reviewed the design before a single line of code was written and prevented the apocalypse. 🧵

[tincho 🪷 @tinchoabbate]

the great @holajotola talking uniswap hooks at @summit_defi 🔥

[RajΞΞv @0xRajeev]

Panel on challenges of building, scaling and securing DeFi protocols with @eboadom @MerlinEgalite @saraareynolds @code2042 and @hrkrshnn at @summit_defi

[Defi Security Summit @summit_defi]

🚀 DeFi Security Summit 2024 is less than 24 hours away!

We're excited to kick things off with an amazing lineup.

📅 Speakers, be sure to check the schedule, and get ready to dive into the future of DeFi security.

https://t.co/dC6q0f4NRW

[Mooly Sagiv @SagivMooly]

Should we open-source Certora Prover?👀

[sofi @anotherchinaboy]

@mijovic988 🔥🔥🔥⚽️🇦🇷😜

[sofi @anotherchinaboy]

@fiorescan @Colapinto_news @brunitob 🤣🤍🤣🤍🤣

[Certora @Certora]

📆 Sep 20: Time to lace up! 🏃‍♂️

We’ll be co-hosting a 5K run/walk with @ElectricCapital. A perfect way to recharge before diving back into the conferences. ⬇️

https://t.co/S9OeZZEest

[Certora @Certora]

📆 Sep 18: We’re kicking off #Token2049 with a co-hosted lunch alongside @multisig at Marina Bay.

Join us for great bites, meaningful connections, and tons of networking opportunities ⬇️

https://t.co/0VHyFiRorx

[Certora @Certora]

Hello Singapore! 🇸🇬

We’ve got a big week ahead at @token2049 and @SolanaConf

Here’s where you can catch our team in action 👇

[sofi @anotherchinaboy]

@certora @Uniswap @cantinaxyz 🔥🔥🔥

[Certora @Certora]

Are you a math whiz looking to monetize your skills? Compete in the $100K @Uniswap formal verification bug-bounty contest on @cantinaxyz!

Join our beginner-friendly webinar on September 2nd, 16:00 UTC to kickstart your journey into formal verification.

https://t.co/3Y3TZU4hlE

[Euler Labs @eulerfinance]

4/ The Holy Grail

A crucial invariant for a lending protocol is ensuring users’ health factor only changes with their balances or asset prices.

Proving this invariant was a challenge for both testing suites. Formally proving it couldn't be broken was considered the ‘Holy Grail’ of formal verification.

@certora's team achieved and formally verified that the invariant could not be broken.

[Certora @Certora]

We’ve got swag! Stop by the booth for some fresh Certora merch - all day today and tomorrow @EthCC

[Certora @Certora]

1/ Our team is arrived & energized for @EthCC in Brussels!

Want to meet up and talk, learn, or just hang out?

Here's where we'll be this week 👇

[sofi @anotherchinaboy]

@DennisonBertram ♥️♥️♥️

[Mooly Sagiv @SagivMooly]

1/ I am excited to talk this Monday at @EthCC security about how lending protocols, including @aave, @MorphoLabs, @SiloFinance, and @eulerfinance are securing their code via formal verification.

Do you know what is the most critical security property of a lending protocol?

[Lemniscap @Lemniscap]

Not long to go until the 2nd annual Lemniscap Portfolio Day at @EthCC @EthCCweek, happening next Thursday. Don't miss the chance to network with our portfolio founders and industry leaders in the heart of Brussels🇧🇪!

Last spots remaining. Register here👇
https://t.co/uT2c56YmLc

[Ramon | Kinto ⛩️ 💹🧲 @ramonrecuero]

1/ Babylon Finance is Shutting Down

Despite our efforts, we haven’t been able to revert the negative momentum caused by the Rari hack. 🐻 Market hasn't helped.

https://t.co/Qgb5XM33ZX

🧵 TLDR below