Logo

    Internal Implementation Audit

    Date
    November 17, 2021 → November 30, 2021
    Assign

    @Nicola@, @, @ @

    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 - @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:

    Actors(smart contracts) and;
    how lotus calls the verification proof API

    CryptoNet is a Protocol Labs initiative.