Newest papers

PQ-Vault: Provably Quantum-Safe Asset Custody for Unmodified Ethereum

Hassan Khodaiemehr, Khadijeh Bagheri, Chen Feng · 2026 · arXiv (Cornell University)

DOI: 10.48550/arxiv.2610.29230 · cited by 0 works (OpenAlex) · open-access PDF

German

Wir beweisen, dass keine Seitenkette oder Brücke, die die Ethereum-Regeln unverändert überprüft, solche Konten schützen kann: Ihre Gelder müssen in einen Vertrag wechseln, dessen Release-Bedingung nur auf Quanten-sichere Primitiven beruht. Wir entwerfen \emph{PQ-Vault}, ein Schutzsystem für unmodifiziertes Ethereum, das diesen Schrank kombiniert, eine Quanten-sichere Proof-of-Stake-Seitenkette, deren Checkpoints kompakte Zertifikate tragen, und ein optimistisches Streitprotokoll. Wir geben den ersten Sicherheitsnachweis von kompakten Zertifikaten gegen Quantenangriffe und einen entsprechenden Angriff: mit klassisch gewählten Parametern fällt die Garantie von 128 auf etwa 60 Bits und eine einfach

Machine translation (Meta M2M100); the English original follows.

Abstract

A quantum computer could recover the key of any Ethereum account whose public key appears on chain. We prove that no sidechain or bridge that leaves Ethereum's rules unchanged can protect such accounts: their funds must move into a contract whose release condition relies only on quantum-safe primitives. We design \emph{PQ-Vault}, a custody system for unmodified Ethereum combining this vault, a quantum-safe proof-of-stake sidechain whose checkpoints carry compact certificates, and an optimistic dispute protocol. We give the first security proof of compact certificates against quantum attackers and a matching attack: with classically chosen parameters, the guarantee falls from 128 to about 60 bits, and a simple rule restores it. We show that a common seed-update rule in hash-chain proof of stake lets an attacker steer chosen slots and profit from splitting its stake, and give an election whose steering gain and inclusion delay are provably bounded against quantum attackers. Since compressing certificates with a pairing-based SNARK breaks quantum security, we use fraud proofs that need a single signature check. For 65,536 validators, a certificate is 0.8 MB, 260 times smaller than all signatures, and verifies in about 20 ms; the vault accepts a checkpoint for about 420,000 gas.

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Topics: Mathematical proof, Computer security, Computer science, Bounded function, Certificate, Key (lock)

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange