Provas de Conhecimento Zero em Espaço Sublinear: Uma Nova Fronteira

Pesquisadores desenvolveram o SSZKP, um sistema de provas de conhecimento zero em espaço sublinear com implementação em Rust usando KZG/BN254. Ele alcança uso de memória O(√T) para um traço de comprimento T, empregando IFFTs em blocos e acumuladores de streaming. O SSZKP utiliza compromissos KZG padrão sem armazenar polinômios inteiros, oferecendo uma abordagem altamente eficiente para construir sistemas zk escaláveis. O projeto inclui ferramentas CLI completas para o provador e o verificador, além de scripts de teste de ponta a ponta.