Por muito tempo, a tecnologia de prova de conhecimento zero foi considerada uma tecnologia "perfeita na teoria, lenta na prática" devido à sua alta sobrecarga computacional e baixa velocidade no processo de geração, dificultando o atendimento aos rígidos requisitos de tempo de geração de blocos blockchain e dificultando sua aplicação em cenários práticos. No entanto, em 2025, essa situação será completamente revertida e o desempenho do ZK não será mais um grande obstáculo para sua adoção. Um avanço marcante é o sistema de prova SP1 Hypercube desenvolvido pela equipe Sucinct. Ele demonstrou com sucesso a capacidade de gerar provas ZK para mais de 93% dos blocos da rede principal Ethereum em um slot de bloco de 12 segundos (Slot) em um cluster de GPUs de nível de consumidor, com um tempo médio de prova de apenas 10,3 segundos. A razão pela qual o Succint SP1 Hypercube fez um avanço tecnológico tão significativo pode ser simplesmente entendida como devido às duas melhorias a seguir: 🔹 O processo de geração de provas ZK envolve a codificação de dados de transação de blockchain em um polinômio matemático, que ajuda a formar a prova final. Pense nisso como amontoar uma grande pilha de bagagem desordenada em uma caixa. Os polinômios usados no passado eram chamados de polinômios univariados, que não correspondiam à estrutura dos dados do blockchain, assim como encher itens quadrados com uma caixa redonda, sempre havia lacunas ou apertos, resultando em uma preparação de codificação demorada e ineficiente. O SP1 Hypercube inventa novos polinômios polilineares, que estão mais alinhados com a natureza multidimensional dos dados de transação, o que equivale a projetar uma caixa retangular que pode encher perfeitamente a bagagem. Isso reduz muito o tempo de preparação da codificação de dados, acelera a geração de provas de minutos para segundos e realiza em tempo real. 🔹 Acontece que a geração é como uma única pessoa embalando manualmente, e todo o processo é passo a passo e não pode ser dividido. O SP1 Hypercube agora usa novos algoritmos (incluindo protocolos de agregação e otimização recursivos) que permitem que grandes provas sejam divididas em várias tarefas de prova pequenas, cada uma das quais é processada de forma independente e, em seguida, facilmente mesclada em uma prova completa. A vantagem da divisão é que ela pode aproveitar ao máximo a computação paralela de CPU ou GPU multi-core, assim como várias pessoas fazendo as malas ao mesmo tempo, resultando em um aumento na velocidade geral, que pode acompanhar a cadência do Ethereum de um bloco a cada 12 segundos para provas em tempo real.