O síle algebraických grupových modelů

• Název práce v češtině: O síle algebraických grupových modelů
• Název v anglickém jazyce: On the power of algebraic group models
• Klíčová slova: algebraický grupový model|extrahovatelnost|nevědomé samplování|závazek k polynomu
• Klíčová slova anglicky: algebraic group model|extractability|oblivious sampling|polynomial commitment scheme
• Akademický rok vypsání: 2024/2025
• Typ práce: diplomová práce
• Jazyk práce: čeština
• Ústav: Informatický ústav Univerzity Karlovy (32-IUUK)
• Vedoucí / školitel: Mgr. Pavel Hubáček, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 08.04.2025
• Datum zadání: 16.04.2025
• Datum potvrzení stud. oddělením: 16.04.2025
• Datum a čas obhajoby: 02.06.2025 08:30
• Datum odevzdání elektronické podoby: 29.04.2025
• Datum odevzdání tištěné podoby: 29.04.2025
• Datum proběhlé obhajoby: 02.06.2025
• Oponenti: doc. Mgr. Pavel Příhoda, Ph.D.

Zásady pro vypracování

Student se seznámí s algebraickým grupovým modelem [1] a jeho rozšířením pro silnější útočníky [2]. Tento model v práci popíše a pokusí se exemplifikovat jeho limity pro analýzu bezpečnosti kryptografických schémat, například pro důkazy extrahovatelnosti závazků k polynomům [3].

Seznam odborné literatury

[1] Georg Fuchsbauer, Eike Kiltz, Julian Loss: The Algebraic Group Model and its Applications. CRYPTO (2) 2018: 33-62
[2] Helger Lipmaa, Roberto Parisella, Janno Siim: Algebraic Group Model with Oblivious Sampling. TCC (4) 2023: 363-392
[3] Dan Boneh, Justin Drake, Ben Fisch, Ariel Gabizon: Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments. CRYPTO (1) 2021: 649-680