Populaire onderwerpen
#
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
DeFi beveiligen door middel van slimme contractaudits, formele verificatie en beoordelingen van protocolontwerp. Vertrouwd door Aave, Uniswap, Lido, EigenLayer, Solana en meer.
Solvabiliteit wordt niet aangenomen. Het wordt bewezen.
We hebben zojuist de Earn Vaults van @KaminoFinance formeel geverifieerd, inclusief stortingen, opnames, vergoedingslogica en vaste punt afronding.
Leer meer 👇
21 jul, 22:27
1/ We zijn trots te delen dat Kamino Earn Vaults formeel zijn geverifieerd door @CertoraInc — een belangrijke veiligheidsmijlpaal.
Dit bevestigt dat Kamino Earn voldoet aan de hoogste veiligheidsnormen, waardoor het het veiligste rendementproduct op @solana is.
Volledig open source. 4x geaudit. Formeel geverifieerd.
9,17K
Als het onderwerp DeFi-beveiliging is en het gesprek wordt pittig, reken dan op ons 🫡
Bedankt @aave dat we er mochten zijn!
22 jul, 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol De dag begon met een pittanel over beveiliging met @SagivMooly, @zkBri, @Sh4har, en @Montyly.
3,71K
Certora heeft opnieuw gepost
Slimme contractfouten zijn kostbaar en moeilijk te ontdekken:
🔍 Fuzzing mist zeldzame invoer
📜 Formele verificatie is moeilijk te gebruiken
Tijdens @EthCC heb ik gepresenteerd hoe we bij @CertoraInc Bounded Model Checking verkennen, een praktische middenweg die echte, reproduceerbare fouten vindt met minimale setup. 👇
3,34K
Certora heeft opnieuw gepost
De resultaten van de $20.000 Formele Verificatie component van de Blend V2 competitieve audit zijn binnen!
Grote shoutout naar iedereen die heeft deelgenomen, en een enorme felicitatie aan @alexzoid_eth voor het behalen van de eerste plaats in de allereerste formele verificatiewedstrijd in het Stellar-ecosysteem!
Veel respect voor @blend_capital en @StellarOrg voor de samenwerking met C4 om Blend V2 en het Stellar-ecosysteem veilig te stellen — en aan @CertoraInc voor het toezicht houden op en het beoordelen van het formele verificatiegedeelte van deze gezamenlijke competitie.
Volledige lijst van winnaars👇
8,14K
Grote dank aan iedereen die meedeed aan de Certora Run in het zonnige Cannes! 🏃🏃🏻♀️
Waar moeten we de volgende keer vol enthousiasme beginnen? 👀
3 jul, 03:52
Hey @raave’rs 👻
Party tonight, Certora Run tomorrow. Who’s in? 👀
2,06K
Hey @raave’rs 👻
Feest vanavond, Certora Run morgen. Wie doet er mee? 👀
25 jun 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,25K
DeFi Summer Day van @aave staat voor de deur!
Als je erbij bent, kom dan praten over alles wat met beveiliging te maken heeft met het Certora-team en sluit je aan bij ons panel om te leren hoe je DeFi robuust en veerkrachtig kunt maken.
Tot ziens! 👇
30 jun 2025
Code is Law. What if it's wrong?
Learning how to make DeFi resilient through security with @SagivMooly, @zkBri, @Sh4har, and @Montyly.
1,7K
Boven
Positie
Favorieten