Gal Arnon (@galarnon42) 's Twitter Profile
Gal Arnon

@galarnon42

Computer science PhD student at the Weizmann Institute. Working on IOPs and SNARGs

ID: 1741024986331037696

linkhttps://galarnon42.github.io/ calendar_today30-12-2023 09:15:00

34 Tweet

169 Followers

29 Following

Giacomo Fenzi (@giacomofenzi) 's Twitter Profile Photo

We did a podcast on STIR 🥣! Listen for: anatomy of STARKs, strong opinions on what STARK should mean, history of FRI, overview of STIR, and where you should use STIR over FRI (spoiler: ~always)! Thanks Anna Rose and Kobi Gurkan for having us, it was a lot of fun!

ZK Hack (@__zkhack__) 's Twitter Profile Photo

There's some serious cooking ongoing in #ProjectIdeasTeams channel on ZK Hack Discord! Go & the STIR paper by Gal Arnon Alessandro Chiesa Giacomo Fenzi and Eylon Yogev are on the menu... 𝒁𝑲 𝑯𝒂𝒄𝒌 𝑲𝒓𝒂𝒌𝒐́𝒘 is gonna be lit... Don't miss it! #ZkHackKrakow

There's some serious cooking ongoing in #ProjectIdeasTeams channel on ZK Hack Discord!

<a href="/golang/">Go</a> &amp; the STIR paper by <a href="/GalArnon42/">Gal Arnon</a> Alessandro Chiesa <a href="/GiacomoFenzi/">Giacomo Fenzi</a> and Eylon Yogev are on the menu...

𝒁𝑲 𝑯𝒂𝒄𝒌 𝑲𝒓𝒂𝒌𝒐́𝒘 is gonna be lit... Don't miss it!
#ZkHackKrakow
ZKProof Standards (@zkproof) 's Twitter Profile Photo

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.

Get ready for #ZKProof 2024!
Eylon Yogev from <a href="/ubarilan/">Bar-Ilan University</a> 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, &amp; more.
Zero Knowledge Podcast (@zeroknowledgefm) 's Twitter Profile Photo

🎙️This week @annarrose and Nico catch up with Alessandro Chiesa and Eylon Yogev to discuss their recent publication Building Cryptographic Proofs from Hash Functions listen in full here 👇 zeroknowledge.fm/329-2/

Giacomo Fenzi (@giacomofenzi) 's Twitter Profile Photo

We (Gal Arnon, Ale, Eylon, and I) are delighted to share that that STIR 🥣 won Best Paper at CRYPTO 2024! In the immortal words of one of the co-authors: "This is amazing!"

We (<a href="/GalArnon42/">Gal Arnon</a>, Ale, Eylon, and I) are delighted to share that that STIR 🥣 won Best Paper at CRYPTO 2024!
In the immortal words of one of the co-authors: "This is amazing!"
Giacomo Fenzi (@giacomofenzi) 's Twitter Profile Photo

WHIR 🌪️: a IOP of proximity and multilinear polynomial commitment scheme with exceptionally fast verification time. Joint work with Gal Arnon, Alessandro Chiesa and Eylon Yogev. 📚: ia.cr/2024/1586 📄: gfenzi.io/papers/whir 🧑🏻‍💻: github.com/WizardOfMenlo/…

WHIR 🌪️: a IOP of proximity and multilinear polynomial commitment scheme with exceptionally fast verification time.
Joint work with <a href="/GalArnon42/">Gal Arnon</a>, Alessandro Chiesa and Eylon Yogev.

📚: ia.cr/2024/1586
📄: gfenzi.io/papers/whir
🧑🏻‍💻: github.com/WizardOfMenlo/…
Gal Arnon (@galarnon42) 's Twitter Profile Photo

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

ZK Hack (@__zkhack__) 's Twitter Profile Photo

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

zhenfei (@zhenfei_zhang) 's Twitter Profile Photo

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.

William (@kleptographic) 's Twitter Profile Photo

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

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 <a href="/benediktbuenz/">Benedikt Bünz ☕️</a>, <a href="/zkproofs/">Pratyush Mishra</a>, <a href="/mercysjest/">Wilson Nguyen</a>
ZKV (@zkv_xyz) 's Twitter Profile Photo

This paper by Gal Arnon, Shany Ben-David and Eylon Yogev redefines what's possible with computational instance compression—and challenges key assumptions in cryptography. Here's a quick explanation 👇

This paper by <a href="/GalArnon42/">Gal Arnon</a>, Shany Ben-David and Eylon Yogev redefines what's possible with computational instance compression—and challenges key assumptions in cryptography. 

Here's a quick explanation 👇
Quanta Magazine (@quantamagazine) 's Twitter Profile Photo

An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes. Erica Klarreich reports: quantamagazine.org/computer-scien…

An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes. Erica Klarreich reports: quantamagazine.org/computer-scien…