Original title: O síle algebraických grupových modelů
Translated title: On the power of algebraic group models
Authors: Stejskal, Dominik ; Hubáček, Pavel (advisor) ; Příhoda, Pavel (referee)
Document type: Master’s theses
Year: 2025
Language: cze
Abstract: [cze] [eng]
V této práci zkoumáme sílu dvou idealizovaných kryptografických modelů-Algebraic- kého Grupového Modelu (AGM), který představili Fuchsbauer, Kiltz a Loss (CRYPTO 2018), a jeho rozšíření AGMOS, které představili Lipmaa, Parisella a Siim (TCC 2023). Speciální pozornost věnujeme důkazům bezpečnostních vlastností závazků k polynomům. Předkládáme formální tvrzení, které naznačuje, že AGM je příliš silný pro smysluplnou analýzu závazků k polynomům. Dále se věnujeme modelu AGMOS. Pokračujeme ve for- malizaci důkazové techniky, kterou představili Lipmaa et al. Pro určitou třídu bezpeč- nostních her dokazujeme, že důkaz bezpečnosti v AGM lze "zdvihnout" do AGMOS. In this thesis, we examine the power of two recent idealized cryptographic models-the Algebraic Group Model (AGM) of Fuchsbauer, Kiltz, and Loss (CRYPTO 2018) and its extension AGM with Oblivious Sampling (AGMOS) of Lipmaa, Parisella, and Siim (TCC 2023). Special attention is given to proofs of security properties of polynomial commitment schemes (PCSs). We give formal evidence to the intuition that the AGM is too powerful for a meaningful analysis of PCSs. Moving on to the AGMOS, we further formalize the proof technique of Lipmaa et al. For a certain class of security games, we prove that an AGM proof of security can be "lifted" to the AGMOS.
Keywords: algebraic group model|extractability|oblivious sampling|polynomial commitment scheme; algebraický grupový model|extrahovatelnost|nevědomé samplování|závazek k polynomu

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/199269

Permalink: http://www.nusl.cz/ntk/nusl-684536


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses