Gli SNARK post-quantistici diventano trasparenti. Greyhound di @zksecurityXYZ mostra come 👇

@zksecurityXYZ Greyhound è un SNARK basato su reticoli trasparenti. Sfrutta reticoli strutturati, impegni di Ajtai e tecniche efficienti di generazione delle prove.

@zksecurityXYZ L'innovazione principale: sostituire le tradizionali configurazioni basate su log discreti o accoppiamenti con assunzioni su reticoli, mirando alla sicurezza post-quantistica mantenendo la sinteticità e la verificabilità.

@zksecurityXYZ Chiave primitiva: impegno di Ajtai. Utilizza la difficoltà nel caso peggiore dei problemi di reticolo (ad es., SIS) per legare i valori impegnati. Greyhound lo implementa all'interno del suo sistema di impegno polinomiale e prova di conoscenza.

Il protocollo di Greyhound opera su reticoli interi. Evita configurazioni fidate attraverso parametri scelti pubblicamente. La sicurezza deriva dalla difficoltà dei problemi di reticolo sotto avversari quantistici, piuttosto che da assunzioni sul numero di gruppi.

@zksecurityXYZ Efficienza: gli autori segnalano una "costruzione efficiente" sia per il provatore che per il verificatore. Sebbene sia ancora più grande degli SNARK basati su accoppiamenti, Greyhound scala con operazioni modulari su vettori/matrici, più adatte all'hardware ottimizzato per reticoli.

@zksecurityXYZ Prestazioni del verificatore: costanti o logaritmiche in base alla dimensione del circuito, a seconda della parametrizzazione. Si basa su procedure di campionamento e verifica caratteristiche degli impegni a reticolo, progettate per ridurre l'interattività e il sovraccarico del provatore.

@zksecurityXYZ Angolo di integrazione: Greyhound può adattarsi agli attuali toolchain SNARK tramite la sostituzione modulare dello schema di impegno. Non richiede una riprogettazione delle astrazioni del circuito, rendendolo pragmatico per la transizione post-quantistica.

@zksecurityXYZ Da un punto di vista crittografico, dimostra la fattibilità: configurazione trasparente, assunzioni reticolari e struttura di prova efficiente. Rimangono domande chiave sulle dimensioni concrete delle prove, sull'ottimizzazione dei parametri e sulle prestazioni di implementazione nel mondo reale.

@zksecurityXYZ In breve, Greyhound è un SNARK basato su reticoli costruito su impegni di Ajtai. Raggiunge la sicurezza post-quantistica senza configurazione fidata, puntando a dimensioni di prova pratiche ed efficienza del verificatore. Offre una roadmap per integrare la crittografia resistente ai quanti nei sistemi esistenti.

@zksecurityXYZ Leggi il post del blog 👇

@zksecurityXYZ Le ultime novità in ZK, qui, ogni mese👇