Info-Theoretic Secure Instruction Sequence

• The paper introduces an instruction sequence that delivers one-time programmable functionality using statistical security rather than computational assumptions.
• It leverages random linear codes and quantum random access codes (QRACs) to encode messages, enabling recovery of one bitstring while protecting the other.
• The security model enforces constant-depth, geometrically-local quantum circuit restrictions, ensuring simulation-based security against advanced adversaries.

An information-theoretically secure instruction sequence is a cryptographic construct that enables the execution of one-time programmable functionalities with statistical (rather than computational) security, contingent on constraints imposed on quantum hardware. The principal instantiation—information-theoretically secure one-time memory (OTM)—realizes a mechanism that allows the retrieval of one out of two stored strings, while leaking negligible information about the other, even against adversaries with unlimited classical resources but limited quantum circuit depth and locality. By leveraging random linear codes and quantum random access codes (QRACs), and enforcing geometrically-local, non-adaptive, constant-depth quantum circuit restrictions on the adversary, this approach achieves simulation-based security without computational assumptions (Stambler, 27 Mar 2025).

1. Formal Definitions and Security Model

The OTM functionality accepts two bitstrings $(s_0,s_1) \in \{0,1\}^k$, producing a quantum token $\rho$ and auxiliary classical data $\mathsf{aux}$. A holder of $(\rho,\mathsf{aux})$ may select a bit $a \in \{0,1\}$ and reconstruct $s_a$ with negligible decoding error, while statistically learning almost nothing about $s_{1-a}$. Extension to one-time programs (OTP) provides single-use evaluation for a classical circuit $f : \{0,1\}^n \to \{0,1\}^m$—permitting output on one chosen input before self-destruction.

Security adopts a simulation-based paradigm: for any adversary $\mathcal{A}$ restricted to one invocation of a non-adaptive, constant-depth, geometrically-local quantum circuit (formally, C$_1$-GQNC$\rho$0), there exists a simulator $\rho$1 making a single ideal query such that $\rho$2's view in the real protocol is $\rho$3-indistinguishable (in trace or statistical distance) from its view in the idealized execution.

The C$\rho$4-GQNC$\rho$5 adversarial model permits arbitrary classical computation but exactly one execution of a quantum circuit of depth $\rho$6 over qubits placed on a $\rho$7-dimensional grid, acting only on $\rho$8-neighboring qubits, with deferred measurement and fixed gate layout.

2. Cryptographic Building Blocks

2.1 Random Linear Codes

An $\rho$9 binary linear code $\mathsf{aux}$0 is constructed from a random generator matrix $\mathsf{aux}$1, with codewords $\mathsf{aux}$2. The parity-check matrix $\mathsf{aux}$3 supports error correction. Selecting $\mathsf{aux}$4 enables the code to correct a constant fraction of errors, with decoding failure probability $\mathsf{aux}$5 under the channel corresponding to QRAC noise.

2.2 Quantum Random Access Codes (QRACs)

The optimal $\mathsf{aux}$6 QRAC encoding $\mathsf{aux}$7 maps a pair of bits to a single qubit state $\mathsf{aux}$8 such that measuring in basis $\mathsf{aux}$9 yields bit $(\rho,\mathsf{aux})$0 with probability $(\rho,\mathsf{aux})$1. The bases $(\rho,\mathsf{aux})$2 and $(\rho,\mathsf{aux})$3 ensure high recoverability rates.

Collision-Entropy Leakage Bounds

Defining collision (order-2 Rényi) mutual information: $(\rho,\mathsf{aux})$4 where

$(\rho,\mathsf{aux})$5

For QRAC states $(\rho,\mathsf{aux})$6:

• $(\rho,\mathsf{aux})$7
• $(\rho,\mathsf{aux})$8
• $(\rho,\mathsf{aux})$9

3. Construction of Information-Theoretically Secure OTM

Fix a large security parameter $a \in \{0,1\}$0. To encode messages $a \in \{0,1\}$1:

3.1 Encoding Procedure (prepState)

1. Sample $a \in \{0,1\}$2 for a random $a \in \{0,1\}$3 code.
2. Compute codewords: $a \in \{0,1\}$4, $a \in \{0,1\}$5.
3. For each $a \in \{0,1\}$6, prepare $a \in \{0,1\}$7.
4. Place these $a \in \{0,1\}$8 qubits on a $a \in \{0,1\}$9-dimensional grid in disjoint hypercubes (side $s_a$0), surrounded by negligible shell regions.
5. Dispatch quantum state $s_a$1 with classical descriptors $s_a$2.

3.2 Reading and Decoding (readState)

Upon selection of $s_a$3:

1. Measure each $s_a$4 in basis $s_a$5, obtaining noisy bits $s_a$6.
2. Classically decode $s_a$7 to recover $s_a$8.
3. Output $s_a$9; successful recovery with probability $s_{1-a}$0.

3.3 Security Rationale

Security against C$s_{1-a}$1-GQNC$s_{1-a}$2 adversaries is underpinned by quantum and statistical limitations:

• Adversarial measurements decompose into disjoint block operations (by non-adaptivity) plus shell qubits.
• Blockwise independence ensures per-block information leakage is bounded by $s_{1-a}$3 via QRAC properties.
• With sufficiently large $s_{1-a}$4 (block size constant, $s_{1-a}$5), a progress bound leverages the chain rule for $s_{1-a}$6 and the leftover-hash lemma for collision entropy, guaranteeing that learning $s_{1-a}$7 does not significantly reduce uncertainty about $s_{1-a}$8: collision entropy remains $s_{1-a}$9, precluding practical recovery of both messages.

3.4 Technical Lemmas

• Collision entropy chain rule (Stambler Lemma 3.1): Conditioned mutual information increment is capped.
• Progress bound: Each hypercube operation increases adversary's knowledge by at most $f : \{0,1\}^n \to \{0,1\}^m$0.
• Leftover-hash lemma (collision entropy): If residual collision entropy exceeds block length, unread codeword bits remain statistically hidden.

3.5 Simulator Construction

For any C$f : \{0,1\}^n \to \{0,1\}^m$1-GQNC$f : \{0,1\}^n \to \{0,1\}^m$2 adversary $f : \{0,1\}^n \to \{0,1\}^m$3, the simulator $f : \{0,1\}^n \to \{0,1\}^m$4 runs $f : \{0,1\}^n \to \{0,1\}^m$5 on dummy codewords, detects the basis measurement choice $f : \{0,1\}^n \to \{0,1\}^m$6, queries the ideal functionality for $f : \{0,1\}^n \to \{0,1\}^m$7, relabels accordingly, and outputs. Indistinguishability derives from the adversary’s inability to distinguish unsampled branches.

4. Extension to One-Time Programs

The OTM construction generalizes to OTPs via Yao-garbling with OTM-based one-time oblivious transfers. Each input wire to the garbled circuit receives two OTM tokens; evaluation requires one token per wire. Upon completion, only one input can be executed successfully, enforcing single-use semantics.

Correctness and security compile from Yao's composition theorems and the information-theoretic properties of the underlying OTM. The complete OTP construction yields total quantum token size polynomial in the circuit gate count ($f : \{0,1\}^n \to \{0,1\}^m$8 for a circuit of size $f : \{0,1\}^n \to \{0,1\}^m$9), while each OTM employs $\mathcal{A}$0 physical qubits with exponential-time decoding.

5. Main Theorem and Security Guarantees

For any constant $\mathcal{A}$1, parameters $\mathcal{A}$2 can be chosen to establish the following for the OTM protocol:

• Correctness: The intended recipient recovers $\mathcal{A}$3 except with probability $\mathcal{A}$4 ($\mathcal{A}$5).
• Simulation-Based Security: For all C$\mathcal{A}$6-GQNC$\mathcal{A}$7 adversaries, the real versus ideal execution views are within trace distance $\mathcal{A}$8.

Augmenting Yao garbling with these OTMs achieves OTPs for any Boolean circuit, with the combined token size $\mathcal{A}$9 and negligible insecurity $_1$0.

6. Limitations and Open Problems

Current implementation demands exponential-time decoding for random linear codes; potential directions include identifying polynomial-time decodable codes compatible with the protocol's information-theoretic security. Removing adversary constraints (non-adaptivity, geometric locality) remains open. Optimization of constants may affect practical feasibility. The fundamental security relies on the quantified and bounded leakage inherent in QRACs and the collision entropy framework; alterations to the adversarial or noise model could significantly impact protocol soundness (Stambler, 27 Mar 2025).

Component	Primitive Used	Notable Parameter
Memory encoding	QRAC + linear code	$_1$1, $_1$2
Adversary model	C$_1$3-GQNC$_1$4	depth $_1$5, grid dim. $_1$6
Security metric	Collision entropy, $_1$7	$_1$8

References to all technical lemmas, entropy facts, and further mathematical details can be found in Sections 3–6 of "Information Theoretic One-Time Programs from Geometrically Local QNC₀ Adversaries" (Stambler, 2024) (Stambler, 27 Mar 2025).