Audit items relevant for our review
| Item under review | Review status | Main findings from the review process | Related to: |
|---|---|---|---|
Circuits and verification algorithm of proofs | Done | main items are listed below, but also linked here | Circuits (Proofs) |
Smart contracts (actors code) | Done | Actors | |
Pathways from actors to FFI for the verification storage subsystem | Done | ActorsFFI | |
Storage subsystem capability of updating deals/test suite testing deal updates | Done | ||