Ansioso pela dinâmica palestra sobre zk-SNARKs na SBC 2025!

🚨 NOTÍCIA DE ÚLTIMA HORA: A Sui Research acaba de lançar um grande avanço na transição quântica de "alguns" blockchains. Infelizmente, funciona para Sui, Solana, Near, Cosmos e outras cadeias baseadas em EdDSA, mas não para Bitcoin e Ethereum 😢 Aqui está o artigo: *Até onde sei, este é o primeiro caminho de atualização quântica seguro e compatível com versões anteriores para carteiras de blockchain, a fim de evitar futuros forks ou contas congeladas. ...e por que isso é enorme 🧵👇 💀 Há uma chance não nula de que as carteiras de hoje possam se tornar vulneráveis a adversários quânticos nas próximas décadas. Embora eu pessoalmente duvide que estejamos perto da supremacia quântica que possa quebrar a criptografia em breve, as crescentes preocupações e novas orientações de agências de segurança recomendando atualizações de algoritmos até 2035 devem servir como um alerta. Mesmo que muito disso seja impulsionado pela percepção, nossa comunidade deve estar preparada para eventualmente fazer a transição. Uma vez que os computadores quânticos cheguem, milhões de carteiras, incluindo a de Satoshi, podem ser drenadas instantaneamente. Se sua chave pública for visível, ela eventualmente será quebrada. Chaves perdidas, proprietários falecidos, armazenamento a frio... tudo em risco (esses serão as primeiras vítimas). Bilhões em cripto estão em carteiras "adormecidas" que podem nunca ser atualizadas ou transferir seus ativos. 💡 Nossa solução: Encontramos uma maneira para carteiras que usam EdDSA (por exemplo, Sui, Solana, Near e co) provarem a propriedade de forma segura após a quântica, sem revelar segredos ou tocar na carteira para transferir rapidamente suas moedas. Surpreendentemente, um pequeno detalhe sobre como as chaves privadas EdDSA são derivadas em comparação com ECDSA faz uma grande diferença na prontidão quântica. Resumindo, uma simples invocação de hash sobre uma semente e não escolher diretamente escalares de curva elíptica como chaves privadas salvou o jogo! 🔐 Sem re-assinatura. Sem mudança de endereço. Zero tempo de inatividade. Apenas uma prova de conhecimento zero que diz: "Eu ainda controlo esta carteira, mas agora assinando protegido contra hackers quânticos" 🚀 Construído sobre a derivação de chave Ed25519 (SLIP-0010) e zk-STARKs / Ligero 🛡️ Funciona para contas adormecidas e perdidas, multisigs, tesourarias e armazenamento a frio 📈 Protege usuários reais e instituições, não apenas cadeias futuras, mas também suas carteiras baseadas em mnemônicos de hoje 👨‍🔬 Desenvolvido por @SuiNetwork, @Mysten_Labs e @GeorgeMasonU, criptógrafos aplicados e teóricos, parabéns a Foteini e Arnab cuja ajuda foi fundamental! *Já estamos em contato com as equipes por trás de @ligero_inc e @SoundnessLabs, mas também abordaremos governos e grandes organizações como o Google (que já começou a explorar provas ZK Ligero) para buscar uma implementação e, se possível, torná-la um padrão global. Talvez aqueles que escolheram Ed25519 em vez de ECDSA foram sortudos ou apenas inteligentes. Pessoalmente, quero agradecer a um dos meus primeiros instrutores de cripto, Daniel Bernstein (@hashbreaker), o inventor de EdDSA, que ensinou na escola de verão EU ECRYPT em Samos em 2007. Ele plantou uma faísca que me fez obsessar por cada detalhe do algoritmo e talvez sem isso, eu não estaria aqui hoje como cientista.

Por favor, dê as boas-vindas a Alex Lew, Professor Assistente de Ciência da Computação na Yale Engineering! Seu trabalho em programação probabilística, ML e inferência bayesiana está ultrapassando os limites de como construímos e entendemos sistemas inteligentes. #NewFaculty #WelcomeAboard #AIResearch

Em preparação para a nossa palestra SBC 2025, atualizámos o nosso artigo sobre zk-SNARKs dinâmicos detalhando a abordagem log N e a estrutura de dados. Convidado especial: árvores AMT por @alinush407! Última versão: . Agradecemos ao estudante de doutoramento da @YaleCSDept, Weijie Wang, por liderar isto.

Bem-vinda ao @YaleCSDept, Nicole!

Grande vitória para Yale CS! 🏆 Uma equipe liderada por Yang Cai (L) e Manolis Zampetakis (R) ganhou o prêmio de Melhor Artigo na #COLT2025 por redefinir como identificamos os efeitos do tratamento em dados complexos. Um salto em frente para inferência causal e IA fundamental. 🔗 #WhatsNext @Yang_Cai

Parabéns ao @Yang_Cai da Yale Engineering (Computer Science & Economics), Manolis Zampetakis (CS) e seus colaboradores por receberem o Best Paper Award no COLT 2025! #AI #ML

Parabéns a Uzi Vishkin por esta incrível honra. Um verdadeiro pioneiro em algoritmos paralelos.

Nosso artigo sobre atualização eficiente de ZKPs ou, zk-SNARKs dinâmicos, foi aceito para apresentação na Science of Blockchain Conference! Grato a @lagrangedev por inspirar e apoiar esta pesquisa. Aguardamos com expectativa o avanço desta linha de trabalho.

Parabéns pelo novo papel @giorgos_tsimos! Sentiremos sua falta no @Yale e @YaleACL!