Post-kwantowe SNARKi stają się przezroczyste. Greyhound od @zksecurityXYZ pokazuje jak 👇

@zksecurityXYZ Greyhound to przezroczysty SNARK oparty na siatkach. Wykorzystuje strukturalne siatki, zobowiązania Ajtai oraz efektywne techniki generowania dowodów.

@zksecurityXYZ Główna innowacja: zastąpienie tradycyjnych konfiguracji opartych na dyskretnych logarytmach lub parowaniach założeniami siatkowymi, z celem zapewnienia bezpieczeństwa post-kwantowego przy jednoczesnym zachowaniu zwięzłości i weryfikowalności.

@zksecurityXYZ Kluczowa prymityw: zobowiązanie Ajtai. Wykorzystuje najgorszą twardość problemów siatkowych (np. SIS), aby związać zobowiązane wartości. Greyhound wdraża to w swoim systemie zobowiązań wielomianowych i dowodów wiedzy.

Protokół Greyhounda działa na siatkach całkowitych. Unika zaufanego ustawienia poprzez publicznie wybrane parametry. Bezpieczeństwo wynika z trudności problemów siatkowych w obliczu kwantowych przeciwników, a nie z założeń dotyczących porządku grupy.

@zksecurityXYZ Wydajność: autorzy raportują o "efektywnej konstrukcji" zarówno dla dowodzącego, jak i weryfikatora. Choć nadal większe niż oparte na parowaniach SNARKi, Greyhound skaluje się z operacjami modularnymi na wektorach/macierzach — bardziej odpowiednie dla sprzętu zoptymalizowanego pod kątem krat.

@zksecurityXYZ Wydajność weryfikatora: stała lub logarytmiczna w zależności od rozmiaru obwodu, w zależności od parametryzacji. Opiera się na próbkowaniu i procedurach kontrolnych charakterystycznych dla zobowiązań kratowych — zaprojektowanych w celu zmniejszenia interaktywności i obciążenia dowodzącego.

@zksecurityXYZ Kąt integracji: Greyhound może dostosować się do istniejących narzędzi SNARK poprzez modułową wymianę schematu zobowiązań. Nie wymaga przeprojektowania abstrakcji obwodów, co czyni go pragmatycznym rozwiązaniem na czas przejścia do post‑kwantowego.

@zksecurityXYZ Z punktu widzenia kryptografii, wykazuje wykonalność: przejrzysta konfiguracja, założenia kratowe i efektywna struktura dowodów. Kluczowe pytania pozostają dotyczące konkretnych rozmiarów dowodów, optymalizacji parametrów i wydajności wdrożenia w rzeczywistym świecie.

@zksecurityXYZ Krótko mówiąc, Greyhound to oparty na siatce SNARK zbudowany na zobowiązaniach Ajtai. Osiąga bezpieczeństwo post-kwantowe bez zaufanej konfiguracji, dążąc do praktycznych rozmiarów dowodów i efektywności weryfikatora. Oferuje plan integracji kryptografii odpornej na kwanty w istniejących systemach.

@zksecurityXYZ Przeczytaj wpis na blogu 👇

@zksecurityXYZ Najnowsze i najlepsze w ZK, tutaj, co miesiąc👇