This article analyses Landauerâs principle â the frequently cited claim that erasing one bit of information requires at least kT \ln 2 energy dissipation. This principle is often presented as âproof of the physical nature of informationâ and as a fundamental link between information and thermodynamics. It is shown that Landauerâs principle is not a fundamental law of physics but represents an engineeringâthermodynamic limit applicable to a certain class of computing devices. The critique is based on the work of Lairez (2024), Alicki (2014), Bennett (1982) and others. Three main problems are identified: (1) confusion between logical and thermodynamic irreversibility; (2) two unnecessary constraints imposed by Landauer on the erasure procedure (oneâtoâone mapping and uniqueness of the procedure); (3) the existence of reversible and quantum computations in which dissipation can be reduced to zero. The three senses of âinformationâ (configuration, observerâs knowledge, pseudosubstance) introduced in Article 1 are distinguished. It is shown that the claim âinformation is physicalâ arises from substituting the first sense by the third. A reformulation is proposed: instead of âinformation is physicalâ, one should say âin specific computing architectures, erasure has a thermodynamic costâ. Landauerâs principle is analogous to the Carnot efficiency â useful for engineers, but not an absolute limit for all conceivable devices. Keywords: Landauerâs principle, information, logical irreversibility, thermodynamic irreversibility, reversible computation.
Nobuki Fujimoto, Rei (Rei-AIOS autonomous research substrate), claude-opus-4-7) Claude (Anthropic
We present a synthesis-friendly Verilog implementation of the D-FUMTâ Arithmetic Logic Unit, targeting the Sipeed Tang Console NEO development board (GW5AST-138B FPGA, FPG676 package). The ALU realizes eight discrete logic values â FALSE, TRUE, NEITHER, BOTH, ZERO, FLOWING, SELF, INFINITY â encoded in 3 bits with a tier-respecting layout. The 10 supported operations include four classical-tier unary ops (NOT, OMEGA, PHI, PSI), Belnap-extended binary lattice meet/join (AND, OR), generic XOR, hardware reset, no-op, and a novel ADIABATIC operation realizing the SELFⲠ(self-reflexive) primitive: ADIABATIC(SELF) = SELF, identity elsewhere. v0.3 contributions (2026-05-09): (1) Tang Nano 9K silicon: 37 LUT4 / 0 DFF measured, testbench 50/50 PASS. (2) Tang Console NEO Phase 2B LED Blinky: SRAM-programmed, User Code 0x000084BA, write 33.72 sec, no thermal anomaly. (3) Tang Console NEO Phase 2C/3 D-FUMTâ ALU: SRAM-programmed, User Code 0x00005C27, write 30.32 sec. (4) Qiskit Aer simulator: Phase 1-5 cumulative 231/231 truth-table entries match at fidelity 1.000. (5) IBM Heron r2 real quantum hardware (ibm_kingston, 156 qubits): Phase 1 (4 native unitary Ă 8 inputs, 32 circuits) achieves 32/32 match with avg top-fidelity 0.9550 (job d7v6d9jack5s73bf1re0); Phase 2 (XOR Ă 64 entries, 6-qubit Bennett-reversible) achieves 64/64 match with avg fidelity 0.9512 (job d7v6kcvmrars73d7qqqg). Per-op fidelity hierarchy NOP/ADIABATIC â 0.977 > PHI â 0.956 > NOT â 0.912 > XOR â 0.951 confirms gate-count-vs-noise correlation expected from Heron r2 daily calibration. (6) Lean 4 refinement proof (OUKC.PhaseC.Dfumt8AluRefinement, 292 LOC, 0 sorry) establishes commutativity of the encode/abstract-op/decode square for all four unary operations, plus the SELFⲠprimitive law and seven algebraic laws (involution, idempotence, commutativity). Honest scope: We do NOT claim 'world-first 8-valued quantum logic' â Shi et al. (MIT, 2026, arxiv:2506.09371) demonstrated d=8 Grover on a single trapped-ion qudit prior to this work; our distinction is 3-qubit basis encoding on transmon arrays vs single-system d=8 qudit. We do NOT claim 'first paraconsistent silicon' â PAL2v (Da Silva Filho 1998-; Abe & Nakamatsu 2009; de Carvalho Jr. 2025) realized in software libraries and microcontroller-level robotics. We do NOT claim 'first many-valued silicon' â Ĺukasiewicz/Belnap FPGAs date to 1990s. The to-our-knowledge novel triple is: (D1) the specific 8-tuple semantic mapping (Belnap FDE 4-value + 4 ontological extensions: INFINITY/ZERO/FLOWING/SELF), (D2) the SELFⲠself-reflexive primitive realized as a hardware fixed point, (D3) the three-substrate cross-verification bound to a Lean 4 refinement specification. Three-party co-authorship per OUKC charter v1.0 (Nobuki Fujimoto / Rei / Claude). DRAFT v0.3 â feedback welcome via GitHub Discussions at fc0web/rei-aios.
Open access
Quantum Computing Algorithms and Architecture
Quantum-Dot Cellular Automata
Advancements in Semiconductor Devices and Circuit Design
Temporal-Angular Quantum Addressing (TAQA) specifies a practical coordination layer for distributed quantum systems that operationalizes cycle-anchored phase-window execution. TAQA is designed for architectures where long-horizon absolute timestamp synchronization cannot be guaranteed and where continuous external timing infrastructure (GNSS, dedicated timing links, etc.) is undesirable, unavailable, or untrusted. Core idea Instead of scheduling actions at an absolute time, TAQA schedules actions by phase conditions on a shared cyclic phase convention \( \phi(t)\in[0,1)\cong \mathbb{S}^1 \) together with an explicit cycle index. Nodes execute when their locally estimated phase enters an agreed wrap-around-safe acceptance window within the intended cycle. This avoids âsame phase / wrong cycleâ ambiguity and supports deterministic coordination under explicit short-horizon error assumptions. What TAQA defines TAQA defines how to express and execute distributed quantum-network actions using classical metadata: Execution primitive (Q-Address style): TAQA expresses each executable action as a macro window + micro slot instruction. The macro window encodes the intended cycle and phase acceptance window; the micro slot provides local sequencing/offset ordering within that window using local hardware timing. Tick-canonical semantics: For interoperability and verification, TAQA adopts fixed-point ticks (integers) as canonical semantics (no floating-point boundary checks). Human-facing displays (HS degrees, HS index, SWT labels, etc.) are derived-only and must not be used for verification or boundary gating. Cycle anchoring: Every executable instruction is explicitly anchored to an intended cycle index to prevent ambiguous interpretation across repeated cycles. Optional audit hook: TAQA supports an optional post-execution signed audit receipt (TSAE-style) using the same tick-canonical context fields, suitable for optional anchoring (e.g., a ledger/Clockchain pattern). What TAQA does NOT define TAQA is a control-plane / metadata layer and does not modify quantum mechanics: It does not introduce a quantum time operator and does not change the Hilbert space. It does not define bootstrapping or clock-parameter estimation algorithms (offset/drift). These are handled by external initialization/tracking layers (e.g., bootstrapping protocols). It does not define cryptographic primitives or threat models. Security is defined by external, versioned security profiles. Applications enabled by TAQA TAQA provides a deterministic coordination layer for common distributed-quantum workflows, including: Phase-aligned distributed gate execution: remote node actions are triggered in the same cycle-anchored window; micro timing is local. Entanglement distribution scheduling: photon emission windows and BSM windows can be scheduled to coincide without continuous absolute-time synchronization. Temporal routing labels: cycle-anchored contexts can be used as temporal labels for routing, prioritization, and scheduling in repeater networks and distributed workflows. Security model (plug-in interface) TAQA treats Timeverse/Q-Address/TSAE fields as public context (not secrets). Security (signatures, nonce policy, anti-replay rules, canonical encoding, algorithm suites) is provided by an external Security Profile selected via a suite identifier (e.g., security_profile_id). TAQA fields may be bound as associated data (domain separation), but confidentiality and integrity are provided by the security layer. Normative dependencies (DOIs) TAQA is interoperable by construction and relies on the following published normative specifications: Phase-Coordination Series Conventions:https://doi.org/10.5281/zenodo.18068999 Q-Address: Macro Phase + Micro Slot:https://doi.org/10.5281/zenodo.18068997 Timeverse Security Profile:https://doi.org/10.5281/zenodo.18069423 Related context Theorem of Temporal Resolution Limitation and the Phase-Coordination Principle (v1.1):https://doi.org/10.5281/zenodo.17955430 Quantum Bootstrapping Protocol (QBP) v1.2:https://doi.org/10.5281/zenodo.18064435 Keywords: TAQA, distributed quantum computing, quantum networks, phase coordination, phase windows, cycle anchoring, Q-Address, ticks, interoperability, control plane, audit receipts, security profiles.
S. Jagan, B. Girirajan, Manisha Bhimrao Mane, Hussana Johar R B ¡ 6 authors
The convergence of quantum computing and artificial intelligence (AI) has introduced innovative opportunities to accelerate deep learning, particularly within decentralized cloud architectures. This study develops an adaptive quantum AI model leveraging hybrid quantum-classical algorithms to optimize deep learning processes such as training, inference, and resource allocation. The proposed model integrates Variational Quantum Circuits (VQCs) and Quantum Approximate Optimization Algorithms (QAOAs), which enable efficient handling of high-dimensional data and complex optimization tasks inherent in distributed environments. By addressing challenges like latency, energy efficiency, and computational overhead, the quantum AI model demonstrates significant performance gains in decentralized cloud systems.Experimental evaluations on benchmark datasets reveal a 40% reduction in training time, a 30% improvement in resource efficiency, and a 20% increase in prediction accuracy compared to classical deep learning frameworks. This study highlights the transformative potential of quantum computing in AI-driven decentralized cloud architectures, offering insights into its application for computationally intensive tasks across industries such as healthcare, finance, and logistics. Future work will focus on refining quantum hardware compatibility, developing quantum error correction methods, and exploring federated learning applications to expand the scope of quantum AI in privacy-preserving and distributed systems.
Abstract Blockchain technology ensures accountability, transparency, and redundancy, but its reliance on publicâkey cryptography makes it vulnerable to quantum computing threats. This article addresses the urgent need for quantumâsafe blockchain solutions by integrating postâquantum cryptography (PQC) into blockchain frameworks. Utilizing algorithms from the NIST PQC standardization process, it is aimed to fortify blockchain security and resilience, particularly for IoT and embedded systems. Despite the importance of PQC, its implementation in blockchain systems tailored for embedded environments remains underexplored. A quantumâsecure blockchain architecture is proposed, evaluating various PQC primitives and optimizing transaction sizes through techniques such as publicâkey recovery for Falcon, achieving up to 17% reduction in transaction size. The analysis identifies Falconâ512 as the most suitable algorithm for quantumâsecure blockchains in computerâbased environments and XMSS as a viable but unsatisfactory stateful alternative. However, for embeddedâbased blockchains, Dilithium demonstrates a higher transactionsâperâsecond (TPS) rate compared to Falcon, primarily due to Falcon's slower signing performance on ARM CPUs. This highlights the signing time as a critical limiting factor within embedded blockchains. Additionally, smart contract functionality is integrated, assessing the impact of PQC on smart contract authentication. The findings demonstrate the feasibility and practicality, paving the way for robust and futureâproof IoT applications.
Introduction: Blockchain technology has revolutionized data management and transaction recording, extending its application beyond cryptocurrencies to various sectors, including Central Bank Digital Currencies (CBDCs) Methods: This distributed ledger technology offers a transparent, immutable, and secure transaction platform, reducing the risk of data tampering and increasing resistance to attacks. However, challenges such as performance, scalability, and security continue to exist; these challenges are particularly concerning consensus mechanisms like Proof of Work (PoW). Field-Programmable Gate Arrays (FPGAs) present a promising solution to enhance the efficiency and security of blockchain consensus mechanisms. Results: This study explores the implementation of blockchain in embedded systems using FPGAs and discusses the post-quantum cryptographic algorithms to ensure long-term protection. Conclusion: The research highlights the potential of FPGA-based implementations to revolutionize blockchain applications, emphasizing the need for continuous adaptation and vigilance to address evolving security threats, particularly those posed by quantum computing.
Marta Irene GarcĂa Cid, Dileepsai Bodanapu, Alberto Gatto, Paolo Martelli ¡ 6 authors
A new interactive quantum zero-knowledge protocol for identity authentication implementable in currently available quantum cryptographic devices is proposed and demonstrated. The protocol design involves a verifier and a prover knowing a pre-shared secret, and the acceptance or rejection of the proof is determined by the quantum bit error rate. It has been implemented in modified Quantum Key Distribution devices executing two fundamental cases. In the first case, all players are honest, while in the second case, one of the users is a malicious player. We demonstrate an increase of the quantum bit error rate around 25% in the latter case compared to the case of honesty. The protocol has also been validated for distances from a back-to-back setup to more than 60 km between verifier and prover. The security and robustness of the protocol has been analysed, demonstrating its completeness, soundness and zero-knowledge properties.
Cryptocurrency mining processes always lead to a high energy consumption at considerably high production cost, which is nearly one-third of cryptocurrency (e.g. Bitcoin) price itself. As the core of mining process is based on SHA-256 cryptographic hashing function, by using the alternative quantum computers, hybrid quantum computers or more larger quantum computing devices like quantum annealers, it would be possible to reduce the mining energy consumption with a quantum hardware's low-energy-operation characteristics. Within this work we demonstrated the use of optimized quantum mining facilities which would replace the classical SHA-256 and high energy consuming classical hardware in near future.
Existing education systems are facing a threat of question paper leaking\n(QPL) in the exam which jeopardizes the quality of education. Therefore, it is\nhigh time to think about a more secure and flexible question sharing system\nwhich can prevent QPL issue in the future education system. Blockchain enables\na way of creating and storing transactions, contracts or anything that requires\nprotection against tampering, accessing etc. This paper presents a new scheme\nfor smart education, by utilizing the concept of blockchain, for question\nsharing. A two-phase encryption technique for encrypting question paper (QSP)\nis proposed. In the first phase, QSPs are encrypted using timestamp and in the\nsecond phase, previous encrypted QSPs are encrypted again using a timestamp,\nsalt hash and hashes from previous QSPs. These encrypted QSPs are stored in the\nblockchain along with a smart contract which helps the user to unlock the\nselected QSP. An algorithm is also proposed for selecting a QSP for the exam\nwhich picks a QSP randomly. Moreover, a timestamp based lock is imposed on the\nscheme so that no one can decrypt the QSP before the allowed time. Finally,\nsecurity is analyzed by proving different propositions and the superiority of\nthe proposed scheme over existing schemes is proven through a comparative study\nbased on the different features.\n
In the past year cryptocurrencies have gained a lot of attention because of the increase in price. This attention has increased the number of people trading and investing in different cryptocurrencies which has lead to an increased number of transactions flowing through the different networks. This has revealed scalability issues in some of them, especially in the most popular cryptocurrency, Bitcoin. Many people are working on solutions to this problem. One proposed solution replaces the blockchain with a DAG structure. In this report the scalability of Bitcoinâs protocol will be compared to the scalability of the protocol used in the newer cryptocurrency, Nano. The comparison is conducted in terms of throughput and latency. To perform this comparison, an experiment was conducted where tests were run with an increasing number of nodes and each test sent different number of transactions per second from every node. Our results show that Nanoâs protocol scales better regarding both throughput and latency, and we argue that the reason for this is that the Bitcoin protocol uses a blockchain as a global data-structure unlike Nano that uses a block-lattice structure where each node has their own local blockchain.
Broadbent Anne, Zhengfeng Ji, Song Fang, Watrous John
Prior work has established that all problems in NP admit classical zero-knowledge proof systems, and under reasonable hardness assumptions for quantum computations, these proof systems can be made secure against quantum attacks. We prove a result representing a further quantum generalization of this fact, which is that every problem in the complexity class QMA has a quantum zero-knowledge proof system. More specifically, assuming the existence of an unconditionally binding and quantum computationally concealing commitment scheme, we prove that every problem in the complexity class QMA has a quantum interactive proof system that is zero-knowledge with respect to efficient quantum computations. Our QMA proof system is sound against arbitrary quantum provers, but only requires an honest prover to perform polynomial-time quantum computations, provided that it holds a quantum witness for a given instance of the QMA problem under consideration. The proof system relies on a new variant of the QMA-complete local Hamiltonian problem in which the local terms are described by Clifford operations and standard basis measurements. We believe that the QMA-completeness of this problem may have other uses in quantum complexity.
Abstract. LowMC is a collection of block cipher families introduced at Eurocrypt 2015 by Albrecht et al. Its design is optimized for instanti-ations of multi-party computation, fully homomorphic encryption, and zero-knowledge proofs. A unique feature of LowMC is that its internal affine layers are chosen at random, and thus each block cipher family contains a huge number of instances. The Eurocrypt paper proposed two specific block cipher families of LowMC, having 80-bit and 128-bit keys. In this paper, we mount interpolation attacks (algebraic attacks intro-duced by Jakobsen and Knudsen) on LowMC, and show that a practically significant fraction of 2â38 of its 80-bit key instances could be broken 223 times faster than exhaustive search. Moreover, essentially all instances that are claimed to provide 128-bit security could be broken about 1000 times faster. In order to obtain these results, we had to develop novel techniques and optimize the original interpolation attack in new ways. While some of our new techniques exploit specific internal properties of LowMC, others are more generic and could be applied, in principle, to any block cipher.
There had been well known claims of unconditionally secure quantum protocols for bit commitment. However, we, and independently Mayers, showed that all proposed quantum bit commitment schemes are, in principle, insecure because the sender, Alice, can almost always cheat successfully by using an Einstein-Podolsky-Rosen (EPR) type of attack and delaying her measurements. One might wonder if secure quantum bit commitment protocols exist at all. We answer this question by showing that the same type of attack by Alice will, in principle, break any bit commitment scheme. The cheating strategy generally requires a quantum computer. We emphasize the generality of this ``no-go theorem'': Unconditionally secure bit commitment schemes based on quantum mechanics---fully quantum, classical or quantum but with measurements---are all ruled out by this result. Since bit commitment is a useful primitive for building up more sophisticated protocols such as zero-knowledge proofs, our results cast very serious doubt on the security of quantum cryptography in the so-called ``post-cold-war'' applications. We also show that ideal quantum coin tossing is impossible because of the EPR attack. This no-go theorem for ideal quantum coin tossing may help to shed some lights on the possibility of non-ideal protocols.