1 Audit available | Last Audit was delivered on 1/11/2021
nagawap
Formal Verification Platform
Static Analysis
Manual Review
Findings level data currently unavailable
25
All Findings
0
Unresolved
0
Acknowledged
0
Partially
20
Resolved
Audit Timeline
Requested on 1/9/2021
Revisioned on 1/11/2021
Disclaimer:CertiK conducts security assessments on the provided source code exclusively. Conduct your own due diligence before deciding to use any info listed at this page.