¿Cómo mantenemos los circuitos ZK sólidos y deterministas durante las auditorías? Nuestro cofundador @IsilDillig comparte ideas sobre la combinación de análisis estático y solucionadores SMT en nuestras herramientas ZK.
443