Protocol Security
Security Audits
Independent manual review and formal verification reports for the Jitter Protocol smart contracts.
Published reports
Audited by Zzyzx LabsManual Security AuditIndependent review covering findings, severity assessments, remediation status, and residual risks.Audited by Zzyzx LabsFormal Verification ReportVerified properties, proof scope, solver results, and documented formal coverage boundaries.
Scope and assurance
These reports document the reviewed code, assumptions, acknowledged risks, and verification boundaries as of their publication date. An audit reduces risk but does not eliminate smart-contract, market, oracle, adapter, or operational risk.