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 adoção de uma mentalidade maliciosa ajuda os construtores a pensar de maneiras não tradicionais sobre software e segurança. Ele prepara você para o que pode dar errado, como as coisas podem ser quebradas e como evitar isso.
Nos vemos em breve no Meridian Rio! 🙌
19 de ago., 04:24
Codifique com segurança. Pense maliciosamente. 🔒
Suas habilidades em Rust evitarão muitos bugs, mas não impedirão as explorações lógicas de um determinado invasor. No dia 17 de setembro, no Meridian Rio, aprenda a antecipar vulnerabilidades de contratos inteligentes antes de implantar com @CertoraInc e @rv_inc .
1,11K
Foi uma honra unir forças com @blend_capital e @code4rena para realizar a primeira competição de Verificação Formal no ecossistema @BuildOnStellar.
O relatório completo está pronto 👇
14 de ago., 02:00
O relatório de auditoria do Blend v2 já está publicado!
Muito respeito à @blend_capital, @StellarOrg e @CertoraInc pela parceria com a C4 para proteger o Blend V2 e o ecossistema Stellar.
Confira o Relatório de Auditoria Code4rena e o Relatório do Concurso Certora abaixo! 👇
4,37K
Certora repostou
Acabamos de lançar uma grande atualização para o @CertoraInc Prover, nosso mecanismo de verificação formal para provar que os contratos inteligentes estão corretos ou encontrar bugs reais.
A v8.1.0 está repleta de novos recursos poderosos e (sim) algumas mudanças significativas. Aqui está o que há de novo 👇
1,87K
Atenção @arbitrum construtores 📣
O Programa de Auditoria Arbitrum está no ar. Estamos prontos para ajudá-lo a proteger seu código e enviar com confiança.
Saiba Mais 👇
4 de ago., 22:47
Apresentando o Programa de Auditoria Arbitrum, uma das maiores concessões de auditoria de criptomoedas!
Projetos em estágio inicial construídos (ou planejando construir) no Arbitrum agora podem solicitar subsídios de auditoria de terceiros
Inscreva-se hoje e saiba mais 👇
2,43K
Certora repostou
AMMs na plataforma Soroban da @Stellarorg exigem precisão: o
@aqua_token competição entregue e os resultados estão aí. 🪐
Pesquisadores mais bem classificados:
🥇 @alkarin_: $ 18,898.21
🥈 @DzordanTa1567: $10,440.32
🥉 @carrotsmuggler: US$ 9.050,89
Outro destaque incrível da tabela de classificação abaixo.
13,81K
Melhores
Classificação
Favoritos