Audit Reports

ZkStable undergoes continuous internal and external audits to ensure protocol safety and long-term reliability.

🧾 Audit Partners

Firm	Scope	Status
Halborn	Smart Contracts + Governance	Scheduled
Zellic	zkSNARK Verifier + Relay Logic	In Progress
Least Authority	Zcash Shielded Pool Integration	Planned

🧪 What We Audit

• Smart contract correctness

• zkSNARK verifier implementation

• Proof relay integrity

• Overcollateralization enforcement

• Governance upgrade permissions

🛠️ Ongoing Security Programs

• Bug bounty: Tiered up to $250,000

• Automated static analysis on every PR

• Internal peer-review for every circuit upgrade

As audits complete, PDF + SHA-256 checksum proofs will be published here.