Hossein Moghaddas

Exploring the world of PCPs, IOPs, SNARKs, etc.
PhD student @CosicBe, @KU_Leuven
Graduate from @EPFL

[Cosic.be @CosicBe]

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

[Marti @mmagician]

Unstoppable technical blogging only from @NPLabs_:

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: https://t.co/eAWUiuuWaA
tl;dr in 🧵:

[Giacomo Fenzi @GiacomoFenzi]

Accepted to ArticCrypt 2025 🇳🇴 and the Journal of Cryptology!
@KhanhCrypto and @AutQuis ready to wrestle some polar bears 🐻‍❄️? See you in Longyearbyen!

[Hossein Moghaddas @AutQuis]

@Mehdi_IR_DC @Saynakianifar من خونده‌ام ترجمه‌اش رو، به نظرم حق مطلب رو تلاش کرده بود ادا کنه و واژه‌سازی‌های نسبتا خوبی هم انجام داده بود.

[Giacomo Fenzi @GiacomoFenzi]

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 @AutQuis and @KhanhCrypto!

📄: https://t.co/4RWWdsKtjt
📚: https://t.co/lZXCGuEFAM

[Hossein Moghaddas @AutQuis]

Just finished my internship at @0xHungryCats. It was very nice working with @mmagician. I recommend all sorts of collaboration with him. :)

[NP Labs @NPLabs_]

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 @mmagician for the effort, and special thanks to Antonio for the wonderful blog entry!

[Marti @mmagician]

1/3
Check out our new Hungry Cats and Blogs entry:
https://t.co/TrKcSM2DAG

We explain why and where we need efficient multilinear Polynomial Commitment Schemes in Lasso(1) and Jolt(2), a new line of work by:
@srinathtv(1,2), @SuccinctJT(1,2), Riad Wahby(1), @arasuarun (2)

[Ngoc Khanh Nguyen @KhanhCrypto]

I'm thrilled to announce that I will be joining @KingsCollegeLon as a lecturer (assistant professor) this November!

Additionally, I have a single PhD studentship available, details will follow soon :)

[Marti @mmagician]

Our team at @0xHungryCats has implemented 3 multilinear Polynomial Commitment Schemes from scratch in the recent weeks: Hyrax, Ligero & Brakedown.

We used the @arkworks_rs backend and made our new schemes compatible with the arkworks traits.

[Giacomo Fenzi @GiacomoFenzi]

Some updates on https://t.co/4RWWdsJVtV!
- the wonderful @AutQuis joins me and @KhanhCrypto!
- 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)

[Hossein Moghaddas @AutQuis]

@CiliaryBodyy خواهش می‌کنم بلاک نکنین ولی من همین کار رو با مقیاس هر کدوم ۵ دقیقه انجام میدم. دوست شما خیلی خفیف وویس داده :))

[Daniel Collins @dcol97]

Hiking collaboration today to Rochers de Naye with LASEC, COMPSEC and friends including @KhanhCrypto @_lca_m @LilAsianRooster @bubka42 @AutQuis @HyperD3rp @AymericGenet

[Hossein Moghaddas @AutQuis]

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

[Mathias Payer @gannimo]

Are you working with stubborn aarch64 code? Check out @cyan_pencil's upcoming @USENIXSecurity #SEC23 paper on efficiently rewriting ARM binaries. Insight: using heuristics for optimization on a safe baseline is key! https://t.co/ha85CUVaaZ Comments welcome!

[Ryan O'Donnell @BooleanAnalysis]

Wait, Irit Dinur has a whole video course on high-dimensional expanders?! Why didn't anybody tell me!

https://t.co/Rhq3H2xU6g

Web page with course notes here: https://t.co/vLfJeW8eid

[Hossein Moghaddas @AutQuis]

@wmn_lf_frdm به غیر از چندتا آدم مشتی مثل علی‌اکبر و عرفان و... دیگه توی دوره‌ی ما خبری نبود که :)) خیلی دوست دارم بدونم قضیه چیه :))

[Hossein Moghaddas @AutQuis]

@zina_s0 حدس می‌زنم که صدی نود، پرمیت بی سوییسه :))

[Tom Gur @TomGur]

Any recommendations for video lectures of interesting courses in quantum computing/information/algorithms/complexity?

I've thoroughly enjoyed pretty much anything by @henryquantum, @BooleanAnalysis, and @sevag_gharibian. Would love to hear any suggestions!

#QuantumTwitter