Är det någon som känner till att det finns en artikel som formellt analyserar den "mindre smarta" versionen av FRI där frågor väljs oberoende i varje lager? (På bekostnad av 2x i bevislängd).

i synnerhet de två exempel du ger på ett dåligt resultat är inte problematiska tror jag - dvs du behöver bara fri för att upptäcka om du * började * långt från ett kodord, jag tror inte att du bryr dig om kodordet byttes ut, eller om du slutade långt från ett kodord (som faktiskt kommer att fångas upp eftersom verifieraren läser hela ordet i det sista lagret)

@GuilleAngeris förresten, är antagandet i denna uppsats att vi befinner oss i UDR?

@UHaboeck @GiacomoFenzi Min motivation var bara att fixa pappret med minsta "redigeringsavstånd". I synnerhet ville jag behålla de dåliga händelserna bara för att de inte minskade avståndet, snarare än den något mer komplexa dåliga händelsen i MCA.

@UHaboeck @GiacomoFenzi Fix eftersom det var med hjälp av den felaktiga analysen från detta pre proximity gaps-papper

@UHaboeck @GiacomoFenzi Dvs en av mina insikter tidigare idag var att för oberoende fråga FRI kan du analysera bara med "regluar" CA snarare än viktad eller ömsesidig. Men jag har gjort det här så fort att jag kanske äter ödmjuk paj imorgon :)

@UHaboeck @GiacomoFenzi Och på toppen av det. Du måste välja ett slumpmässigt lager för att kontrollera varje gång för att få bästa möjliga felbindning, i stället för att fråga på alla lager. Detta har att göra med (1-delta/t)^t är större än 1-delta för (åtminstone vissa värden på) t>1

@aszepieniec *vi har båda ett stavfel - det är (1-1/r)^are inte (1-r)^r

@aszepieniec *Det första "detta" hänvisar till tweeten ovan och det andra till den länkade tweeten :)

@aszepieniec Mer exakt verkar det för givet avstånd delta som att vi kan binda framgångsproben för ind query FRI med e^{-delta}, medan vi för vanlig FRI kan få 1-delta som är t.ex. mindre med ~0,1 för delta=1/2