¡Hablaré en ETHTokyo! Explicaré las firmas basadas en hash, que son firmas resistentes a la cuántica, comenzando desde la firma Lamport más básica hasta la XMSS definitivamente adoptada en la capa de consenso. También hablaré de nuestros esfuerzos en @NyxFoundation con respecto a la verificación formal de estas firmas. Planeo hacerlo fácil de entender con muchos diagramas, ¡así que por favor venga! Esto será en japonés.