Postkvant-SNARK:er blir transparenta. Greyhound av @zksecurityXYZ visar hur 👇

@zksecurityXYZ Greyhound är en genomskinlig gitterbaserad SNARK. Den utnyttjar strukturerade gitter, Ajtai-åtaganden och effektiva bevisgenereringstekniker.

@zksecurityXYZ Kärninnovationen: ersätt traditionella diskreta logg- eller parkopplingsbaserade konfigurationer med gitterantaganden, som riktar in sig på postkvantsäkerhet samtidigt som kortfattad och verifierbarhet bibehålls.

@zksecurityXYZ Primitiv nyckel: Ajtai åtagande. Den använder värsta tänkbara hårdhet för gitterproblem (t.ex. SIS) för att binda bekräftade värden. Greyhound använder det inom sitt polynomåtagande och proof-of-knowledge-system.

@zksecurityXYZ Greyhounds protokoll fungerar över heltalsgitter. Det undviker betrodd installation via offentligt valda parametrar. Säkerhet följer av hårdheten hos gitterproblem under kvantmotståndare, snarare än antaganden om gruppordning.

@zksecurityXYZ Effektivitet: Författarna rapporterar en "effektiv konstruktion" för både granskare och verifierare. Även om Greyhound fortfarande är större än parningsbaserade SNARK:er, kan det skalas med modulära operationer på vektorer/matriser – vilket är mer mottagligt för gitteroptimerad hårdvara.

@zksecurityXYZ Kontrollörens prestanda: konstant eller logaritmisk i kretsstorlek, beroende på parametrering. Den bygger på provtagnings- och kontrollprocedurer som är karakteristiska för gitteråtaganden – utformade för att minska interaktivitet och omkostnader för provare.

@zksecurityXYZ Integrationsvinkel: Greyhound kan anpassas till befintliga SNARK-verktygskedjor genom att modulärt ersätta åtagandeschemat. Den kräver inte omformning av kretsabstraktioner, vilket gör den pragmatisk för övergången efter kvantum.

@zksecurityXYZ Ur kryptografisk synvinkel visar det lönsamhet: transparent inställning, gitterantaganden och effektiv bevisstruktur. Viktiga frågor kvarstår kring storlekar på konkreta bevis, parameteroptimering och implementeringsprestanda vid verklig användning.

@zksecurityXYZ Kort sagt är Greyhound ett gitterbaserat SNARK som bygger på Ajtai-åtaganden. Den uppnår post-kvantsäkerhet utan betrodd installation, med sikte på praktiska bevisstorlekar och verifierarens effektivitet. Den erbjuder en färdplan för att integrera kvantresistent kryptografi i befintliga system.

@zksecurityXYZ Läs blogginlägget 👇

@zksecurityXYZ Det senaste och bästa i ZK, här, varje månad👇