Cover Image

Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mohammed, Ameer, Abadi, Aydin, Mahdi, Jaffer
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verifiable Homomorphic Linear Combinations in Multi-Instance Time-Lock Puzzles
by: Abadi, Aydin
Published: (2024)

Tempora-Fusion: Time-Lock Puzzle with Efficient Verifiable Homomorphic Linear Combination
by: Abadi, Aydin
Published: (2024)

Earn While You Reveal: Private Set Intersection that Rewards Participants
by: Abadi, Aydin
Published: (2023)

A Note on Publicly Verifiable Quantum Money with Low Quantum Computational Resources
by: Genovese, Fabrizio, et al.
Published: (2025)

VPAS: Publicly Verifiable and Privacy-Preserving Aggregate Statistics on Distributed Datasets
by: Alghazwi, Mohammed, et al.
Published: (2024)

Verifiable Privacy-Preserving Computing
by: Bontekoe, Tariq, et al.
Published: (2023)

How to Classically Verify a Quantum Cat without Killing It
by: Kalai, Yael Tauman, et al.
Published: (2026)

Delegated-Query Oblivious Transfer and its Practical Applications
by: Desmedt, Yvo, et al.
Published: (2024)

State of the Art Report: Verified Computation
by: Woodcock, Jim, et al.
Published: (2023)

Oblivis: A Framework for Delegated and Efficient Oblivious Transfer
by: Abadi, Aydin, et al.
Published: (2026)

Scalable Time-Lock Puzzle
by: Abadi, Aydin, et al.
Published: (2023)

Trusted Compute Units: A Framework for Chained Verifiable Computations
by: Castillo, Fernando, et al.
Published: (2025)

Hardware-Enabled Mechanisms for Verifying Responsible AI Development
by: O'Gara, Aidan, et al.
Published: (2025)

Computational Attestations of Polynomial Integrity Towards Verifiable Machine-Learning
by: Ray, Dustin, et al.
Published: (2025)

DataSeal: Ensuring the Verifiability of Private Computation on Encrypted Data
by: Santriaji, Muhammad Husni, et al.
Published: (2024)

Verifiable Differential Privacy
by: Biswas, Ari, et al.
Published: (2022)

Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts
by: Lee, Suhyeon, et al.
Published: (2024)

SILMARILS: Information-Theoretic and Quantum-Secure Designated-Verifier Signatures
by: Khodaiemehr, Hassan, et al.
Published: (2026)

Towards Privacy-Preserving Revocation of Verifiable Credentials with Time-Flexibility
by: Buccafurri, Francesco, et al.
Published: (2025)

Verifiable Quantum Secure Modulo Summation
by: Hayashi, Masahito, et al.
Published: (2019)

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
by: Zhang, Yancheng, et al.
Published: (2025)

Publicly Verifiable Private Information Retrieval Protocols Based on Function Secret Sharing
by: Zhu, Lin, et al.
Published: (2025)

New Quantum Internet Applications via Verifiable One-Time Programs
by: Stambler, Lev
Published: (2025)

Blockchain Verifiable Proof of Quantum Supremacy as a Trigger for Quantum-Secure Signatures
by: Papadopoulos, Nicholas J. C.
Published: (2026)

Verified Foundations for Differential Privacy
by: de Medeiros, Markus, et al.
Published: (2024)

Verifiable Weighted Secret Sharing
by: Shehata, Kareem, et al.
Published: (2025)

Supersonic OT: Fast Unconditionally Secure Oblivious Transfer
by: Abadi, Aydin, et al.
Published: (2024)

Publicly Understandable Electronic Voting: A Non-Cryptographic, End-to-End Verifiable Scheme
by: Gat, Alon
Published: (2026)

Registered Attribute-Based Encryption with Publicly Verifiable Certified Deletion, Everlasting Security, and More
by: Murshid, Shayeef, et al.
Published: (2026)

VDDP: Verifiable Distributed Differential Privacy under the Client-Server-Verifier Setup
by: Sun, Haochen, et al.
Published: (2025)

A Cryptographic Perspective on the Verifiability of Quantum Advantage
by: Chia, Nai-Hui, et al.
Published: (2023)

Verifiable Exponential Mechanism for Median Estimation
by: Kwon, Hyukjun, et al.
Published: (2025)

Cryptographic Verifiability for Voter Registration Systems
by: Fábrega, Andrés, et al.
Published: (2025)

Verifiable Encodings for Secure Homomorphic Analytics
by: Chatel, Sylvain, et al.
Published: (2022)

Compact and Selective Disclosure for Verifiable Credentials
by: Buldini, Alessandro, et al.
Published: (2025)

Cryptanalysis on Lightweight Verifiable Homomorphic Encryption
by: Cheon, Jung Hee, et al.
Published: (2025)

A Verifiable Computing Scheme for Encrypted Control Systems
by: Stabile, Francesca, et al.
Published: (2024)

"Think First, Verify Always": Training Humans to Face AI Risks
by: Aydin, Yuksel
Published: (2025)

QPADL: Post-Quantum Private Spectrum Access with Verified Location and DoS Resilience
by: Darzi, Saleh, et al.
Published: (2025)

Parallel Test-Time Scaling with Multi-Sequence Verifiers
by: Kim, Yegon, et al.
Published: (2026)