zkdragon es un proyecto de prueba de conocimiento cero enfocado en habilitar privacidad con auditabilidad, aprovechando la verificación formal para garantizar la corrección de los circuitos. Su objetivo es proporcionar una alternativa segura y transparente a las cadenas panópticas centralizadas.
