Post-kvante-SNARK-er blir gjennomsiktige. Greyhound av @zksecurityXYZ viser hvordan 👇

@zksecurityXYZ Greyhound er en gjennomsiktig gitterbasert SNARK. Den utnytter strukturerte gitter, Ajtai-forpliktelser og effektive bevisgenereringsteknikker.

@zksecurityXYZ Kjerneinnovasjonen: Erstatt tradisjonelle diskrete logg- eller paringsbaserte oppsett med gitterforutsetninger, rettet mot post-kvantesikkerhet samtidig som kortfattethet og verifiserbarhet opprettholdes.

@zksecurityXYZ Nøkkelprimitiv: Ajtai-engasjement. Den bruker verste fall-hardhet av gitterproblemer (f.eks. SIS) for å binde forpliktede verdier. Greyhound distribuerer det innenfor sin polynomforpliktelse og proof-of-knowledge-system.

@zksecurityXYZ Greyhounds protokoll opererer over heltallsgitter. Det unngår pålitelig oppsett gjennom offentlig valgte parametere. Sikkerhet følger av hardhet av gitterproblemer under kvantemotstandere, snarere enn gruppeordensantakelser.

@zksecurityXYZ Effektivitet: forfattere rapporterer en "effektiv konstruksjon" for både beviser og verifikator. Selv om den fortsatt er større enn paringsbaserte SNARK-er, skalerer Greyhound med modulære operasjoner på vektorer/matriser – mer mottakelig for gitteroptimalisert maskinvare.

@zksecurityXYZ Verifikatorytelse: konstant eller logaritmisk i kretsstørrelse, avhengig av parametrisering. Den er avhengig av prøvetakings- og kontrollprosedyrer som er karakteristiske for gitterforpliktelser – designet for å redusere interaktivitet og bevise overhead.

@zksecurityXYZ Integrasjonsvinkel: Greyhound kan tilpasse seg eksisterende SNARK-verktøykjeder via modulær utskifting av forpliktelsesordning. Det krever ikke redesign av kretsabstraksjoner, noe som gjør det pragmatisk for post-kvanteovergang.

@zksecurityXYZ Fra et kryptografisk synspunkt demonstrerer det levedyktighet: gjennomsiktig oppsett, gitterforutsetninger og effektiv bevisstruktur. Viktige spørsmål gjenstår rundt konkrete bevisstørrelser, parameteroptimalisering og implementeringsytelse i den virkelige verden.

@zksecurityXYZ Kort sagt, Greyhound er en gitterbasert SNARK bygget på Ajtai-forpliktelser. Den oppnår post-kvantesikkerhet uten pålitelig oppsett, med sikte på praktiske bevisstørrelser og verifikatoreffektivitet. Den tilbyr et veikart for å integrere kvantebestandig kryptografi i eksisterende systemer.

@zksecurityXYZ Les blogginnlegget 👇

@zksecurityXYZ Det siste og beste i ZK, her, hver måned👇