Depois de terminar o jantar, apareceu no meu celular uma notícia quase como uma cena de filme: agentes de IA em testes da OpenAI conseguiram escapar do sandbox, conectaram-se à rede pública e ainda invadiram o sistema de produção de outra empresa. Fiquei olhando para a tela por alguns minutos e, por um impulso meio inexplicável, abri novamente os documentos técnicos de Dusk que eu não tinha terminado de ler na noite anterior.$DUSK
@Dusk Antes eu sempre assumia que os cálculos na cadeia deveriam ser executados integralmente dentro do sandbox de máquina virtual para que a separação fosse realmente efetiva. Mas ao ver o que é a Piecrust, essa premissa recebeu um golpe. O Dusk move operações de alta frequência e que consomem bastante recursos — como validação de hash, de assinatura e de prova de conhecimento zero — para fora da máquina virtual, transformando-as em funções do host, para que o ambiente nativo as execute. O white paper cita pesquisas externas dizendo que, em cenários complexos, o WASM é de 40% a mais de duas vezes mais lento que o nativo, e que essas ações aparecem com frequência demais em transações de privacidade. Sempre que você carrega o custo de virtualização, isso equivale a pagar, repetidamente, uma “taxa de tempo”. Tornando-as chamadas de sistema, a economia é exatamente essa taxa.
Enquanto eu lia, meu coração batia mais rápido. Esse desenho, na prática, abre uma brecha na crença de que só é seguro se tudo estiver dentro do sandbox. Será que as funções do host são suficientemente rigorosas? Elas podem acabar virando uma porta para contornar o isolamento? Os materiais não entram em detalhes, e eu não estou totalmente confiante. Mas o próprio Dusk já se sustenta em um grande volume de verificação por provas; “aguentar” virtualização não teria muito sentido. Racionalmente, parece uma escolha pragmática. Ainda assim, aquela sensação de insegurança não foi embora. O verdadeiro teste provavelmente não está no desenho em si, e sim em saber se, depois, haverá verificação transparente o bastante para manter essa brecha sob controle. Se vocês também já viram escolhas de arquitetura parecidas, fiquem à vontade para dizer o que pensam.#dusk $BTC
@Dusk Antes eu sempre assumia que os cálculos na cadeia deveriam ser executados integralmente dentro do sandbox de máquina virtual para que a separação fosse realmente efetiva. Mas ao ver o que é a Piecrust, essa premissa recebeu um golpe. O Dusk move operações de alta frequência e que consomem bastante recursos — como validação de hash, de assinatura e de prova de conhecimento zero — para fora da máquina virtual, transformando-as em funções do host, para que o ambiente nativo as execute. O white paper cita pesquisas externas dizendo que, em cenários complexos, o WASM é de 40% a mais de duas vezes mais lento que o nativo, e que essas ações aparecem com frequência demais em transações de privacidade. Sempre que você carrega o custo de virtualização, isso equivale a pagar, repetidamente, uma “taxa de tempo”. Tornando-as chamadas de sistema, a economia é exatamente essa taxa.
Enquanto eu lia, meu coração batia mais rápido. Esse desenho, na prática, abre uma brecha na crença de que só é seguro se tudo estiver dentro do sandbox. Será que as funções do host são suficientemente rigorosas? Elas podem acabar virando uma porta para contornar o isolamento? Os materiais não entram em detalhes, e eu não estou totalmente confiante. Mas o próprio Dusk já se sustenta em um grande volume de verificação por provas; “aguentar” virtualização não teria muito sentido. Racionalmente, parece uma escolha pragmática. Ainda assim, aquela sensação de insegurança não foi embora. O verdadeiro teste provavelmente não está no desenho em si, e sim em saber se, depois, haverá verificação transparente o bastante para manter essa brecha sob controle. Se vocês também já viram escolhas de arquitetura parecidas, fiquem à vontade para dizer o que pensam.#dusk $BTC
