facebook / winterfell

A STARK prover and verifier for arbitrary computations

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Remove duplicate query check in FRI

Al-Kindi-0 opened this issue · comments

The analysis of FRI doesn't require the FRI query indices to not include duplicates i.e. it only requires that they are sampled randomly but doesn't require the sampling to be without replacement.
Thus it makes sense to simplify the FRI query generation by removing the duplicate check.

Makes sense! This would mean removing these lines, right?

Yes! I would say even starting with line 215 but we would need to change a few extra things in addition.