Quelqu'un est-il au courant d'un article analysant formellement la version "moins intelligente" de FRI où les requêtes sont choisies indépendamment à chaque couche ? (Au prix d'un doublement de la longueur de la preuve).

en particulier, les deux exemples que vous donnez d'un mauvais résultat ne sont pas problématiques, je pense - c'est-à-dire que vous avez juste besoin que fri détecte si vous *avez commencé* loin d'un codeword, je ne pense pas que cela vous préoccupe si le codeword a été changé, ou si vous avez fini loin d'un codeword (ce qui sera en fait détecté car le vérificateur lit tout le mot à la couche finale)

@GuilleAngeris Au fait, l'hypothèse dans cet article est-elle que nous sommes en UDR ?

@UHaboeck @GiacomoFenzi Ma motivation était simplement de corriger le document avec la plus petite "distance d'édition". En particulier, je voulais garder les mauvais événements juste en pliant, ce qui n'a pas diminué la distance, plutôt que le mauvais événement légèrement plus complexe dans MCA.

@UHaboeck @GiacomoFenzi Corrigez, car cela utilisait l'analyse défectueuse de cet article sur les écarts de pré-proximité.

@UHaboeck @GiacomoFenzi C'est-à-dire qu'une de mes réflexions plus tôt dans la journée était que pour la requête indépendante FRI, vous pouvez analyser simplement avec un CA "normal" plutôt qu'avec un CA pondéré ou mutuel. Mais j'ai fait cela si rapidement que peut-être que je vais manger mon chapeau demain :)

@UHaboeck @GiacomoFenzi Et en plus de cela... vous devez choisir une couche aléatoire à vérifier à chaque fois pour obtenir la meilleure limite d'erreur, plutôt que de faire des requêtes à toutes les couches. Cela a à voir avec (1-delta/t)^t étant plus grand que 1-delta pour (au moins certaines valeurs de) t>1

@aszepieniec *nous avons tous les deux une faute de frappe - c'est (1-1/r)^r et non (1-r)^r

@aszepieniec *Le premier `ceci` fait référence au tweet ci-dessus, et le second ceci au tweet lié :)

@aszepieniec Plus précisément, il semble que pour un delta de distance donné, nous puissions limiter la probabilité de succès de la requête ind FRI par e^{-delta}, tandis que pour le FRI régulier, nous pouvons obtenir 1-delta, ce qui est par exemple plus petit d'environ 0,1 pour delta=1/2