Tag Archives: interactive proofs

A Masters project

Posted on January 14, 2020 by Thomas

In a previous post I reported on the beautiful recent result by Natarajan and Wright showing the astounding power of multi-prover interactive proofs with quantum provers sharing entanglement: in letters, . In this post I want to report on follow-up … Continue reading →

Posted in meta, QPCP, Quantum, Science | Tagged , , , | 28 Comments

Randomness and interaction? Entanglement ups the game!

Posted on April 14, 2019 by Thomas

[05/25/19 Update: Kevin Hartnett has a nice article at Quanta explaining Natarajan & Wright’s result in slightly more layman terms than I’d be able to…see here: Computer Scientists Expand the Frontier of Verifiable Knowledge] The study of entanglement through the … Continue reading →

Posted in CHSH, QPCP, Quantum, Uncategorized | Tagged | 8 Comments

The cryptographic leash

Posted on August 6, 2018 by Thomas

This post is meant as a companion to an introductory post I wrote on the blog of Caltech’s IQIM (Institute for Quantum Information and Matter), of which I am a member. The post describes a “summer cluster” on quantum computation … Continue reading →

Posted in Conferences, QCrypto, Simons | Tagged , , | 1 Comment