
Gal Arnon
@galarnon42
Computer science PhD student at the Weizmann Institute. Working on IOPs and SNARGs
ID: 1741024986331037696
https://galarnon42.github.io/ 30-12-2023 09:15:00
34 Tweet
169 Followers
29 Following




Get ready for #ZKProof 2024! Eylon Yogev from Bar-Ilan University will talk about STIR: Reed-Solomon Proximity Testing with Fewer Queries. Join us in Berlin on May 22-24 to discuss the future of ZKP standardization, its impact on security, identity, & more.





Blazing SNARKs! Cool new work by Martijn Brehm, Binyi Chen, Ben Fisch, Nicolas Resch, Ron Rothblum, and Hadas Zeilberger. Hadas Zeilberger Ron Rothblum Binyi Chen eprint.iacr.org/2024/1609

Zero Knowledge Podcast Srinath Setty Abhiram Kothapalli RISC Zero Gal Arnon Giacomo Fenzi Geometry Research Mina Protocol (httpz) 🪶 @CelestiaOrg vlayer ⛛ Misha Komarov Gal Arnon, Giacomo Fenzi, Alessandro Chiesa and Eylon Yogev published a paper on WHIR, a commitment scheme combining Basefold and STIR to yield an efficient multilinearPCS with the best of both constructions. Tweet: x.com/GiacomoFenzi/s… Paper: eprint.iacr.org/2024/1586

Accountable Magic Join us for two joint seminars with @NexusLabsHQ featuring Giacomo Fenzi from EPFL on: STIR: Reed–Solomon Proximity Testing with Fewer Queries. Oct 16. WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification. Nov 8.

I'm excited to share our new paper: ia.cr/2024/1731 We construct two hash-based accumulation/folding schemes. These achieve smaller recursion overheads than any previous hash-based approach, and support unbounded steps. With Benedikt Bünz ☕️, Pratyush Mishra, Wilson Nguyen



