Fractal - Post-Quantum and Transparent Recursive Proofs from Holography
Offered By: TheIACR via YouTube
Course Description
Overview
Explore a groundbreaking paper on post-quantum cryptography and transparent recursive proofs presented at Eurocrypt 2020. Delve into the foundations of recursive composition of SNARKs, post-quantum recursion theorems, and holographic proofs. Learn about the Fractal system's evaluation as both a standalone and recursive SNARK, and discover the implications of preprocessing for efficient recursion. Examine the concept of post-quantum preprocessing SNARKs and their connection to holographic proofs. Investigate the potential for efficient holography and linear-size encoding of sparse matrices in this cutting-edge cryptographic research.
Syllabus
Intro
Recursive composition of SNARKS
Foundations of recursion
Post-Quantum Recursion Theorem
Recursion in practice
Preprocessing implies efficient recursion
Evaluation of Fractal (as a standalone SNARK)
Post-Quantum PCD
Realizing recursion for Fractal
Evaluation of Fractal (as a recursive SNARK)
Post-quantum preprocessing SNARKS
Holographic proofs
From holographic PCPs to preprocessing SNARKS
Efficient holography?
Linear-size encoding of a sparse matrix
Summary
Taught by
TheIACR
Related Courses
Transparent SNARKs from DARK CompilersSimons Institute via YouTube Boosting Verifiable Computation on Encrypted Data
TheIACR via YouTube Ouroboros Crypsinous Privacy Preserving Proof of Stake
IEEE via YouTube Proofs and SNARKs - Asiacrypt 2022 Session
TheIACR via YouTube SNARKs, NIZKs, and Key Exchange - Session 20
TheIACR via YouTube