Zero-knowledge proof composition and recursion: part 1 | Hacker News Reader