Episode 321: STIR with Gal Arnon & Giacomo Fenzi - Zero Knowledge | Lyssna här

In this week’s episode, Anna and Kobi chat with Gal Arnon, Ph.D student from the Weizmann Institute of Science & Giacomo Fenzi, Ph.D. student in the COMPSEC Lab at EPFL.

Gal and Giacomo are amongst the co-authors of ‘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:

FRIDA: Data Availability Sampling from FRI by Hall-Andersen, Simkin and Wagner

Lattice-Based Polynomial Commitments: Towards Asymptotic and Concrete Efficiency by Fenzi, Moghaddas and Nguyen

DEEP-FRI: Sampling Outside the Box Improves Soundness by Ben-Sasson, Goldberg, Kopparty and Saraf

Proximity Gaps for Reed–Solomon Codes by Ben-Sasson, Carmon, Ishai, Kopparty and Saraf

IOPs with Inverse Polynomial Soundness Error by Arnon, Chiesa and Yogev

Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert

Circle STARKs by Haböck, Levit and Papini

Episode 304: Exploring FRI, LogUp and using M31 for STARKs with Ulrich Haböck

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 zkkrakow.com

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.