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
SnapDeals main doc
SnapDeals Security Analysis expanded doc
Circuit Design doc
Apex Cut doc
Jake's circuit description
As a part of this effort, we formed a working group