sofiviss

Head of Growth at Certora, previously Babylon finance and OpenZeppelin.

[sofiviss @sofiviss]

@tomer_ganor @Certora 🎉🎉🎉🎉

[Certora @Certora]

https://t.co/GePtI4NmPo

[Certora @Certora]

🚨 Hiring alert!

Want to work at the best security company in the industry? Certora is looking for a new sales rep to join the team.

If you’re interested, check out the job description and apply today.

Link below 👇

[sofiviss @sofiviss]

@EmilieRaffo @MacroMate8 🔥🤘🏼… and I guess we will still bump into each other for a few more years 😂😂😂

[Code4rena @code4rena]

If you missed today's live walkthrough of the Blend V2 codebase with @BuildOnStellar, @blend_capital, & @certora make sure to check out the recorded session below!

[ETHDenver 🏔🦬🦄 @EthereumDenver]

Securing Liquid Staking: Lido’s Dual Governance Revolution by @tomer_ganor from @certora.

Learn how Lido’s Dual Governance protects stakers from malicious DAO proposals while balancing security & decentralization.

Full video below 👇🧵

[Mooly Sagiv @SagivMooly]

The Certora Prover is a huge team effort. 100 amazing engineers from four continents built a robust formal verification platform.
In 2024, 100 excellent DeFi clients used the Certora Prover, which became more robust with each client. 200 external security researchers wrote formal verification rules in audit contests for the FV.

[Anton Cheng @antonttc]

Shutout to @eulerfinance to having one of the best documented @certora specs in their repo.

This makes it super easy for anyone to understand the property of the protocol.

https://t.co/LlEaKlhAKo

[Certora @Certora]

Formal verification doesn’t just catch bugs, it ensures your code stays robust after fixes 🛡️

Listen to Jochen Hoenicke and @hensha256 explain how we helped @Uniswap automatically recheck their code in V4.

And if you want a deep dive into what we found, check the thread 👇🧵

[sofiviss @sofiviss]

@HatsFinance @FjordFoundry 🔥🔥🔥🔥🔥🔥🔥

[Uniswap Foundation @UniswapFND]

Uniswap v4 is coming later this year 🚀

The UF is dedicated to ensuring v4's code undergoes rigorous auditing before deployment on Ethereum.

We’ve partnered with @Uniswap Labs to select 5 top audit firms. Audits will begin this week, and will continue over the next few months.

[Certora @Certora]

Excited to verify the next generation of Uniswap, bringing new levels of efficiency to AMM design. 🚀

We complement top security firms by mathematically proving that the PoolManager will never lose the funds deposited by liquidity providers. 🔒💰

[Defi Security Summit @summit_defi]

🎟️ Final round of early bird tickets open! 🎟️

Get your tickets anytime within the next 2 hours 🎉

https://t.co/S99OsOjSz1

[Euler Labs @eulerfinance]

HackerHaus Livestream

Walkthrough of v2's vault code by the gigabrain behind it, happening now:

https://t.co/QWtixvL7aW

[Defi Security Summit @summit_defi]

1 hour until tickets open 👀

Going live at 5pm-7pm UTC
- 1pm-3pm EST
- 10am-Noon PST
- 7pm-9pm CET

https://t.co/U2KTLVvXsb

[Euler Labs @eulerfinance]

HackerHaus with the chads at @SpearbitDAO and @certora is tomorrow!

- Q&As
- Workshops
- Code walkthroughs

If you're in Berlin, join us 🇩🇪
https://t.co/aJov4DIp4z

[Defi Security Summit @summit_defi]

📅 MARK YOUR CALENDARS 📅

We're opening TWO 2-hour timeslots for more early bird tickets next Wed May 22nd!

⏰ Asia/Europe: 5am-7am UTC
⏰ US/Europe: 5pm-7pm UTC

Pricing will stay the same ($150) as the sold out first round 🤯

Stay tuned for reminders & see you in Bangkok!

[Certora @Certora]

The energy is high at @EthereumDenver this year 🚀

Thank you to everyone for coming out to the Puttshack last night - over 2k registrations! 🎉

@AlchemixFi @SiloFinance @PremiaFinance

[Jules Mossler @julie_mo]

When that tagline lands with a 👊😎

Congrats, @certora!

[Certora @Certora]

Make some friends and talk about security at one of our many @EFDevconnect events 🎉

Tuesday: @TheTrustX
Wednesday: 5k run/walk with @ElectricCapital
Thursday: lunch meetup with @aave
Friday-Sun: win $5k in prizes at @ETHGlobal

Registration details in 🧵: