Dev 🧪

zkdragon 是一個零知識證明專案，專注於在可審計性的前提下實現隱私，利用形式化驗證確保電路正確性。它旨在提供一個安全且透明的替代方案，取代中心化的全景監控鏈。