¡Acabo de publicar una prueba más sencilla de la solidez RBR de FRI! Trabajo con @0xAlbertG y Benedikt Wagner También escribí una entrada de blog explicando las ideas generales de la prueba. ¡Todo lo que necesitas saber es cómo colorear un grafo! Enlaces al artículo y al blog a continuación 1/3

ePrint: blog: Este análisis surgió porque necesitábamos propiedades más fuertes para FRI en algún trabajo separado. Ese trabajo está un poco en segundo plano, pero el reciente taller de EF PQ en Cambridge nos motivó a publicar 2/3

una prueba FRI independiente. ¡Resulta que puede ser útil para la verificación formal de toda la pila SNARK! Ahora la gran pregunta es: ¿quién probará MCA hasta el límite de capacidad? 3/3