Tópicos populares
#
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
Proteção de DeFi por meio de auditorias de contratos inteligentes, verificação formal e revisões de design de protocolo. Com a confiança de Aave, Uniswap, Lido, EigenLayer, Solana e muito mais.
A solvência não é assumida. É provada.
Acabámos de verificar formalmente os Vaults de Ganhos da @KaminoFinance, cobrindo depósitos, levantamentos, lógica de taxas e arredondamento de ponto fixo.
Saiba mais 👇
21/07, 22:27
1/ Temos orgulho em compartilhar que os Vaults Kamino Earn foram formalmente verificados pela @CertoraInc — um grande marco de segurança.
Isto confirma que o Kamino Earn atende aos mais altos padrões de segurança, tornando-o o produto de rendimento mais seguro na @solana.
Totalmente open source. 4x auditado. Formalmente verificado.
9,17K
Se o tema é Segurança DeFi e a conversa está a esquentar, conte connosco 🫡
Obrigado @aave por nos receber!
22/07, 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol O dia começou com um painel picante sobre segurança com @SagivMooly, @zkBri, @Sh4har e @Montyly.
3,7K
Certora republicou
Os bugs em contratos inteligentes são caros e difíceis de detectar:
🔍 O Fuzzing perde entradas raras
📜 A verificação formal é difícil de usar
No @EthCC, apresentei como na @CertoraInc exploramos a Verificação de Modelo Limitado, um meio-termo prático que encontra bugs reais e reproduzíveis com configuração mínima. 👇
3,34K
Certora republicou
Os resultados do componente de Verificação Formal de $20,000 da auditoria competitiva Blend V2 estão disponíveis!
Um grande agradecimento a todos que participaram, e uma enorme congratulação ao @alexzoid_eth por garantir o primeiro lugar no primeiro concurso de verificação formal no ecossistema Stellar!
Muito respeito ao @blend_capital e ao @StellarOrg por se associarem à C4 para garantir o Blend V2 e o ecossistema Stellar — e ao @CertoraInc por supervisionar e julgar o segmento de verificação formal desta competição colaborativa.
Lista completa dos vencedores👇
8,14K
Um enorme agradecimento a todos que participaram na Certora Run em Cannes ensolarada! 🏃🏃🏻♀️
Para onde devemos correr a seguir? 👀
3/07, 03:52
Oi @raave’rs 👻
Festa hoje à noite, Certora Run amanhã. Quem está dentro? 👀
2,06K
Oi @raave’rs 👻
Festa hoje à noite, Certora Run amanhã. Quem está dentro? 👀
25/06/2025
Atenção @EthCC participantes! 🏃♂️🌊
Junte-se a nós para a nossa assinatura Certora 5K Run & Walk na bela Cannes!
Quer seja um corredor ou um caminhante, todos são bem-vindos.
📅 3 julho
🕐 Início da manhã
💥 Registe-se agora
3,24K
O DeFi Summer Day da @aave está quase a chegar!
Se você vai participar, venha conversar sobre tudo relacionado à segurança com a equipe da Certora e junte-se ao nosso painel para aprender como tornar o DeFi robusto e resiliente.
Até já! 👇
30/06/2025
Código é Lei. E se estiver errado?
Aprendendo a tornar o DeFi resiliente através da segurança com @SagivMooly, @zkBri, @Sh4har e @Montyly.
1,7K
Top
Classificação
Favoritos