[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

@CertoraInc "Certora Champions 🦸♂ Meet Alex one of the experts behind securing @Balancer @KaminoFinance @RaydiumProtocol @fragmetric Chainlink Astaria and many more"
X Link @CertoraInc 2025-10-23T20:02Z 10.5K followers, 3827 engagements

"Lidos governance got safer with @LidoFinances Dual Governance a key step toward reducing DAO risk and strengthening Ethereum staking. Behind its mechanism design review was @tomer_ganor helping ensure the protocols security and robustness. Get to know one of the Certora researchers securing the protocols you use every day 👇"
X Link @CertoraInc 2025-10-28T19:34Z 10.5K followers, 2660 engagements

"On May XX @coinbase revealed it was hit by an extortion scheme. Hackers didnt hack the blockchain. They hacked people. Here are some key lessons we learned from the attack (and how to prevent it) 🧵"
X Link @CertoraInc 2025-08-20T17:15Z 10.5K followers, 7798 engagements

"Aave V4 fundamentally changes DeFi lending. Liquidity is no longer siloed by market all assets now live in a unified Liquidity Hub per network. Behind @aave s safety are champions like Nurit a Formal Verification researcher at Certora. Get to know her 👇"
X Link @CertoraInc 2025-10-30T15:12Z 10.5K followers, 2271 engagements

"Nurit joined Certora in its early days working on protocols like @Celo @SushiSwap @opyn_ and @compoundfinance. Recently she worked on securing @LidoFinance @eulerfinance @0xFastLane and more. Shes contributed verification rules to Aaves protocol from V2 to V4"
X Link @CertoraInc 2025-10-30T15:12Z 10.5K followers, XXX engagements

"@helpnetsecurity @try_headway @HelloThredd @BarclaysCIB @EmiratesNBD_AE @binance @Alstom @MSCCargo @deltatre Thanks for sharing 🤝"
X Link @CertoraInc 2025-10-28T18:26Z 10.5K followers, XX engagements

"Tomer holds a Bachelors in Mathematics and a Masters in Computer Science. He enjoys finding unique and creative bugs and hes become an expert at it. 🐛💡"
X Link @CertoraInc 2025-10-28T19:34Z 10.5K followers, XXX engagements

"Beyond Lido Tomer has helped secure some of DeFis most trusted protocols: @aave (V2 V3 V4) @eigenlayer @ether_fi @Uniswap @eulerfinance @Balancer @beefyfinance @SiloFinance and many others"
X Link @CertoraInc 2025-10-28T19:34Z 10.5K followers, XXX engagements

"@SagivMooly @ElectricCapital @OpenZeppelin @sherlockdefi @sigp_io @LidoFinance @eigenlayer @Kerberus @opsek_io @dedaub @StellarOrg @blackthornxyz @aave @VeridiseInc @blockaid_ 🤝"
X Link @CertoraInc 2025-10-28T23:25Z 10.5K followers, XXX engagements

"@tarikbell @MorphoLabs @compoundfinance @Uniswap Congrats 🙌"
X Link @CertoraInc 2025-10-30T15:39Z 10.5K followers, XXX engagements