Cunoaște cineva o lucrare care analizează formal versiunea "mai puțin inteligentă" a FRI în care interogările sunt alese independent la fiecare nivel? (Cu prețul de 2x în lungimea de probă).

în special, cele două exemple pe care le dai despre un rezultat prost nu sunt problematice cred - adică ai nevoie doar de fri pentru a detecta dacă ai *început* departe de un cuvânt de cod, nu cred că îți pasă dacă cuvântul de cod a fost schimbat sau dacă ai terminat departe de un cuvânt de cod (care de fapt va fi prins pentru că verificatorul citește întregul cuvânt la stratul final)

@GuilleAngeris apropo, presupunerea din această lucrare este că suntem în UDR?

@UHaboeck @GiacomoFenzi Motivația mea a fost doar să repar lucrarea cu cea mai mică "distanță de editare". În special, am vrut să păstrez evenimentele rele doar că renunțarea nu a scăzut distanța, mai degrabă decât evenimentul rău puțin mai complex din MCA.

@UHaboeck @GiacomoFenzi Remediați cauza în care folosea analiza defectuoasă din această lucrare pre-proximitate

@UHaboeck @GiacomoFenzi adică una dintre ideile mele de mai devreme astăzi a fost că, pentru interogarea independentă FRI, puteți analiza doar cu CA "regluar", mai degrabă decât ponderată sau reciprocă. Dar am făcut asta atât de repede încât poate voi mânca plăcintă umilă mâine :)

@UHaboeck @GiacomoFenzi Și pe deasupra... Trebuie să alegeți un strat aleatoriu pe care să-l verificați de fiecare dată pentru a obține cea mai bună eroare legată, mai degrabă decât să interogați la toate straturile. Acest lucru are de-a face cu (1-delta/t)^t fiind mai mare decât 1-delta pentru (cel puțin unele valori de) t>1

@aszepieniec *amândoi avem o greșeală de scriere - este (1-1/r)^are not (1-r)^r

@aszepieniec *Primul "this" se referă la tweet-ul de mai sus, iar al doilea la tweet-ul legat :)

@aszepieniec Mai exact, se pare că pentru delta de distanță dată putem lega probabilitatea de succes a interogării de identificare FRI cu e^{-delta}, în timp ce pentru FRI obișnuit putem obține 1-delta care este, de exemplu, mai mică cu ~0.1 pentru delta=1/2