Section outline

    • Interactive Proofs
    • Βασικά εργαλεία (Σχήματα Δέσμευσης, Schartz - Zippel Λήμμα, Πολυωνυμική Παρεμβολή)
    • Συστατικά και ορισμός zk-SNARKS
    • Polynomial Commitments
    • KZG Commitments
    • Non - falsifiable assumptions

    Διαφάνειες: Μέρος 1ο & Μέρος 2ο

    Μελέτη

    [JT] Κεφ. 3, 11, 12, 15

    Papers για εργασία παρουσίασης (τρεις εργασίες):

    R. S. Wahby, I. Tzialla, A. Shelat, J. Thaler and M. Walfish, "Doubly-Efficient zkSNARKs Without Trusted Setup," 2018 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, USA, 2018, pp. 926-943, doi: 10.1109/SP.2018.00060. 

    Lee, J. (2021). Dory: Efficient, Transparent Arguments for Generalised Inner Products and Polynomial Commitments. In: Nissim, K., Waters, B. (eds) Theory of Cryptography. TCC 2021. Lecture Notes in Computer Science, vol 13043. Springer, Cham. https://doi.org/10.1007/978-3-030-90453-1_1

    Bootle, J., Chiesa, A., Sotiraki, K. (2021). Sumcheck Arguments and Their Applications. CRYPTO 2021. https://eprint.iacr.org/2021/333