Avances recientes en la investigación de ZK/FHE (también relacionados con algunos proyectos de criptografía) En el último episodio del podcast, Anna dialoga con Dan Boneh, profesor de Ciencias de la Computación y Ingeniería Electrónica en la Universidad de Stanford, sobre los avances en la investigación de zk. Resumen de la entrevista: Algunos escenarios potenciales de ZK: 1) ZKML, el problema de ZKML es demostrar la correcta ejecución del modelo en los datos dados, esta es también la dirección de investigación que el equipo de boundless @boundless_xyz @boundless_cn (@risczero) ha estado desarrollando desde hace dos años. 2) Trazabilidad y autenticidad del contenido: el estándar C2PA (trazabilidad y autenticidad del contenido) permite que las cámaras firmen imágenes mediante claves incrustadas, demostrando el origen, la hora y la configuración de la imagen. Ahora, la IA generativa (como DALL·E) también comienza a añadir pruebas C2PA a las imágenes, indicando que son generadas por IA. Basado en reticulados, SNARK, FHE: - SNARK construido sobre reticulados (la ventaja de los reticulados es que tienen seguridad post-cuántica). - El artículo de Greyhound propone un esquema de compromiso polinómico (PCS) basado en reticulados. - La investigación ha encontrado que los reticulados funcionan muy bien en esquemas de plegado, y en colaboración con Binyi Chen (fundador/investigador de Espresso @EspressoSys) se desarrolló LatticeFold: un esquema de plegado basado en reticulados. - En el campo de FHE se están desarrollando chips ASIC dedicados, se espera que en 2025 se mejore significativamente el rendimiento de FHE (posiblemente de 10 a 100 veces más rápido). - La empresa Zama @zama_fhe está explorando la ejecución de SNARK sobre cálculos FHE, y la estructura de anillo de LatticeFold es compatible con FHE, adecuada para este escenario. Versión en chino de la entrevista: Texto original del podcast: