Trendaavat aiheet
#
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.
Certora
Securing DeFi through smart contract audits, formal verification, and protocol design reviews. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
Solvency isn’t assumed. It’s proven.
We've just formally verified @KaminoFinance’s Earn Vaults, covering deposits, withdrawals, fee logic, and fixed-point rounding.
Learn more 👇
21.7. klo 22.27
1/ We’re proud to share Kamino Earn Vaults have been formally verified by @CertoraInc —a major security milestone
This confirms Kamino Earn meets the highest safety standards, making it the most secure yield product on @solana
Fully open source. 4x audited. Formally verified.
9,46K
If the topic is DeFi Security and the convo’s getting spicy, count on us 🫡
Thanks @aave for having us!
22.7. klo 02.47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol The day started with a spicy panel on security with @SagivMooly, @zkBri, @Sh4har, and @Montyly.
3,77K
Certora kirjasi uudelleen
Smart contract bugs are costly and hard to catch:
🔍 Fuzzing misses rare inputs
📜 Formal verification is hard to use
At @EthCC I presented how at @CertoraInc we explore Bounded Model Checking, a practical middle ground that finds real, reproducible bugs with minimal setup. 👇
3,36K
Certora kirjasi uudelleen
The results of the $20,000 Formal Verification component of the Blend V2 competitive audit are in!
Big shoutout to everyone who participated, and a huge congrats to @alexzoid_eth for securing first place in the first-ever formal verification contest in the Stellar ecosystem!
Much respect to @blend_capital and @StellarOrg for partnering with C4 to secure Blend V2 and the Stellar ecosystem — and to @CertoraInc for overseeing and judging the formal verification segment of this collaborative competition.
Full list of winners👇
8,15K
Huge thanks to everyone who joined the Certora Run in sunny Cannes! 🏃🏃🏻♀️
Where should we hit the ground running next? 👀
3.7. klo 03.52
Hey @raave’rs 👻
Party tonight, Certora Run tomorrow. Who’s in? 👀
2,11K
Hey @raave’rs 👻
Party tonight, Certora Run tomorrow. Who’s in? 👀
25.6.2025
Attention @EthCC attendees! 🏃♂️🌊
Join us for our signature Certora 5K Run & Walk in beautiful Cannes!
Whether you're a runner or a walker, everyone’s welcome.
📅 July 3rd
🕐 Morning start
💥 Register now
3,29K
DeFi Summer Day by @aave is just around the corner!
If you’re attending, come chat about all things security with the Certora team and join our panel to learn how to make DeFi robust and resilient.
See you! 👇
30.6.2025
Code is Law. What if it's wrong?
Learning how to make DeFi resilient through security with @SagivMooly, @zkBri, @Sh4har, and @Montyly.
1,74K
Johtavat
Rankkaus
Suosikit