STIR with Gal Arnon & Giacomo Fenzi

In this week’s episode, https://twitter.com/annarrose (Anna) and https://twitter.com/kobigurk (Kobi) chat with https://galarnon42.github.io/ (Gal Arnon), Ph.D student from the https://weizmann.ac.il/pages/ (Weizmann Institute of Science) and https://twitter.com/GiacomoFenzi (Giacomo Fenzi), Ph.D. student in the https://compsec.epfl.ch/ (COMPSEC Lab) at https://epfl.ch/ (EPFL). Gal and Giacomo are amongst the co-authors of https://eprint.iacr.org/2024/390 (‘STIR: Reed–Solomon Proximity Testing with Fewer Queries’) and in this conversation, they discuss how their research led them to work on these topics and where the thesis for this particular work sparked from. They set the stage by exploring the history of FRI and discussing some hidden nuances in how FRI works. And then they introduce STIR, a system that can be used in place of FRI, which incorporates various optimisations to improve the performance. Here’s some additional links for this episode: https://eprint.iacr.org/2024/248.pdf (FRIDA: Data Availability Sampling from FRI by Hall-Andersen, Simkin and Wagner) https://eprint.iacr.org/2023/846.pdf (Lattice-Based Polynomial Commitments: Towards Asymptotic and Concrete Efficiency by Fenzi, Moghaddas and Nguyen) https://eprint.iacr.org/2019/336.pdf (DEEP-FRI: Sampling Outside the Box Improves Soundness by Ben-Sasson, Goldberg, Kopparty and Saraf) https://eprint.iacr.org/2020/654.pdf (Proximity Gaps for Reed–Solomon Codes by Ben-Sasson, Carmon, Ishai, Kopparty and Saraf) https://eprint.iacr.org/2023/1062.pdf (IOPs with Inverse Polynomial Soundness Error by Arnon, Chiesa and Yogev) https://zeroknowledge.fm/293-2/ (Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał and Albert) https://eprint.iacr.org/2024/278.pdf (Circle STARKs by Haböck, Levit and Papini) https://zeroknowledge.fm/304-2/ (Episode 304: Exploring FRI, LogUp and using M31 for STARKs with Ulrich Haböck) https://www.ulvetanna.io/news/fri-binius (FRI-Binius: Improved Polynomial Commitments for Binary Towers) The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at https://www.zkkrakow.com/ (zkkrakow.com) http://aleo.org/ (Aleo) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. Dive deeper and discover more about Aleo at http://aleo.org/ (http://aleo.org/) If you like what we do: Find all our links here! https://linktr.ee/zeroknowledge (@ZeroKnowledge | Linktree) Subscribe to our https://zeroknowledge.substack.com (podcast newsletter) Follow us on Twitter https://twitter.com/zeroknowledgefm (@zeroknowledgefm) Join us on https://zeroknowledge.fm/telegram (Telegram) Catch us on https://zeroknowledge.fm/ (YouTube)