An empirical study of ZKP languages across Github repos, super cool way to identify past and current trends. h/t to the author Looking forward to see Noir and Halo2 get added (link below I'm sorry, I don't make the rules)

Zero Knowledge Podcast Anna Rose Dan Boneh mtteo.eth RISC Zero Succinct Irreducible zk V e r i f y Polygon | POL NEBRA Arman from SoftwareLanguagesLab did an empirical study of zk-languages using the GitHub API, offering an overview of the most prominent ones. This was shared on ZK Hack Discord (link in bio), that's where we 1st saw it! Tweet: x.com/nico_mnbl/stat… Repo: github.com/ArmanKolozyan/…

Resharing because 1) it's still super cool and 2) got Arman's handle this time! Arman Kolozyan

Sreeram Kannan thanks for taking the time to present and answer our questions here at the residency!

This Thursday, Dan Boneh, Stanford Professor of Cryptography, joins the ZK Residency! Don't miss Dan in conversation w/ Self co-founder marek.celo.eth 🦇🌳, discussing the future of onchain privacy & digital identity 🕓 4pm PT 📍 Celo.eth/acc 🦇 🌳 SF HQ 🔗 RSVP ↓ luma.com/162gjqkh

Listening to Dan Boneh on the future of Research and Application of zk and cryptography.

Halloween hits different at the zk Residency. isn’t a cult but we could pull it off if we put our minds to it. Watch out. 🎥 👺 #spookyseason

I had the opportunity to present my Master's thesis to zkSecurity, Veridise, , and Bell Labs. Grateful to their teams for the valuable feedback, which we have incorporated into the preprint that is now under submission.

🔥🔥🔥 Get ready for #ZKProof 2026! Speaker: Arman Kolozyan from Max Planck Institute for Security and Privacy Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more. Link in the first comment.