Is iemand op de hoogte van een paper die formeel de "minder slimme" versie van FRI analyseert waarbij de queries onafhankelijk op elke laag worden gekozen? (Ten koste van 2x in bewijs lengte).

In het bijzonder zijn de twee voorbeelden die je geeft van een slecht resultaat niet problematisch, denk ik - dat wil zeggen, je moet gewoon fri laten detecteren of je *begon* ver van een codewoord, ik denk niet dat het je interesseert of het codewoord is gewisseld, of dat je ver van een codewoord eindigde (wat eigenlijk zal worden opgemerkt omdat de verifier het hele woord op de laatste laag leest)

@GuilleAngeris Trouwens, is de veronderstelling in dit paper dat we in UDR zijn?

@UHaboeck @GiacomoFenzi Mijn motivatie was gewoon om het document te corrigeren met de kleinste "edit distance". In het bijzonder wilde ik de slechte gebeurtenissen behouden waarbij het gewoon vouwen de afstand niet verminderde, in plaats van de iets complexere slechte gebeurtenis in MCA.

@UHaboeck @GiacomoFenzi Fix, omdat het de foutieve analyse uit dit pre-proximity gaps paper gebruikte

@UHaboeck @GiacomoFenzi Met andere woorden, een van mijn inzichten eerder vandaag was dat je voor onafhankelijke query FRI gewoon met "reguliere" CA kunt analyseren in plaats van gewogen of mutueel. Maar ik heb dit zo snel gedaan dat ik misschien morgen mijn nederigheid moet tonen :)

@UHaboeck @GiacomoFenzi En daarbovenop moet je elke keer een willekeurige laag kiezen om te controleren om de beste foutgrens te krijgen, in plaats van op alle lagen te vragen. Dit heeft te maken met (1-delta/t)^t dat groter is dan 1-delta voor (ten minste enkele waarden van) t>1

@aszepieniec *we hebben allebei een typfout - het is (1-1/r)^r en niet (1-r)^r

@aszepieniec *De eerste `dit` verwijst naar de bovenstaande tweet, en de tweede dit naar de gelinkte tweet :)

@aszepieniec Meer precies lijkt het erop dat we voor een gegeven afstand delta de kans op succes van de onafhankelijke query FRI kunnen begrenzen door e^{-delta}, terwijl we voor reguliere FRI 1-delta kunnen krijgen, wat bijvoorbeeld kleiner is met ~0.1 voor delta=1/2