Hi again,
Hope your weekend went well!
To give some more
context to my previous questions, we recently did some PIR work
relevant
to SCT auditing. This led us to think about the privacy / security
guarantees
of an ideal auditing protocol, and which of those guarantees
Chrome's current
approach achieves. We're planning to submit an RWC
talk with some of that
analysis–would love to have a conversation about
this with y'all at some point if there's
interest! Of course, feel free
to forward this email to anyone else relevant.
One thing
that we thought you should know, we believe there is a flaw with the
current
anonymity set analysis for a simple reason: it doesn't consider
the highly-skewed
popularity of websites. You mention this fact later
when discussing pre-loading SCTs,
but it seems to be critical to the
anonymity set analysis as well. For example, in a recent
web study over
95% of page-loads were for the top one-million domains. As a result,
with high probability any audit result will fall within the top
one-million domains. If I
repeat your anonymity set analysis with
this in mind then I get, with high probability,
an anonymity set of
size 2. (Chrome's caching behavior muddles this analysis a little
bit,
but the point should still more or less stand.)
Let me know if I missed anything here.
Best,
Ryan