Update _Sidebar

kamal 2026-04-23 05:15:13 +00:00
commit 324eb4884a

@ -10,6 +10,8 @@
### Trust
- [Paper](Paper)
- [Formal Verification](Formal-Verification)
- [Audit & Testing](Audit-and-Testing)
- [Security Policy](Security-Policy)