Merge branch 'main' into verify-power-2

celestiaorg · Jul 16, 2024 · 680faca · 680faca
2 parents a580bac + 3539dc8
commit 680faca
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -116,3 +116,9 @@ Markdown files must conform to [GitHub Flavored Markdown](https://github.github.
 
 - [markdownlint](https://github.com/DavidAnson/markdownlint)
 - [Markdown Table Prettifier](https://github.com/darkriszty/MarkdownTablePrettify-VSCodeExt)
+
+## Audits
+
+Date      | Auditor                                       | Report
+----------|-----------------------------------------------|--------------------------------------------------------
+2023/8/18 | [Informal Systems](https://informal.systems/) | [informal-systems.pdf](docs/audit/informal-systems.pdf)
diff --git a/docs/audit/informal-systems.pdf b/docs/audit/informal-systems.pdf