Since a few people have asked me--
I had no idea Google's quantum team was using SP1. I found out when @sreeramkannan texted me late last night and then I saw @hosseeb post.
I was like "hm, wait...that looks very familiar..."
The beautiful thing about open source is that sometimes Google uses your shit. Like using Succinct's SP1 to generate a ZK proof for a sensitive circuit that breaks quantum cryptography.