Zpět na vyhledávání

Bc. Anh Minh Tran

Master's thesis

Theoretical and practical introduction to ZK-SNARKs and ZK-STARKs

Theoretical and practical introduction to ZK-SNARKs and ZK-STARKs
Abstract:
Práce má za cíl poskytnout úvod do problematiky efektivních univerzálních důkazů s nulovou znalostí (tzv. zero-knowledge proofs). V práci znázorňujeme konstrukci důkazů ve dvou různých systémech důkazů, Groth16 a FRI-STARK, a také vysvětlujeme důlažité matematické a kryptografické pojmy potřebné k těmto kontrukcím. Dále popisujeme praktické aplikace těchto systémů a upozorňujeme na možná úskalí spojená …more
Abstract:
This work aims to introduce the reader to the topic of efficient general-purpose zero-knowledge proofs. We illustrate the construction of proofs in two different proof systems, Groth16 and FRI-STARK, and also explain the most important mathematical and cryptographical concepts necessary for their construction. Then we describe practical applications of these argument systems and point out issues related …more
 

Keywords

verifiable computation zero-knowledge proof SNARKs STARKs arithmetic circuit algebraic execution trace constraint system arithmetization-friendly primitives
 
Language used: English
Date on which the thesis was submitted / produced: 17. 5. 2022
Identifier: https://is.muni.cz/th/ovl3c/

Thesis defence

  • Date of defence: 20. 6. 2022
  • Supervisor: RNDr. Dušan Klinec
  • Reader: Mgr. Marek Sýs, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Computer systems, communication and security / Information security

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.