Post-kvantové SNARKy se stávají transparentními. Greyhound od @zksecurityXYZ ukazuje, jak 👇 na to

@zksecurityXYZ Greyhound je SNARK založený na průhledné mřížce. Využívá strukturované mřížky, závazky Ajtai a efektivní techniky generování důkazů.

@zksecurityXYZ Hlavní inovace: nahraďte tradiční nastavení založená na diskrétním logaritu nebo párování mřížkovými předpoklady, které se zaměřují na postkvantovou bezpečnost při zachování stručnosti a ověřitelnosti.

@zksecurityXYZ Klíčový primitiv: Závazek Ajtai. Využívá nejhorší případ tvrdosti mřížkových problémů (např. SIS) k vázání potvrzených hodnot. Greyhound jej nasazuje v rámci svého polynomiálního závazku a systému proof-of-knowledge.

@zksecurityXYZ Greyhoundův protokol pracuje nad celočíselnými mřížkami. Vyhýbá se důvěryhodnému nastavení prostřednictvím veřejně zvolených parametrů. Bezpečnost vyplývá z tvrdosti mřížkových problémů pod kvantovými protivníky, spíše než z předpokladů grupového řádu.

@zksecurityXYZ Efektivita: autoři uvádějí "efektivní konstrukci" pro dokazovatele i verifikátora. I když je Greyhound stále větší než SNARKy založené na párování, škáluje se s modulárními operacemi na vektorech/matricích – přístupnější hardwaru optimalizovanému pro mřížky.

@zksecurityXYZ Výkon ověřovače: konstantní nebo logaritmická velikost obvodu, v závislosti na parametrizaci. Spoléhá se na vzorkovací a kontrolní postupy charakteristické pro závazky mřížky – navržené tak, aby snižovaly interaktivitu a režijní náklady.

@zksecurityXYZ Úhel integrace: Greyhound se může přizpůsobit stávajícím SNARK toolchainům prostřednictvím modulární náhrady schématu závazku. Nenařizuje přepracování obvodových abstrakcí, což z něj činí pragmatický pro post-kvantový přechod.

@zksecurityXYZ Z kryptografického hlediska prokazuje životaschopnost: transparentní nastavení, mřížkové předpoklady a efektivní důkazní strukturu. Klíčové otázky zůstávají kolem konkrétních důkazních velikostí, optimalizace parametrů a výkonnosti implementace v reálném světě.

@zksecurityXYZ Stručně řečeno, Greyhound je SNARK založený na mřížce, který je postaven na závazcích společnosti Ajtai. Dosahuje postkvantového zabezpečení bez důvěryhodného nastavení, s cílem dosáhnout praktických velikostí důkazů a účinnosti ověřovače. Nabízí plán pro integraci kvantově odolné kryptografie do stávajících systémů.

@zksecurityXYZ Přečtěte si příspěvek 👇 na blogu

@zksecurityXYZ Nejnovější a nejlepší v ZK, zde, každý měsíc👇