On extractability of bivariate KZG polynomial commitment
| Název práce v češtině: | Extrahovatelnost KZG závazku k polynomům dvou proměnných |
|---|---|
| Název v anglickém jazyce: | On extractability of bivariate KZG polynomial commitment |
| Klíčová slova: | Závazky k polynomům|SNARK|Diffie-Hellman |
| Klíčová slova anglicky: | Polynomial Commitments|SNARK|Diffie-Hellman |
| Akademický rok vypsání: | 2024/2025 |
| Typ práce: | diplomová práce |
| Jazyk práce: | anglič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í: | 27.06.2024 |
| Datum zadání: | 27.06.2024 |
| Datum potvrzení stud. oddělením: | 29.06.2024 |
| Datum a čas obhajoby: | 06.09.2024 08:30 |
| Datum odevzdání elektronické podoby: | 18.07.2024 |
| Datum odevzdání tištěné podoby: | 18.07.2024 |
| Datum proběhlé obhajoby: | 06.09.2024 |
| Oponenti: | doc. Faruk Göloglu, Dr. rer. nat. |
| Zásady pro vypracování |
| Schéma pro závazek k polynomu od Kate, Zaveruchy a Golberga (KZG) [1] je v různých variantách používáno jako stavební blok moderních zero-knowledge protokolů [2,3]. Pro tyto aplikace je zásadní takzvaná extrahovatelnost závazku k polynomu. Důkaz extrahovatelnosti pro KZG závazek ve standardním modelu byl však představen relativně nedávno a pouze pro polynomy jedné proměnné [4]. Cílem práce je nastudovat variantu KZG závazku pro polynomy dvou proměnných [3,5] a pokusit se dokázat jeho extrahovatelnost ve standardním modelu pomocí technik ze [4]. |
| Seznam odborné literatury |
| 1. A. Kate, G. M. Zaverucha, I. Goldberg: Constant-Size Commitments to Polynomials and Their Applications. ASIACRYPT 2010
2. D. Boneh, J. Drake, B. Fisch, A. Gabizon: Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments. CRYPTO 2021 3. T. Liu, T. Xie, J. Zhang, D. Song, Y. Zhang: Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs. IACR Cryptol. ePrint Arch. 2023 4. H. Lipmaa, R. Parisella, J. Siim: Constant-Size zk-SNARKs in ROM from Falsifiable Assumptions. EUROCRYPT 2024 5. C. Papamanthou, E. Shi, R. Tamassia: Signatures of Correct Computation. TCC 2013: |