Ansioso para a palestra dinâmica do zk-SNARKs no SBC 2025!

🚨 URGENTE: A Sui Research acaba de lançar um grande avanço na transição quântica de "algumas" blockchains. Infelizmente, funciona para Sui, Solana, Near, Cosmos e outras cadeias baseadas em EdDSA, mas não para Bitcoin e Ethereum 😢 Aqui está o papel: *Afaik, este é o primeiro caminho de atualização quântico seguro compatível com versões anteriores para carteiras blockchain para evitar futuros forks ou congelamento de contas. ... e por que isso é enorme 🧵👇 💀 Há uma chance diferente de zero 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 pode quebrar a criptografia em breve, as preocupações crescentes e as novas orientações das 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. Assim que os computadores quânticos chegarem, milhões de carteiras, incluindo a de Satoshi, poderão ser drenadas instantaneamente. Se sua chave pública estiver visível, ela será quebrada. Chaves perdidas, proprietários falecidos, armazenamento refrigerado... todos em risco (essas serão as primeiras vítimas). Bilhões em criptomoedas ficam em carteiras "adormecidas" que podem nunca ser atualizadas ou transferir seus ativos. 💡 Nossa solução: Encontramos uma maneira de as carteiras que usam EdDSA (por exemplo, Sui, Solana, Near e co) provarem a propriedade com segurança após o quantum, 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 o ECDSA faz uma enorme diferença na prontidão quântica. TL; DR 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 nova assinatura. Sem alteração de endereço. Tempo de inatividade zero. Apenas uma prova de conhecimento zero que diz: "Eu ainda controlo esta carteira, mas agora a assinatura protegida contra hackers quânticos" 🚀 Construído na 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 e instituições reais, 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 do @ligero_inc e do @SoundnessLabs, mas também abordaremos governos e grandes organizações como o Google (que já começou a explorar as provas do Ligero ZK) para buscar uma implementação e, se possível, torná-la um padrão global. Talvez aqueles que escolheram Ed25519 em vez de ECDSA tenham tido sorte ou apenas espertos. Pessoalmente, quero agradecer a um dos meus primeiros instrutores de criptografia, Daniel Bernstein (@hashbreaker), o inventor do EdDSA, que lecionou na escola de verão EU ECRYPT em Samos em 2007. Ele plantou uma faísca que me deixou obcecado com 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, Prof. 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 nossa palestra SBC 2025, atualizamos nosso artigo dinâmico zk-SNARKs detalhando a abordagem log N e a estrutura de dados. Convidado especial: Árvores AMT por @alinush407! Última versão: . Grato ao @YaleCSDept estudante de doutorado Weijie Wang por liderar isso.

Bem-vinda a @YaleCSDept, Nicole!

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

Parabéns ao @Yang_Cai da Yale Engineering (Ciência da Computação e Economia), Manolis Zampetakis (CS) e seus colaboradores por receberem o Prêmio de Melhor Artigo no COLT 2025! #AI #ML

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

Nosso artigo sobre a atualização eficiente de ZKPs ou zk-SNARKs dinâmicos foi aceito para apresentação na Conferência Science of Blockchain! Grato a @lagrangedev por inspirar e apoiar esta pesquisa. Ansioso para avançar ainda mais nesta linha de trabalho.

Parabéns pela nova função @giorgos_tsimos! Sentiremos sua falta em @Yale e @YaleACL!