Audit of the Injective Protocol in May, 2021

Read the full audit report↗ OPEN PDF, informal-report-injective-audit202106.pdf. See the blog post by Injective.

The sections are compiled from markdown files:

• Audit Overview
• Audit Dashboard
• Engagement goals
• Coverage
• Recommendations
• Findings

The TLA+ specifications that we used for model-based testing with Apalache can be found in tla.