LakeCTF will take start in less than 50 hours ! Don't hesitate to check out the website : lakectf.epfl.ch and join our discord server : discord.com/invite/nmnNCDm… EPFL Computer and Communication Sciences #EPFLIC20

A request to our community: Signal is blocked in Iran. You can help people in Iran reconnect to Signal by hosting a proxy server. If you’re willing and able, please follow the instructions here: signal.org/blog/run-a-pro… 1/2 #IRanASignalProxy

10 Incredible resources for all-things ZK Proofs. 🧵

We would like to express compassion for everyone who is directly or indirectly affected by the current events in Iran. (1/2)

I'm often asked for STARK Math links, here's a LONG thread on that

We’re excited to share new curated syllabi, designed by experts in the field to help educators best teach quantum theory / quantum computing!

Any recommendations for video lectures of interesting courses in quantum computing/information/algorithms/complexity? I've thoroughly enjoyed pretty much anything by Henry Yuen, Ryan O'Donnell, and @sevag_gharibian. Would love to hear any suggestions! #QuantumTwitter

Wait, Irit Dinur has a whole video course on high-dimensional expanders?! Why didn't anybody tell me! youtube.com/playlist?list=… Web page with course notes here: wisdom.weizmann.ac.il/~dinuri/course…

I was fortunate to have worked with Luca Luca db on this project and learned valuable writing skills from Mathias. Thank you both :)

Hiking collaboration today to Rochers de Naye with LASEC, COMPSEC and friends including Ngoc Khanh Nguyen @_lca_m Mai Rooster Ritam Bhaumik Hossein Moghaddas Tu Aymeric Genêt

Some updates on ia.cr/2023/846! - the wonderful Hossein Moghaddas joins me and Ngoc Khanh Nguyen! - new proofs that coordinate-wise special soundness implies knowledge soundness (both interactively and in FS) - 1.5x proof sizes improvement using some tricks from SLAP 👋 (2023/1469)

Our team at Hungry Cats Studio has implemented 3 multilinear Polynomial Commitment Schemes from scratch in the recent weeks: Hyrax, Ligero & Brakedown. We used the arkworks backend and made our new schemes compatible with the arkworks traits.

I'm thrilled to announce that I will be joining King's College London as a lecturer (assistant professor) this November! Additionally, I have a single PhD studentship available, details will follow soon :)

1/3 Check out our new Hungry Cats and Blogs entry: hungrycatsstudio.github.io/posts/lookups-… We explain why and where we need efficient multilinear Polynomial Commitment Schemes in Lasso(1) and Jolt(2), a new line of work by: Srinath Setty(1,2), Justin Thaler(1,2), Riad Wahby(1), Arasu Arun (2)

It was nevertheless a fun project to research. We've learned a ton about the git protocol, IVC and digital signatures. Thank you Antonio, @autquis and Marti for the effort, and special thanks to Antonio for the wonderful blog entry!

Just finished my internship at Hungry Cats Studio. It was very nice working with Marti. I recommend all sorts of collaboration with him. :)

Our work on lattice-based polynomial commitments was published in the Journal of Cryptology, as the first article in the Topical Collection on Modern Zero-Knowledge Protocols! Joint work with Hossein Moghaddas and Ngoc Khanh Nguyen! 📄: ia.cr/2023/846 📚: doi.org/10.1007/s00145…

Accepted to ArticCrypt 2025 🇳🇴 and the Journal of Cryptology! Ngoc Khanh Nguyen and Hossein Moghaddas ready to wrestle some polar bears 🐻‍❄️? See you in Longyearbyen!

Unstoppable technical blogging only from NP Labs: Today, we have a deep dive into arithmetic circuits (AC): their usage in SNARKs, our Rust implementation, and the relation (no pun intended) between AC and Rank-1 Constraint System. Blog: np.engineering/posts/arithmet… tl;dr in 🧵:

Welcome to our new PhD student Hossein Moghaddas! "I chose COSIC for its strong reputation in cryptography and its collaborative research culture. It’s exactly the kind of place where I can grow and contribute meaningfully." #choosecosic