Date
November 17, 2021 → November 30, 2021
Assign
@Nicola@Friedel Ziegelmayer, @Luca , @Kubuxu @Dragan Zurzin
Status
Completed
First-timer
Property
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:
Internal Protocol audit for Snap deals
Important dates:
- We plan to start the audit events train on - @November 19, 2021
- We will continue reviewing the codebase/implementation paths during the entire week between - @November 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:
Actors(smart contracts) and;
how lotus calls the verification proof API