Post-kwantum SNARKs worden transparant. Greyhound van @zksecurityXYZ laat zien hoe 👇

@zksecurityXYZ Greyhound is een transparante op raster gebaseerde SNARK. Het maakt gebruik van gestructureerde rasters, Ajtai-verbintenissen en efficiënte technieken voor het genereren van bewijzen.

@zksecurityXYZ De kerninnovatie: vervang traditionele discrete-log of pairing-gebaseerde opstellingen door roosterveronderstellingen, gericht op post-kwantumbeveiliging terwijl beknoptheid en verifieerbaarheid behouden blijven.

@zksecurityXYZ Sleutel primitief: Ajtai-verbintenis. Het maakt gebruik van de slechtste geval hardheid van roosterproblemen (bijv. SIS) om verbondene waarden te binden. Greyhound implementeert het binnen zijn polynomiale verbintenis en bewijs-van-kennis systeem.

@zksecurityXYZ Het protocol van Greyhound werkt over gehele getallenroosters. Het vermijdt een vertrouwde setup door publiek gekozen parameters. De beveiliging is gebaseerd op de moeilijkheid van roosterproblemen onder kwantumtegenstanders, in plaats van aannames over groepsgrootte.

@zksecurityXYZ Efficiëntie: auteurs rapporteren een "efficiënte constructie" voor zowel de prover als de verifier. Hoewel nog steeds groter dan pairing-gebaseerde SNARKs, schaalt Greyhound met modulaire bewerkingen op vectoren/matrices - meer geschikt voor lattice-geoptimaliseerde hardware.

@zksecurityXYZ Verifier-prestaties: constant of logaritmisch in circuitgrootte, afhankelijk van parameterisatie. Het is gebaseerd op steekproef- en controleprocedures die kenmerkend zijn voor roosterverbintenissen - ontworpen om de interactiviteit en de overhead van de bewijzer te verminderen.

@zksecurityXYZ Integratiehoek: Greyhound kan zich aanpassen aan bestaande SNARK-toolchains via modulaire vervanging van het verbintenischema. Het vereist geen herontwerp van circuitabstracties, waardoor het pragmatisch is voor de overgang naar post-kwantum.

@zksecurityXYZ Vanuit cryptografisch oogpunt toont het levensvatbaarheid aan: transparante opzet, roosterassumpties en een efficiënte bewijsstructuur. Belangrijke vragen blijven bestaan over concrete bewijsgroottes, parameteroptimalisatie en de prestaties van implementatie in de echte wereld.

@zksecurityXYZ In het kort, Greyhound is een op rooster gebaseerde SNARK gebouwd op Ajtai-verbintenissen. Het bereikt post-kwantumbeveiliging zonder vertrouwde setup, met als doel praktische bewijsformaten en efficiëntie voor de verifier. Het biedt een roadmap voor het integreren van kwantum-resistente cryptografie in bestaande systemen.

@zksecurityXYZ Lees de blogpost 👇

@zksecurityXYZ Het nieuwste en beste op het gebied van ZK, hier, elke maand👇