🧵 I've been experimenting with combining local-first software and the AT Protocol (atproto) to play with the design space of apps that live at both ends of the privacy spectrum - maximally private AND maximally public, without some of the downsides of the modern web.  Why? 👇

The Real Slim Shady: CVE-2025-30147 - The curious case of subgroup check on Besu blog.ethereum.org/2025/05/07/the…

go watch kobi the 🐐

ZK provers on mobile? some thoughts on what needs to change to uphold the security guarantees we work so hard to get tl;dr - the deployment supply chain, at least, should be better kobi.one/The-Lies-Our-P…

Video of my talk in zksummit about Ligerito has been published! It’s about the work by Andrija Novakovic and guille introducing a small and concretely fast polynomial commitment scheme Since then, a fun thing has happened — 1/3

1/ Earlier this year, Yuval Domb discovered Logjumps — a more efficient way to do large-prime field multiplication than Montgomery multiplication. So much modern crypto relies on modular multiplication — all the way from TLS sessions to elliptic-curve based ZK proofs.

If you’re at CVPR and interested in human-object interaction modeling, check out our poster!

🎊 Grant Announcement: ethereum ns! Supporting a student-led Ethereum community in Novi Sad, Serbia with guidance from the local technical university professors and assistants to help students self-organize, host events, and build a sustainable local ecosystem.

We just released 6+ hours of educational content. Made with 💛

another effortpost, except this time it's about the ~ process ~ of research (and getting into new fields that we have no idea about!)