visibility
PUBLIC

Audit Workspace of Informal Systems ⨯ Celestia

This repository is a workspace for Informal Systems and Celestia to collaborate on auditing the software developed by Celestia.

Usage and organization

The artifacts for each audit engagement are gathered in a subdirectory named after the year and quarter in which the audit was carried out.

These artifacts include:

• The artifacts generated in the course of the audit.
• The artifacts under audit, referenced as git submodules.

Performed audits

• 2022 Q3: During this quarter, an overview of Celestia was created and the Celestia Core was audited. The list of reported issues is here
• 2023 Q1, audit of the NMT library: the summary of the audit is in audit-summary.md and the findings are listed in the findings folder.