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

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

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