# Introduction to Folding Questions Some questions you should be able to answer _after_ the *Introduction to Folding* talk by Oskar given at PSE Summer Program 2023. Basic questions to check your understand. ## Questions 1. What problem does folding solve? 2. What is a folding scheme? 3. Why is folding useful for ZK-VM and ZK-ML? 4. Which part of the steps in IVC does the verifier have to look at in Nova? 5. Why do we need relaxed R1CS? 6. Why do we need a final SNARK at the end? 7. What is recursion overhead and why care? 8. Why do we sometimes combine two proof systems? 9. What does Nova Scotia do? 10. What are some things that other folding schemes improve on over Nova?
Last changed by  
 
Oskar
157

Read more

Mobile Prover (Mopro) progress reports

Doing check-ins ~every two weeks.

4/16/2024
Introduction to Folding

![[Pasted image 20230905181258.png]]

9/8/2023
HyperNova Workshop

Multifolding PoC

8/8/2023
A Friendly Introduction to Zero Knowledge

Not updated to latest version yet 2023-06-19 Main text last updated 2023-06-11 NOTE: This is a draft. The text is a copy of the original text for easier feedback. /Oskar Main diff from May 27: New introduction and clarified/simplified things in main text Introduction Zero Knowledge Proofs are magic. They allow us to do things we couldn't dream of before.

6/19/2023
Read more from Oskar
Published on HackMD