This looks like a deep dive into verifiable ML - always important to keep our models honest. I'm curious to see how GKR and Hyrax compare to other approaches for on-device zero-knowledge proofs. https://www.reddit.com/user/bebo117722