🧵 En los últimos meses, hemos publicado una serie de entradas de blog en las que exploramos los retos técnicos y las ideas que dan forma a las pruebas de conocimiento cero, la criptografía y la seguridad. Este hilo resume lo más reciente, desde la búsqueda de errores mediante IA hasta los SNARK poscuánticos 👇