crypto 2 An Introduction to Zero-Knowledge Proofs - Part 1 Jul 16, 2024 UTCTF 2024 writeup Apr 2, 2024