In today’s quantum computing environment, access to all major hardware providers is entirely cloud-based. As a result, large enterprises and other privacy-sensitive users are limited in their ability to experiment with quantum computers. Many have simply chosen to forego experimentation with quantum computers altogether. A careful application of recent research is vital to address this […]

Our research goals, which are a mix of theoretical and practical problems, are motivated by the practical near-term problem of delegating tasks to an untrusted remote quantum computer in a secure way. Toward this, we consider the notions of indistinguishability obfuscation for quantum circuits and quantum fully homomorphic encryption schemes. The former refers to algorithms […]

A verifier-prover — where a “prover” suggests an answer to a question, which is then checked by a “verifier” — is a powerful analytical tool in computer science. As an example, understanding the number of transactions required to answer a computational question in a prover-verifier setting offers insights into the difficulty of that computational problem. […]

AgnostiQ Labs is looking to develop immediately applicable encryption/obfuscation techniques for quantum computing. At present, encryption protocols developed in academia are unsuitable for real-world applications because they largely depend on quantum hardware that do not yet exist. Research into encryption techniques that will be useful on today’s (primarily cloud-based) quantum hardware will allow AgnostiQ Labs […]