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,46K
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,77K
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,36K
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,15K
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 👻
Feest vanavond, Certora Run morgen. Wie doet er mee? 👀
2,11K
Hey @raave’rs 👻
Feest vanavond, Certora Run morgen. Wie doet er mee? 👀
25 jun 2025
Let op @EthCC aanwezigen! 🏃♂️🌊
Ga met ons mee voor onze kenmerkende Certora 5K Run & Walk in het prachtige Cannes!
Of je nu een hardloper of een wandelaar bent, iedereen is welkom.
📅 3 juli
🕐 Ochtend start
💥 Registreer nu
3,28K
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 Wet. Wat als het fout is?
Leren hoe we DeFi veerkrachtig kunnen maken door middel van beveiliging met @SagivMooly, @zkBri, @Sh4har en @Montyly.
1,74K
Boven
Positie
Favorieten