I received a few questions about ZK & Validity proofs in general and I'd like to share one of the best resources on how they work: 

Computational Integrity by @elistark 

I highly recommend all the @ Home series by Starkware; they did a great job explaining them!

StarkWare CEO / Co-Founder
ZK-STARK, FRI, ZeroCash Co-Inventor
Previously, Professor of Theoretical Computer Science

I received a few questions about ZK & Validity proofs in general and I'd like to share one of the best resources on how they work: 

Computational Integrity by @elistark 

I highly recommend all the @ Home series by Starkware; they did a great job explaining them!

https://www.youtube.com/watch?v=3_LkKX7hBBk&t=2382s