19 de fevereiro - Projetos em destaque @paradigm - Resumo de tweets I. Introdução ao projeto A Paradigm é uma instituição de pesquisa e investimento de ponta focada no campo das criptomoedas e Web3. Suas áreas principais incluem infraestrutura de blockchain, ferramentas para desenvolvedores e segurança criptográfica, comprometendo-se a promover o desenvolvimento a longo prazo de infraestruturas críticas como contratos inteligentes através de pesquisa e desenvolvimento tecnológico. II. Destaques de hoje 1. A Paradigm e a OpenAI publicaram em conjunto um artigo de pesquisa, focando na segurança de contratos inteligentes. O artigo explora a aplicação de agentes de IA na exploração de vulnerabilidades em contratos inteligentes EVM, marcando a interseção de ponta entre IA e segurança de blockchain. 2. A equipe de pesquisa lançou o evmbench, uma ferramenta de benchmark e agente. Esta ferramenta é utilizada para avaliar e explorar vulnerabilidades em contratos inteligentes, oferecendo uma nova metodologia e padrões de teste para auditorias de segurança automatizadas. 3. O modelo de IA fez avanços significativos na eficiência de descoberta de vulnerabilidades. Há alguns meses, o modelo ideal conseguia identificar menos de 20% das vulnerabilidades críticas de roubo de fundos; agora, sob o mesmo benchmark, a taxa de descoberta do modelo aumentou para mais de 70%. 4. A ferramenta Foundry, da Paradigm, desempenhou um papel crucial nesta pesquisa. Esta ferramenta foi utilizada para impulsionar os avanços tecnológicos nos testes de segurança de contratos inteligentes, refletindo seu impacto real no ecossistema de desenvolvedores. 5. Os parceiros incluem plataformas de auditoria de segurança como Tempo e Code4rena. Essas plataformas forneceram casos reais de vulnerabilidades e ambientes de teste, permitindo que a pesquisa se baseasse em dados do campo real, aumentando a credibilidade dos resultados. 6. A pesquisa destacou a importância a longo prazo dos contratos inteligentes como infraestrutura financeira. Os contratos inteligentes são vistos como o núcleo dos pagamentos e finanças do futuro, e sua segurança está diretamente relacionada à estabilidade de todo o ecossistema criptográfico. 7. Este progresso pode impulsionar a atualização dos padrões de segurança da indústria. Com ferramentas de auditoria automatizadas aprimoradas por IA, as equipes de projeto e segurança podem identificar e corrigir vulnerabilidades críticas de forma mais eficiente, reduzindo o risco financeiro. 8. A colaboração intersetorial demonstra o potencial da combinação entre academia e indústria. A colaboração entre instituições de investimento de topo, laboratórios de IA e comunidades de segurança oferece novos modelos para a resolução de problemas técnicos complexos. III. Dados e indicadores-chave No benchmark evmbench, a taxa de descoberta de vulnerabilidades críticas de roubo de fundos da Code4rena pelo modelo de IA aumentou de menos de 20% há meses para mais de 70% atualmente. Este dado reflete diretamente o progresso da IA na área de auditoria de segurança de contratos inteligentes. IV. Riscos do projeto (O tweet não mencionou riscos, vulnerabilidades ou eventos de segurança específicos, esta parte foi omitida.) 1. Georgios Konstantopoulos @gakonst expressou que viu a Paradigm e a Tempo serem citadas no artigo de pesquisa da OpenAI sobre segurança de contratos inteligentes, acreditando que os contratos inteligentes são a infraestrutura fundamental para pagamentos futuros. 2. Alpin Yukseloglu @0xalpo apresentou o evmbench, lançado em colaboração entre a Paradigm e a OpenAI, que é uma ferramenta de benchmark e agente para detectar vulnerabilidades em contratos inteligentes.