Dev 🧪

zkdragon 是一个零知识证明项目，专注于在可审计的前提下实现隐私保护，利用形式化验证确保电路正确性。其目标是提供一种安全透明的替代方案，以取代中心化的全景监控链。