zkdragon é um projeto de prova de conhecimento zero focado em possibilitar privacidade com auditabilidade, utilizando verificação formal para garantir a correção dos circuitos. Ele visa fornecer uma alternativa segura e transparente às cadeias panópticas centralizadas.
