Comment by baby

Here's a whiteboard session going over that but https://blog.zksecurity.xyz/posts/pudding3/