Gianluca Di Bella, investigador de contratos inteligentes especializado em provas de conhecimento zero, afirma que o perigo representado pela computação quântica não é uma preocupação distante — é uma preocupação atual.
Falando ao Cointelegraph nos escritórios da UN City em Copenhaga, Dinamarca, Di Bella disse que acredita que “devemos migrar agora” para padrões de encriptação pós-quântica. A razão, explicou, reside nos chamados ataques de “colher agora, decifrar depois”, onde os dados são coletados e armazenados até que a tecnologia futura torne possível a decifração.
Por exemplo, se a identidade de um dissidente num país totalitário estiver protegida apenas por encriptação, eles querem garantir que os dados permaneçam seguros por 10, 15, 20 ou mais anos no futuro. Di Bella afirmou que a computação quântica comercial prática pode estar a 10 ou 15 anos de distância, mas alertou que “grandes instituições como a Microsoft ou Google podem ter uma solução em alguns anos.”
Di Bella levantou uma questão com o que chama de “lavagem quântica”, que vê empresas fazerem alegações duvidosas sobre as propriedades e capacidades dos sistemas quânticos. Ainda assim, partilhou o receio de que, se a China desenvolvesse sistemas capazes de quebrar a criptografia moderna, seria improvável que avisassem o resto do mundo sobre essa nova capacidade.
Gianluca Di Bella na UN City em Copenhaga, Dinamarca. Fonte: CointelegraphRelacionado:Willy Woo sugere um ‘guia para iniciantes’ para evitar a ameaça quântica ao Bitcoin
Provas de conhecimento zero pós-quânticas
Uma vez — ou se, segundo alguns — a computação quântica atingir o poder e escala necessários, ela poderá comprometer as suposições de segurança da encriptação tradicional e das provas de conhecimento zero. Isso poderia resultar na decifração de dados encriptados e na falsificação de provas geradas por provas ZK tradicionais, simulando declarações válidas ou contornando a verificação.
Vários padrões de encriptação pós-quântica já existem, com alguns aprovados pelo Instituto Nacional de Padrões e Tecnologia (NIST) — especificamente ML-KEM, ML-DSA e SLH-DSA. Mas nenhum padrão de prova ZK pós-quântica comparável atingiu maturidade. Esta é uma área de investigação com a qual Di Bella se envolve através da empresa de desenvolvimento de contratos inteligentes que cofundou, a Mood Global Services.
Di Bella apontou para Permutações sobre bases de Lagrange para argumentos de Conhecimento Não Interativos Ecumênicos (PLONK) como uma implementação de prova ZK pós-quântica. Ainda assim, elas não estão “testadas em batalha” e são atualmente vistas como uma implementação de pesquisa.
Relacionado:A ameaça quântica ao Bitcoin ainda está a anos de distância, diz parceiro da Borderless Capital
Um longo caminho pela frente
Ao falar sobre quanto tempo espera que o desenvolvimento do PLONK atinja um estágio adequado para uso no mundo real, Di Bella disse que é difícil fazer previsões de cronograma e lamentou a falta de investimento no setor. Ele observou que se trata de um assunto de nicho e que envolvê-lo requer conhecimentos especializados significativos, o que reduz bastante o investimento e desacelera o desenvolvimento.
“Se você é gestor de pesquisa e desenvolvimento de qualquer empresa, não investe em algo que não entende,” afirmou.
Di Bella disse que o desenvolvimento de provas ZK é realizado em programação Rust de baixo nível, com pouca abstração e alta complexidade. De certa forma, a maioria dos sistemas ZK é programada de maneira que lembra a complexidade dos primeiros tempos da programação.
Enquanto agora estamos acostumados a linguagens de programação de alto nível que abstraem a complexidade, programar esse tipo de sistema é “definitivamente matemática novamente,” afirmou Di Bella.
Revista:Bitcoin vs. a ameaça do computador quântico: Cronograma e soluções (2025–2035)
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
'Devemos migrar agora' para criptografia pós-quântica, diz o pesquisador
Gianluca Di Bella, investigador de contratos inteligentes especializado em provas de conhecimento zero, afirma que o perigo representado pela computação quântica não é uma preocupação distante — é uma preocupação atual.
Falando ao Cointelegraph nos escritórios da UN City em Copenhaga, Dinamarca, Di Bella disse que acredita que “devemos migrar agora” para padrões de encriptação pós-quântica. A razão, explicou, reside nos chamados ataques de “colher agora, decifrar depois”, onde os dados são coletados e armazenados até que a tecnologia futura torne possível a decifração.
Por exemplo, se a identidade de um dissidente num país totalitário estiver protegida apenas por encriptação, eles querem garantir que os dados permaneçam seguros por 10, 15, 20 ou mais anos no futuro. Di Bella afirmou que a computação quântica comercial prática pode estar a 10 ou 15 anos de distância, mas alertou que “grandes instituições como a Microsoft ou Google podem ter uma solução em alguns anos.”
Di Bella levantou uma questão com o que chama de “lavagem quântica”, que vê empresas fazerem alegações duvidosas sobre as propriedades e capacidades dos sistemas quânticos. Ainda assim, partilhou o receio de que, se a China desenvolvesse sistemas capazes de quebrar a criptografia moderna, seria improvável que avisassem o resto do mundo sobre essa nova capacidade.
Provas de conhecimento zero pós-quânticas
Uma vez — ou se, segundo alguns — a computação quântica atingir o poder e escala necessários, ela poderá comprometer as suposições de segurança da encriptação tradicional e das provas de conhecimento zero. Isso poderia resultar na decifração de dados encriptados e na falsificação de provas geradas por provas ZK tradicionais, simulando declarações válidas ou contornando a verificação.
Vários padrões de encriptação pós-quântica já existem, com alguns aprovados pelo Instituto Nacional de Padrões e Tecnologia (NIST) — especificamente ML-KEM, ML-DSA e SLH-DSA. Mas nenhum padrão de prova ZK pós-quântica comparável atingiu maturidade. Esta é uma área de investigação com a qual Di Bella se envolve através da empresa de desenvolvimento de contratos inteligentes que cofundou, a Mood Global Services.
Di Bella apontou para Permutações sobre bases de Lagrange para argumentos de Conhecimento Não Interativos Ecumênicos (PLONK) como uma implementação de prova ZK pós-quântica. Ainda assim, elas não estão “testadas em batalha” e são atualmente vistas como uma implementação de pesquisa.
Relacionado: A ameaça quântica ao Bitcoin ainda está a anos de distância, diz parceiro da Borderless Capital
Um longo caminho pela frente
Ao falar sobre quanto tempo espera que o desenvolvimento do PLONK atinja um estágio adequado para uso no mundo real, Di Bella disse que é difícil fazer previsões de cronograma e lamentou a falta de investimento no setor. Ele observou que se trata de um assunto de nicho e que envolvê-lo requer conhecimentos especializados significativos, o que reduz bastante o investimento e desacelera o desenvolvimento.
“Se você é gestor de pesquisa e desenvolvimento de qualquer empresa, não investe em algo que não entende,” afirmou.
Di Bella disse que o desenvolvimento de provas ZK é realizado em programação Rust de baixo nível, com pouca abstração e alta complexidade. De certa forma, a maioria dos sistemas ZK é programada de maneira que lembra a complexidade dos primeiros tempos da programação.
Enquanto agora estamos acostumados a linguagens de programação de alto nível que abstraem a complexidade, programar esse tipo de sistema é “definitivamente matemática novamente,” afirmou Di Bella.
Revista: Bitcoin vs. a ameaça do computador quântico: Cronograma e soluções (2025–2035)