Sintonize agora para a palestra de @B_Chou "Minimmit: Consenso para Todos (Engenheiros)" 👀

Frontiers por @paradigm - O Dia 3 começa em 15 minutos! O dia final do Frontiers deste ano é todo sobre engenharia de sistemas e dados hardcore, sistemas distribuídos, consenso e, claro, Rust e Ethereum! Sintonize!

Apresentando o Sovereign SDK -- a primeira estrutura de rollup que executa 99% das transações em menos de 10 ms, rápido o suficiente para trazer a descoberta de preços totalmente onchain. Agora, até desenvolvedores solo podem construir aplicações financeiras globais e eficientes. Pronto para produção hoje. Vá construir o próximo Hyperliquid.

🚨 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.

Nas últimas semanas, @dnkolegov (e a equipe da @asymmetric_re) traduziu o Minimmit em uma especificação executável (escrita em Quint). Por quê? Agora podemos automatizar a busca por inconsistências no Minimmit contra o Apalache Symbolic Model Checker 🤖.

OH no Slack sobre @commonwarexyz: "sim, a estrutura do repositório e os comandos sugerem que foram projetados por alguém que sabe o que está a fazer."

Os próximos meses vão ser interessantes. Muitas equipas a falar sobre uma migração para commonware.

Desde que me lembro, as equipas têm-nos pedido suporte para reth. Na segunda-feira, @SeismicSys entrou em contacto para nos informar que o construíram (por conta própria/sem a nossa ajuda). Incrível. Estou ansioso para ver onde isto vai dar 👀

Apresentando o Summit, um cliente de consenso para o Reth.

A Criptografia de Timelock (cryptography::bls12381::tle) está agora disponível na Biblioteca Commonware. Encripte mensagens (lances) que se desencriptam automaticamente no futuro (no final de um leilão).