Zero-knowlege Virtual Machines

• Název práce v češtině: Virtuální stroje s nulovou znalostí
• Název v anglickém jazyce: Zero-knowlege Virtual Machines
• Klíčová slova: zero-knowledge|zkVM|SNARK|STARK
• Klíčová slova anglicky: zero-knowledge|zkVM|SNARK|STARK
• Akademický rok vypsání: 2024/2025
• Typ práce: bakalářská práce
• Jazyk práce: angličtina
• Ústav: Informatický ústav Univerzity Karlovy (32-IUUK)
• Vedoucí / školitel: Mgr. Pavel Hubáček, Ph.D.
• Řešitel: Karel Velička - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 29.04.2025
• Datum zadání: 30.04.2025
• Datum potvrzení stud. oddělením: 30.04.2025
• Datum a čas obhajoby: 20.06.2025 09:00
• Datum odevzdání elektronické podoby: 07.05.2025
• Datum odevzdání tištěné podoby: 07.05.2025
• Datum proběhlé obhajoby: 20.06.2025
• Oponenti: Mgr. Martin Mareš, Ph.D.

Zásady pro vypracování

Student se seznámí s návrhy zero-knowledge virtual machines [1], popíše jejich fungování a pokusí se otestovat různé praktické implementace (např. RISC Zero [2] nebo SP1 [3]) a porovnat jejich výkon a omezení.

Seznam odborné literatury

[1] ZKEVM Introduction, https://github.com/privacy-scaling-explorations/zkevm-specs/blob/master/specs/introduction.md
[2] RISC Zero, https://risczero.com/
[3] SP1, https://succint.xyz/