Durante muito tempo, a tecnologia de provas de conhecimento zero foi considerada uma tecnologia "perfeitamente teórica, mas lenta na prática" devido ao alto custo computacional e à lentidão do seu processo de geração, dificultando o cumprimento dos rigorosos requisitos de tempo de bloco da blockchain e impedindo sua aplicação em cenários práticos. No entanto, em 2025, essa situação foi completamente revertida, e o desempenho do ZK não é mais o principal obstáculo à sua aplicação.
Um marco significativo foi o sistema de prova SP1 Hypercube desenvolvido pela equipe Succinct. Ele demonstrou com sucesso a capacidade de gerar provas ZK para mais de 93% dos blocos da mainnet Ethereum em um intervalo de 12 segundos, com um tempo médio de prova de apenas 10,3 segundos. Quanto ao motivo pelo qual o Succinct SP1 Hypercube conseguiu um avanço técnico tão grande, pode ser entendido de forma simples como resultado de duas melhorias principais:
🔹 O processo de geração da prova ZK requer a codificação dos dados das transações da blockchain em um polinômio matemático, e esse resultado de codificação ajuda a formar a prova final. Pode-se imaginar como colocar uma grande quantidade de bagagem desordenada dentro de uma caixa. O polinômio usado anteriormente chamava-se Polinômios Univariados, que não se adequava bem à estrutura dos dados da blockchain, como usar uma caixa redonda para itens quadrados, sempre haverá espaços vazios ou compressão, resultando em um trabalho de preparação de codificação demorado e ineficiente. O SP1 Hypercube inventou um novo polinômio (Polinômios Multilineares), que se alinha melhor com as características multidimensionais dos dados de transação, o que equivale a projetar uma caixa retangular que pode preencher perfeitamente a bagagem. Isso reduziu significativamente o tempo de preparação da codificação de dados, acelerando a geração da prova de minutos para segundos, permitindo a realização em tempo real;
🔹 Originalmente, a geração da prova era como uma pessoa embalando manualmente, todo o processo era passo a passo, sem possibilidade de divisão. Agora, o SP1 Hypercube usa um novo algoritmo (incluindo agregação recursiva e protocolos otimizados), permitindo dividir uma grande prova em várias pequenas tarefas de prova, cada uma processada de forma independente e, em seguida, facilmente combinadas em uma prova completa. A vantagem da divisão é que pode aproveitar ao máximo o processamento paralelo de CPUs ou GPUs multinúcleos, como várias pessoas embalando bagagens ao mesmo tempo, resultando em um aumento geral da velocidade, capaz de acompanhar o ritmo de um bloco a cada 12 segundos da Ethereum, permitindo provas em tempo real.
Mostrar original
14,43 mil
1
O conteúdo apresentado nesta página é fornecido por terceiros. Salvo indicação em contrário, a OKX não é o autor dos artigos citados e não reivindica quaisquer direitos de autor nos materiais. O conteúdo é fornecido apenas para fins informativos e não representa a opinião da OKX. Não se destina a ser um endosso de qualquer tipo e não deve ser considerado conselho de investimento ou uma solicitação para comprar ou vender ativos digitais. Na medida em que a IA generativa é utilizada para fornecer resumos ou outras informações, esse mesmo conteúdo gerado por IA pode ser impreciso ou inconsistente. Leia o artigo associado para obter mais detalhes e informações. A OKX não é responsável pelo conteúdo apresentado nos sites de terceiros. As detenções de ativos digitais, incluindo criptomoedas estáveis e NFTs, envolvem um nível de risco elevado e podem sofrer grandes flutuações. Deve considerar cuidadosamente se o trading ou a detenção de ativos digitais é adequado para si à luz da sua condição financeira.