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