James Ding
22 de noviembre de 2024 18:26
Conozca la importancia de aplicar métodos formales a circuitos de conocimiento cero para mitigar los riesgos de seguridad en pruebas de conocimiento cero, como lo destacó Isil Dillig de UT Austin.
Comprender los circuitos de conocimiento cero
Los circuitos de conocimiento cero son esenciales en el campo de las pruebas criptográficas, ya que permiten a los usuarios verificar las afirmaciones sin revelar ninguna información subyacente. Estos circuitos funcionan traduciendo cálculos en ecuaciones de campo finito, un proceso que subyace a la creación de pruebas de conocimiento cero (ZKP). Sin embargo, los errores lógicos dentro de estos circuitos pueden plantear importantes amenazas a la seguridad de los sistemas de software que dependen de ZKP, una preocupación cada vez más relevante a medida que la tecnología blockchain gana terreno.
Los métodos formales como solución.
Isil Dillig, profesor de la UT Austin y cofundador de Veridise, aboga por la integración de métodos formales en el desarrollo de circuitos de conocimiento cero. Los métodos formales, que implican técnicas matemáticas rigurosas para la verificación y validación del software, pueden ayudar a identificar y corregir posibles vulnerabilidades en estos circuitos. Dillig presentó este enfoque en una sesión destacada por a16z crypto, enfatizando la necesidad de precisión en los cálculos criptográficos.
Avances recientes en técnicas de verificación.
Durante su presentación, Dillig desarrolló dos proyectos innovadores que muestran la aplicación de métodos formales a circuitos de conocimiento cero. El primer proyecto introduce una nueva técnica para verificar propiedades críticas de estos circuitos, garantizando su fiabilidad y seguridad. El segundo proyecto desvela un nuevo procedimiento de decisión adaptado a la teoría de campos finitos de primer orden, fundamental en las operaciones aritméticas utilizadas por los circuitos de conocimiento cero.
El papel de la investigación criptográfica a16z
a16z crypto Research, un laboratorio multidisciplinario asociado con la firma de capital de riesgo a16z, desempeña un papel crucial en el avance de la ciencia blockchain y las tecnologías criptográficas. El laboratorio colabora con varias empresas de cartera y expertos de la industria para abordar desafíos urgentes en el espacio criptográfico. Al fomentar la innovación y promover metodologías de investigación rigurosas, la investigación sobre criptografía a16z tiene como objetivo mejorar la seguridad y la funcionalidad de las tecnologías de Internet de próxima generación.
Acerca de Isil Dillig
Isil Dillig es reconocida por sus contribuciones a los lenguajes de programación y métodos formales, con énfasis en la síntesis de programas y la verificación de software. Su trabajo ha recibido numerosos elogios, incluidos premios por artículos distinguidos en prestigiosas conferencias como POPL, PLDI y OOPSLA. Como líder del grupo de investigación UToPiA en UT Austin, Dillig continúa ampliando los límites de la seguridad blockchain a través de métodos formales.
Para obtener más información sobre la aplicación de métodos formales en circuitos de conocimiento cero, visite criptografía a16z sitio web.
Fuente de la imagen: Shutterstock
