Internal Implementation Audit

We are starting this document as a part of our audit process for Snap deals implementation.

Snapdeals team believes that this is a mandatory step for us to take since we want to make sure that all the changes we made on Lotus, Actors, and Proofs sides are aligned and created the way we originally imagined them in the FIP and other specification docs

Full description and details about the Internal implementation audit are presented in this document:

Important dates:

• We plan to start the audit events train on - @Nov 19, 2021
• We will continue reviewing the codebase/implementation paths during the entire week between - @Nov 22, 2021 and @November 26, 2021

Resources that can be valuable:

SnapDeals main doc

SnapDeals Security Analysis expanded doc

Notes and remarks from planning sessions:

• This audit is mostly concerned with the consensus side of the implementation.
• FSM is not needed for this review, it can be done in parallel, but it doesn’t affect FSM and sub storage line of work on Lotus

The critical path we need to verify: