Foundations of classical and quantum verifiable computing

经典和量子可验证计算的基础

• 批准号: MR/S031545/2
• 负责人: Tom Gur
• 金额: $ 20.67万
• 依托单位: University of Cambridge
• 依托单位国家: 英国
• 项目类别: Fellowship
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=MR%2FS031545%2F2
• 关键词: Foundations; classical; quantum; verifiable; computing

Recent years have seen a vast surge in the volume and sensitivity of data that are being generated and collected, e.g., in genetic sequencing, distributed storage services, and graphs of social networks. The ubiquity and sheer size of modern data sets raise an urgent need to develop new techniques and methodologies for scalable computation.At the same time, the rise of blockchain technology, which underlies deployed distributed systems such as Bitcoin and Ethereum, provides ample motivation for developing decentralised protocols that could go beyond challenging centralised financial control, and profoundly impact society by providing a foundation for real-world distributed systems that can be used for public benefit.A key paradigm for meeting the challenges imposed by both of the aforementioned desiderata is that of verifiable computing. Here, the goal is to allow verification of computation that is performed by a third-party, in a scalable, secure, and privacy-preserving way. Moreover, with the advent of quantum computing on the horizon, it is imperative that the verification would also be post-quantum secure.This proposal is focused on pushing the boundaries of classical and quantum verifiable computing and its real-world applications to delegation of computation to the cloud, as well as to blockchain technology. Its primary objective is to develop a wide arsenal of tools that would open new possibilities for meeting the challenges imposed by big data and the need for decentralised peer-to-peer systems.The proposed approach is inherently interdisciplinary, involving fundamental concepts in cryptography, complexity theory, randomised algorithms, and quantum information, as well as relying on techniques from coding theory, combinatorics, and abstract algebra.

近年来，正在生成和收集的数据的数量和敏感性激增，例如在遗传测序，分布式存储服务和社交网络图中。现代数据集的无处不在和庞大的规模迫切需要开发新技术和方法来进行可伸缩计算。在同一时间，区块链技术的兴起（基于部署的分布式系统（例如比特币）（例如比特币）（例如比特币和以太坊）提供了充足的动力，可以为建立挑战性的分配系统而超越基础的投资控制，从而实现构成基础的基础，并为社会提供深刻的效果，并为社会提供实质性的基础，并锻炼锻炼，从而实现锻炼的基础。满足上述两个Desiderata构成的挑战的关键范式是可验证的计算。在这里，目标是允许以可扩展，安全和隐私的方式验证第三方执行的计算。此外，随着量子计算的出现，必须将验证验证也是Quantum secuer的。该提案的重点是将经典和量子可验证的计算的界限及其现实世界应用及其现实世界应用，以将计算的授权授权到云，以及阻止链技术。它的主要目标是开发广泛的工具，这些工具将开辟新的可能性，以应对大数据施加的挑战和对权力下放的对等系统的需求。拟议的方法是固有的跨学科，涉及密码学，复杂性理论，随机算法和量词信息的基本概念，以及依赖于编码的杂志和绘制杂志，以及综合技术，并依赖于编码和绘制。