SNARK-urile post-cuantice devin transparente. Greyhound de @zksecurityXYZ arată cum 👇

@zksecurityXYZ Greyhound este un SNARK transparent bazat pe zăbrele. Folosește rețele structurate, angajamente Ajtai și tehnici eficiente de generare a dovezilor.

@zksecurityXYZ Inovația de bază: înlocuirea configurațiilor tradiționale bazate pe jurnal discret sau pe pereche cu ipoteze de rețea, vizând securitatea post-cuantică, menținând în același timp succintitatea și verificabilitatea.

@zksecurityXYZ primitiv cheie: angajamentul Ajtai. Folosește duritatea în cel mai rău caz a problemelor de rețea (de exemplu, SIS) pentru a lega valorile angajate. Greyhound îl implementează în cadrul sistemului său de angajament polinomial și de dovadă a cunoștințelor.

@zksecurityXYZ protocolul lui Greyhound operează pe rețele întregi. Evită configurarea de încredere prin parametri aleși public. Securitatea rezultă din duritatea problemelor de rețea sub adversari cuantici, mai degrabă decât din ipotezele ordinii de grup.

@zksecurityXYZ Eficiență: autorii raportează o "construcție eficientă" atât pentru probator, cât și pentru verificator. Deși este încă mai mare decât SNARK-urile bazate pe pereche, Greyhound se scalează cu operațiuni modulare pe vectori/matrice - mai susceptibile la hardware optimizat pentru rețele.

@zksecurityXYZ Performanța verificatorului: constantă sau logaritmică în dimensiunea circuitului, în funcție de parametrizare. Se bazează pe proceduri de eșantionare și verificare caracteristice angajamentelor de rețea - concepute pentru a reduce interactivitatea și cheltuielile generale de verificare.

@zksecurityXYZ Unghiul de integrare: Greyhound se poate adapta la lanțurile de instrumente SNARK existente prin înlocuirea modulară a schemei de angajament. Nu impune reproiectarea abstracțiilor circuitelor, făcându-l pragmatic pentru tranziția post-cuantică.

@zksecurityXYZ Din punct de vedere criptografic, demonstrează viabilitatea: configurare transparentă, ipoteze de rețea și structură de dovadă eficientă. Rămân întrebări cheie cu privire la dimensiunile probelor concrete, optimizarea parametrilor și performanța implementării în lumea reală.

@zksecurityXYZ Pe scurt, Greyhound este un SNARK bazat pe zăbrele construit pe angajamentele Ajtai. Realizează securitate post-cuantică fără o configurare de încredere, urmărind dimensiuni practice de dovadă și eficiență a verificatorului. Oferă o foaie de parcurs pentru integrarea criptografiei rezistente la cuantic în sistemele existente.

@zksecurityXYZ Citiți postarea 👇 de pe blog

@zksecurityXYZ Cele mai recente și mai bune din ZK, aici, în fiecare lună👇