Tópicos em alta
#
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
Protegendo o 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. Está provado.
Acabamos de verificar formalmente os Cofres de Ganhos da @KaminoFinance, cobrindo depósitos, saques, lógica de taxas e arredondamento de ponto fixo.
Saiba Mais 👇
21 de jul., 22:27
1/ Estamos orgulhosos de compartilhar que os Cofres Kamino Earn foram formalmente verificados pela @CertoraInc - um importante marco de segurança
Isso confirma que o Kamino Earn atende aos mais altos padrões de segurança, tornando-o o produto de rendimento mais seguro em @solana
Totalmente de código aberto. 4x auditado. Verificado formalmente.
8,38K
Se o assunto é Segurança DeFi e a conversa está ficando picante, conte conosco 🫡
Obrigado @aave por nos receber!
22 de jul., 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.
2,95K
Certora repostou
Os bugs de contratos inteligentes são caros e difíceis de detectar:
🔍 Fuzzing perde entradas raras
📜 A verificação formal é difícil de usar
No @EthCC apresentei como no @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 repostou
Os resultados do componente de Verificação Formal de $ 20,000 da auditoria competitiva Blend V2 chegaram!
Um grande agradecimento a todos que participaram e um grande parabéns a @alexzoid_eth por garantir o primeiro lugar no primeiro concurso de verificação formal no ecossistema Stellar!
Muito respeito à @blend_capital e @StellarOrg pela parceria com a C4 para proteger o Blend V2 e o ecossistema Stellar - e à @CertoraInc por supervisionar e julgar o segmento de verificação formal desta competição colaborativa.
Lista completa dos vencedores👇
8,14K
Muito obrigado a todos que se juntaram à Certora Run na ensolarada Cannes! 🏃🏃🏻♀️
Onde devemos começar a correr a seguir? 👀
3 de jul., 03:52
Ei, @raave 👻
Festa hoje à noite, Certora Run amanhã. Quem está dentro? 👀
2,04K
Ei, @raave 👻
Festa hoje à noite, Certora Run amanhã. Quem está dentro? 👀
25 de jun. de 2025
Atenção @EthCC participantes! 🏃♂️🌊
Junte-se a nós para a nossa assinatura Certora 5K Run & Walk na bela Cannes!
Seja você um corredor ou um caminhante, todos são bem-vindos.
📅 3 de julho
🕐 Início da manhã
💥 Registre-se agora
3,22K
O DeFi Summer Day by @aave está chegando!
Se você estiver participando, venha conversar sobre todas as coisas de segurança com a equipe Certora e junte-se ao nosso painel para aprender como tornar o DeFi robusto e resiliente.
Até mais! 👇
30 de jun. de 2025
Código é Lei. E se estiver errado?
Aprender como tornar o DeFi resiliente por meio da segurança com @SagivMooly, @zkBri, @Sh4har e @Montyly.
1,68K
Melhores
Classificação
Favoritos