Junte-se a nós na Feira de Ciências Lagrange esta quinta-feira, 31 de julho, em antecipação ao SBC 2025 (Conferência sobre a Ciência do Blockchain)! Ouça os principais pesquisadores da @Yale, @Stanford, @Cornell, @UCBerkeley e @Penn sobre novas inovações em blockchain e IA:
Destaque do Palestrante: Charalampos Papamanthou @chbpap, o co-diretor do Laboratório de Criptografia Aplicada de Yale e Cientista Chefe na Lagrange Ele apresenta nossa pesquisa mais recente sobre zk‑SNARKs dinâmicos (aceite no SBC 2025)—um novo avanço em computação verificável.
LAGRANGE
LAGRANGE29/07/2025
Grandes novidades: A pesquisa central de Lagrange sobre zk‑SNARKs dinâmicos (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) será apresentada na Conferência de Ciência do Blockchain (SBC) 2025 no dia 4 de agosto. Aqui está o porquê de ser importante—para IA, cripto e o futuro da computação verificável: 🧵
Destaque do Palestrante: Mahimna Kelkar @_mahimna—um pesquisador de doutorado da @Cornell—está atualmente desenvolvendo pesquisas na @OffchainLabs e em breve será professor assistente na @LifeAtPurdue Sua pesquisa combina criptografia aplicada e segurança de blockchain.
Destaque do Palestrante: Trisha Datta @TrishaCDatta é doutoranda em Ciência da Computação na @Stanford com Dan Boneh e o Grupo de Criptografia de Stanford. Atualmente, ela está construindo as bases matemáticas para a privacidade e integridade da informação, aplicando zk-SNARKs a problemas do mundo real.
Destaque do Palestrante: Dimitris Kolonelos Dimitris é pós-doutorando na UC Berkeley (hospedado por Sanjam Garg) e graduado em PhD pelo IMDEA Sua pesquisa explora a interseção da teoria criptográfica, tecnologia blockchain e privacidade digital.
Destaque do Palestrante: Alireza Shirzad @alrshirzad é um estagiário de pesquisa Lagrange e estudante de doutorado na @penn, orientado por Pratyush Mishra. Atualmente, ele está projetando sistemas de prova e SNARKs—e compartilhará novos trabalhos sobre otimizações de SNARK.
Destaque do Palestrante: Franklin Delehelle @delehef possui um doutorado em Ciência da Computação com 124 citações em computação de alto desempenho e sistemas distribuídos. Hoje, ele traz esse rigor para zkML—transformando a teoria de conhecimento zero em sistemas robustos e escaláveis como Engenheiro de Pesquisa na Lagrange.
Por que participar na Feira de Ciências Lagrange? → Pré-visualizar a pesquisa SBC 2025 antes da conferência → Conectar-se com os principais colaboradores de ZK → Aprender como as provas estão evoluindo para atender às demandas da IA no mundo real 🗓️ Quinta-feira, 31 de julho 🕛 12–14h EDT 🔗 RSVP para o link →
230,79K