Team

@Anonymous

@Anonymous

@Nicola

@Anonymous

@Anonymous

@Anonymous

What is this Audit About

We are going through the entire SnapDeals protocol together in order to have a final validation of the theory behind it. Team includes people who directly worked on SnapDeals as well as researchers who did not directly work on it in the past but have extensive expertise in analyzing cryptographic protocols and their security: in this way we aim to minimize potential biases.

Resources

SnapDeals main doc

SnapDeals Security Analysis expanded doc

What is in Scope for this line of work

A deep dive into the SnapDeals protocol in order to check all the technical details of it, including Security. In details:

• [x] Double check the encoding function and agree we are fine with it
• [ ] Go over all the assumptions and validate them together
  • [x] Why Assumption 1 is broken
  • [x] Which concrete attack we can put in place
  • [x] Why we are convinced the assumptions we are using
    • [x] We are fine with considering the flipping adversary as specified in the protocol description
    • [ ] We will investigate how resampling affects Kolmogorov bounds and the Kolmogorov theorem
• [x] Analyze the security proofs of SnapDeals
  • [x] Two bytes for one bit (probabilistic)
  • [x] Kolmogorov bound-based (information theoretic)
• [x] Review bucketing analysis and take a final decision on it