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

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

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

@zksecurityXYZ Primitivo chave: compromisso Ajtai. Ele usa a dureza do pior caso de problemas de rede (por exemplo, SIS) para vincular valores comprometidos. A Greyhound o implanta dentro de seu compromisso polinomial e sistema de prova de conhecimento.

@zksecurityXYZ protocolo da Greyhound opera sobre redes inteiras. Ele evita a configuração confiável por meio de parâmetros escolhidos publicamente. A segurança decorre da dureza dos problemas de rede sob adversários quânticos, em vez de suposições de ordem de grupo.

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

@zksecurityXYZ Desempenho do verificador: constante ou logarítmico no tamanho do circuito, dependendo da parametrização. Ele se baseia em procedimentos de amostragem e verificação característicos de compromissos de rede - projetados para reduzir a interatividade e provar a sobrecarga.

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

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

@zksecurityXYZ Resumindo, o Greyhound é um SNARK baseado em treliça construído com base nos compromissos da 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. Ele oferece um roteiro para integrar a criptografia resistente à quântica em sistemas existentes.

@zksecurityXYZ Leia a postagem 👇 do blog

@zksecurityXYZ O que há de melhor e mais recente em ZK, aqui, todos os meses👇