I've lately started working on a DI-QKD project. I've started looking into Vazirani and Vidick's PRL paper on Device-Independent QKD security proof. It's proving to be quite time-consuming for me to go through all of the proofs.
I'm curious if there are any other well-known security proofs for DI-QKD that go in a different way from Vazirani and Vidick's. So that I can get a general estimate of how many more proofs I'll need to read in order to cover all of DI-security QKD's proofs. In order for me to be able to allocate my time properly.
Or is this the main paper, and only minor changes have been made to it since then?
If you have any familiarity with DI-QKD, it would be helpful if you could give me some insight or point me to some of the important security proofs available. Alternatively, find an article or review paper that addresses these DI-QKD-related subjects.
It would also be beneficial for future students who would like to understand DI-QKD.