SNARKs pós-quânticos tornam-se transparentes. Greyhound da @zksecurityXYZ mostra como 👇

@zksecurityXYZ Greyhound é um SNARK baseado em rede transparente. Ele aproveita redes estruturadas, compromissos de Ajtai e técnicas eficientes de geração de provas.

@zksecurityXYZ A inovação central: substituir as configurações tradicionais baseadas em log discreto ou emparelhamento por suposições de rede, visando segurança pós-quântica enquanto mantém a concisão e a verificabilidade.

@zksecurityXYZ Primitiva chave: compromisso de Ajtai. Utiliza a dificuldade no pior caso de problemas de rede (por exemplo, SIS) para vincular valores comprometidos. O Greyhound implementa isso dentro do seu sistema de compromisso polinomial e prova de conhecimento.

O protocolo do Greyhound opera sobre redes inteiras. Ele evita a configuração de confiança através de parâmetros escolhidos publicamente. A segurança decorre da dificuldade dos problemas de rede sob adversários quânticos, em vez de suposições sobre a ordem do grupo.

@zksecurityXYZ Eficiência: os autores relatam uma "construção eficiente" tanto para o provador quanto para o verificador. Embora ainda seja maior do que os SNARKs baseados em emparelhamento, o Greyhound escala com operações modulares em vetores/matrizes—mais adequado para hardware otimizado para redes.

@zksecurityXYZ Desempenho do verificador: constante ou logarítmica em relação ao tamanho do circuito, dependendo da parametrização. Baseia-se em procedimentos de amostragem e verificação característicos dos compromissos de rede—projetados para reduzir a interatividade e a sobrecarga do provador.

@zksecurityXYZ Ângulo de integração: Greyhound pode se adaptar às ferramentas SNARK existentes através da substituição modular do esquema de compromisso. Não exige a redesignação das abstrações de circuito, tornando-o pragmático para a transição pós-quântica.

@zksecurityXYZ Do ponto de vista criptográfico, demonstra viabilidade: configuração transparente, suposições de rede e estrutura de prova eficiente. Perguntas-chave permanecem em torno de tamanhos de prova concretos, otimização de parâmetros e desempenho de implementação no mundo real.

@zksecurityXYZ Em resumo, Greyhound é um SNARK baseado em rede construído sobre compromissos de Ajtai. Ele alcança segurança pós-quântica sem configuração confiável, visando tamanhos de prova práticos e eficiência do verificador. Oferece um roteiro para integrar criptografia resistente a quânticos em sistemas existentes.

@zksecurityXYZ Leia o post do blog 👇

@zksecurityXYZ O mais recente e melhor em ZK, aqui, todos os meses👇