Daniel Dominguez
Daniel Dominguez has worked with Veridise on zero-knowledge circuit security. The team examines static analysis and automated verification methods for detecting vulnerabilities in proof systems.
Daniel Dominguez has worked with Veridise on zero-knowledge circuit security. The team examines static analysis and automated verification methods for detecting vulnerabilities in proof systems.