Sorguların her katmanda bağımsız olarak seçildiği FRI'nin "daha az akıllı" versiyonunu resmi olarak analiz eden bir makaleden haberdar olan var mı? (Kanıt uzunluğunun 2 katı pahasına).

özellikle kötü bir sonuçla ilgili verdiğiniz iki örnek bence sorunlu değil - yani bir kod sözcüğünden *başlayıp başlamadığınızı* tespit etmek için sadece fri'ye ihtiyacınız var, kod sözcüğünün değiştirilip değiştirilmediğini veya bir kod sözcüğünden uzakta bitirip bitirmediğinizi umursadığınızı sanmıyorum (ki bu aslında yakalanacaktır çünkü doğrulayıcı son katmanda tüm kelimeyi okur)

@GuilleAngeris Bu arada, bu makaledeki varsayım UDR'de olduğumuz mu?

@UHaboeck @GiacomoFenzi Motivasyonum sadece kağıdı en küçük "düzenleme mesafesi" ile düzeltmekti. Özellikle, MCA'daki biraz daha karmaşık kötü olaydan ziyade, kötü olayların sadece katlanmasının mesafeyi azaltmamasını istedim.

@UHaboeck @GiacomoFenzi Bu yakınlık öncesi boşluklar kağıdındaki hatalı analizi kullanmasını düzeltin

@UHaboeck @GiacomoFenzi Yani, bugün erken saatlerde içgörülerimden biri, bağımsız sorgu FR için ağırlıklı veya karşılıklı yerine yalnızca "regluar" CA ile analiz edebileceğinizdi. Ama bunu o kadar hızlı yaptım ki belki yarın mütevazi bir turta yerim:)

@UHaboeck @GiacomoFenzi Ve bunun üzerine.. Tüm katmanlarda sorgulama yapmak yerine, en iyi hata sınırını elde etmek için her seferinde kontrol etmek üzere rastgele bir katman seçmeniz gerekir. Bunun şununla ilgisi var (1-delta/t)^t, t>1'in (en azından bazı değerleri) için 1-deltadan daha büyüktür

@aszepieniec *ikimizin de bir yazım hatası var - bu (1-1/r)^are not (1-r)^r

@aszepieniec *İlk 'bu' yukarıdaki tweet'e, ikincisi ise bağlantılı tweet'e atıfta bulunuyor:)

@aszepieniec Daha doğrusu, verilen mesafe deltası için ind sorgu FRI'nin başarı olasılığını e^{-delta} ile sınırlayabiliriz, oysa normal FRI için delta=1/2 için örneğin ~0.1 daha küçük olan 1-delta elde edebiliriz