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

16 Tweet

130 Followers

18 Following

Giacomo Fenzi (@giacomofenzi) 's Twitter Profile Photo

Say hello to STIR πŸ₯£! STIR is an IOPP for RS which, compared to FRI, has shorter arguments (~2x) and a faster verifier (~1.2x) that performs fewer hashes (~2x). Joint work with Gal Arnon, Alessandro Chiesa and Eylon Yogev. ia.cr/2024/390 - gfenzi.io/papers/stir

Say hello to STIR πŸ₯£!
STIR is an IOPP for RS which, compared to FRI, has shorter arguments (~2x) and a faster verifier (~1.2x) that performs fewer hashes (~2x).

Joint work with Gal Arnon, Alessandro Chiesa and Eylon Yogev.
ia.cr/2024/390 - gfenzi.io/papers/stir
Giacomo Fenzi (@giacomofenzi) 's Twitter Profile Photo

Blendy🍹 is out! We present a new concretely efficient algorithm for multilinear sumcheck proving which uses linear time and sublinear memory. Joint work with Alessandro Chiesa, Elisabetta Fedele and Andrew Zitek-Estrada ia.cr/2024/524 - gfenzi.io/papers/blendy-…

Blendy🍹 is out!
We present a new concretely efficient algorithm for multilinear sumcheck proving which uses linear time and sublinear memory.

Joint work with Alessandro Chiesa, <a href="/efedele16/">Elisabetta Fedele</a> and <a href="/andrewztech/">Andrew Zitek-Estrada</a> 
ia.cr/2024/524 - gfenzi.io/papers/blendy-…
Giacomo Fenzi (@giacomofenzi) 's Twitter Profile Photo

The recording of the talk me and Gal Arnon gave at #zksummit11 is now out! youtu.be/OLklJjp8KB4 (slides at gfenzi.io/presentations/…) The "bi-annual zk church" does not disappoint and is great for followups 🏎️ (4th pic) Thanks Zero Knowledge Podcast for an amazing organisation!

The recording of the talk me and <a href="/GalArnon42/">Gal Arnon</a> gave at #zksummit11 is now out!

youtu.be/OLklJjp8KB4 (slides at gfenzi.io/presentations/…)

The "bi-annual zk church" does not disappoint and is  great for followups 🏎️ (4th pic)
Thanks <a href="/zeroknowledgefm/">Zero Knowledge Podcast</a> for an amazing organisation!
Zero Knowledge Podcast (@zeroknowledgefm) 's Twitter Profile Photo

This week @annarrose & Kobi Gurkan chat with Gal Arnon from Weizmann Institute & Giacomo Fenzi from EPFL. They discuss how their research led them to work on their latest paper β€˜STIR: Reed–Solomon Proximity Testing with Fewer Queries’. They talk about the history of FRI and the

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 | ge⬑metry research 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) πŸͺΆ Celestia 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

Modulus Labs Join us for two joint seminars with Nexus 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.