On PlonK SNARK

Abstract

Bakalárska práca ponúka analýzu zk-SNARK protokolu PlonK. Zaoberá sa kryptografickymi základmi, na ktorých stojí bezpečnosť PlonKu, a poskytuje detailné vysvetlenie procedúr protokolu. Práca dopĺňa existujúci výskum zameraný na bezpečnostnú analýzu tým, že ponúka jasný a zrozumiteľný prehľad protokolu. Okrem toho práca rozoberá možné optimalizácie protokolu, s dôrazom na zníženie stupňa polynómov definovaných aritmetickým obvodom.

The thesis presents a comprehensive analysis of the PlonK zk-SNARK protocol. It delves into the core cryptographic primitives underlying Plonk and provides a detailed explanation of the protocol's execution. This in-depth exploration complements existing research on security analysis by offering a clear and accessible protocol overview. Additionally, the thesis explores optimization strategies, with focus on reducing the degree of the wire polynomials defined by the arithmetic circuit.