[Epic] Contracts formal verification and audit

codex-storage / codex-pm

For populating milestone, epic, and planning labels to all Codex organization repos.

4 stars 0 forks source link

Open emizzle opened 5 months ago

emizzle commented 5 months ago

[ ] Formal verification with Certora (work with Vac team)
- [ ] #57
- [x] https://github.com/codex-storage/codex-contracts-eth/pull/113
- [x] https://github.com/codex-storage/codex-contracts-eth/issues/114
- [x] Weekly Certora x vac x marketplace team meetings
[ ] Audit via external team