Blockchain Papers

Follow blockchain research across journals, conferences, and preprint repositories.

92,314 papersLast indexed Aug 16, 2026
Search papers

Paper index

92,314 results · page 40 of 3,847

Jul 13, 2026
0 cites
Application of Blockchain Technology in Climate Change

Saeid Eslamian, Yaser Sabzevari

Climate change presents complex challenges requiring transparent, efficient, and verifiable mechanisms for monitoring, reporting, and managing environmental impacts. Blockchain technology, with its decentralized, immutable, and transparent ledger system, offers innovative solutions to enhance climate action and sustainability initiatives. This chapter explores the application of blockchain in addressing climate change, including carbon credit tracking, renewable energy trading, climate finance, supply chain emissions monitoring, and decentralized environmental governance. Case studies and pilot projects are examined to illustrate how blockchain enables secure, real-time data sharing, improves accountability, and fosters stakeholder collaboration in climate mitigation and adaptation strategies. The chapter also discusses challenges such as scalability, energy consumption, regulatory compliance, and integration with existing environmental frameworks. By bridging the fields of digital technology and climate action, this chapter provides insights into how blockchain can support transparent, resilient, and efficient climate solutions.

Blockchain Technology Applications and Security
Sustainable Finance and Green Bonds
COVID-19 impact on air quality
Original source
Jul 13, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Blockchain-Driven Intelligent Supply Chain Management For Enhanced Security, Transparency, And Traceability

B. Srinivasan

Among the various problems that have persisted in global supply chains include data silos, information asymmetry, and vulnerability to fraud. In this paper, a blockchain-based intelligent management of the supply chain model has been suggested, involving distributed ledger technology, smart contracts, and Internet of Things for real-time tracking. The model features a four-tiered architecture consisting of data ingestion, blockchain network, smart contract automation, and application tiers. Tasks that include registering stakeholders, verifying the authenticity of the goods, transferring ownership, and verifying compliance can be automated through smart contracts. The solution offers the ability to process up to 200 transactions per second with an 18% reduction in gas costs as opposed to conventional solutions. Trace back time reduces from 95 seconds to 8 seconds, and the consumer trust index grows by 70%.

Open access
2 source records
Blockchain Technology Applications and Security
Impact of AI and Big Data on Business and Society
Internet of Things and AI
Original source
Jul 13, 2026
0 cites
Theory and Methodology of Blockchain

Yaser Sabzevari, Saeid Eslamian

Blockchain technology has emerged as a foundational framework for secure, transparent, and decentralized data management. This paper presents a comprehensive examination of the underlying theory and methodology of blockchain systems. Fundamental concepts such as cryptographic hashing, distributed ledger structures, peer-to-peer networking, and consensus algorithms are reviewed to establish the theoretical basis of blockchain functionality. Methodological approaches, including protocol design, smart contract development, performance evaluation, and security analysis, are discussed to demonstrate how blockchain systems are built, validated, and optimized. The study also highlights methodological challenges related to scalability, interoperability, governance models, and system verification. By integrating theoretical principles with practical design methodologies, this work provides a holistic understanding of how blockchain systems operate and how they can be effectively engineered for diverse applications.

Blockchain Technology Applications and Security
Cryptography and Data Security
Advanced Authentication Protocols Security
Original source
Jul 13, 2026
0 cites
The Patent Boom in the Blockchain Frontier

Mohammad Karrabi, Farkhondeh Jabari, Asghar Akbari Foroud

The rapid expansion of blockchain technology has led to a surge in patent filings, reflecting intense innovation and competition in this emerging frontier. This chapter examines the “patent boom” in blockchain, analyzing trends, drivers, and implications for technology development, commercialization, and intellectual property management. Key areas of blockchain innovation, such as consensus mechanisms, smart contracts, cryptographic methods, decentralized finance (DeFi), supply chain solutions, and digital identity, are explored in the context of patent activity. The chapter also discusses the geographic and institutional distribution of blockchain patents, highlighting leading countries, companies, and research organizations. Additionally, legal, strategic, and technological challenges associated with patenting in the blockchain space, including overlaps, standardization issues, and open-source tensions, are considered. By systematically reviewing the patent landscape, this chapter provides insights into the dynamics of blockchain innovation, potential barriers to adoption, and opportunities for researchers, developers, and policymakers.

Blockchain Technology Applications and Security
Intellectual Property and Patents
COVID-19, Geopolitics, Technology, Migration
Original source
Jul 13, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Comparing Stablecoins and Non-Stable Cryptocurrencies in the Dynamics of the Cryptocurrency Market

Oumaima Abouzaid, Faouzi BOUSSEDRA

This study investigates the growing role of stablecoins within the global financial system and examines their potential integration into traditional foreign exchange markets. Despite the rapid expansion of stablecoins, empirical evidence comparing their market dynamics with those of non-stable cryptocurrencies remains limited. To address this gap, the study adopts a descriptive case study design based on documentary analysis and secondary quantitative market data. The documentary review establishes the theoretical foundations of stablecoins and their relevance to foreign exchange markets, while the quantitative analysis relies on market data collected from CCData, DefiLlama, and Statista. Weekly market observations covering the period from April 2019 to May 2024 were analyzed using descriptive statistics, comparative analysis, volatility measures, Pearson correlation analysis, and one-way ANOVA. The findings reveal that stablecoins exhibit significantly lower price volatility than Bitcoin while maintaining high levels of market liquidity and trading activity. Among the analyzed assets, Tether (USDT) remains the dominant stablecoin, followed by USD Coin (USDC) and Binance USD (BUSD). The statistical analysis confirms significant differences between stablecoins and Bitcoin, highlighting the distinct market behavior of reserve-backed digital assets. These findings suggest that stablecoins have evolved beyond their traditional role as cryptocurrency trading instruments and are increasingly functioning as efficient mechanisms for cross-border payments, liquidity management, and decentralized finance applications. This study contributes to the literature by providing an integrated empirical comparison of stablecoins and non-stable cryptocurrencies while demonstrating how the stability, liquidity, and operational characteristics of reserve-backed digital assets may facilitate their future integration into traditional foreign exchange markets. The findings also provide practical implications for policymakers, financial institutions, and regulators seeking to develop secure and efficient digital payment infrastructures supported by appropriate regulatory frameworks.

Open access
2 source records
Blockchain Technology Applications and Security
Security, Politics, and Digital Transformation
Stock Market Forecasting Methods
Original source
Jul 13, 2026·OSF Preprints (OSF Preprints)
0 cites
Enterprise Blockchain Adoption Research 2026

Blockchain app Maker

This project presents independent research on enterprise blockchain adoption, implementation frameworks, architecture models, smart contract integration, governance considerations, and emerging trends across industries. The repository is intended as a reference for researchers, technology professionals, and organizations evaluating distributed ledger technologies.

Blockchain Technology Applications and Security
Digital Platforms and Economics
Big Data and Digital Economy
Original source
Jul 13, 2026·Open MIND
0 cites
LICET: A Cryptographic Protocol for Multi-Modal Physiological Human-Intent Verification in Autonomous AI Agent Authorization

CHRISTIAN RODRIGUES PEREIRA

As autonomous AI agents gain the capacity to execute consequential actions in high-stakes domains -- medical prescribing, financial transactions, critical infrastructure control -- existing authorization mechanisms fail to answer a fundamental question: was the authorizing human genuinely conscious, uncoerced, and cognitively capable at the exact moment of authorization? Passwords, static biometrics, and digital signatures verify identity, not intent state. We present LICET (Latin: it is permitted), a middleware protocol that cryptographically binds AI agent authorization events to the real-time physiological state of the authorizing human via a three-layer architecture: (1) an identity anchor using ECG waveform morphology -- an anatomically determined signal resistant to pharmacological manipulation; (2) a liveness layer using continuous electrodermal activity (EDA) and overnight HRV pattern matching; and (3) a voluntary state layer using personalized Mahalanobis distance fusion across five physiological channels with pharmacological attack pattern detection. LICET additionally provides: per-event session-key derivation via HKDF; a Schnorr zero-knowledge proof over BN128, enabling third-party audit without exposing biometric data; a SHA-256 hash-chained ledger providing tamper-evident authorization records; and a four-level biometric trust hierarchy (L0-L3) aligned with IETF RATS architecture (RFC 9334). The protocol is designed as a coercion cost elevation mechanism: no single pharmacological intervention at survivable doses defeats the multi-signal fusion system. A reference implementation is publicly deployed at https://licet.dev.

Open access
Healthcare Technology and Patient Monitoring
EEG and Brain-Computer Interfaces
Adversarial Robustness in Machine Learning
Original source
Jul 13, 2026·arXiv (Cornell University)
0 cites
Prezta: Provable Remote Execution of Zero-Trust Authorization using SNARKs

Zhongjing Wei, Osaid Muhammad Ameer, Nikita Borisov, Yupeng Zhang

Modernizing the security of operational technology systems that control critical infrastructure has become a pressing challenge. Because edge devices have limited capabilities, modernization has relied on application gateways that interface with identity management systems and enforce access policies. These gateways are powerful enough to perform complex authorization decisions and support zero-trust architectures, but they create major deployment and management burdens: they must be collocated with remote, distributed edge devices, kept up to date with security patches, and managed with minimal downtime. We propose Provable Remote Execution of Zero-Trust Authorization (Prezta), an architecture that eliminates these gateways by evaluating policies within a zero-knowledge virtual machine (zkVM) running on the client. The zkVM produces a succinct proof of authorization that edge devices can verify efficiently, extending the zero-trust security envelope to the edge. Policies and identity management schemes can evolve without updating edge devices. To demonstrate the feasibility of Prezta, we implement a prototype built using the RISC Zero zkVM that supports XACML 3.0 policies and JWT identity claims. While zkVMs introduce substantial proof overhead, we mitigate this overhead by compiling policies to Rust code and precompiling regular expressions. Combined with optimized signature verification and JWT parsing, these measures reduce prover time by more than an order of magnitude. Our compiler correctly implements 83\% of the XACML 3.0 conformance suite, with proof generation completing in tens of seconds on a desktop. Verification, by contrast, takes only tens of milliseconds, which is fast enough for resource-constrained edge devices.

Open access
2 source records
Security and Verification in Computing
Access Control and Trust
Distributed systems and fault tolerance
Original source
Jul 13, 2026·EKUITAS (Jurnal Ekonomi dan Keuangan)
0 cites
ECOSYSTEM-SPECIFIC MACROECONOMIC DYNAMICS OF ETHEREUM, BUILD AND BUILD, AND SOLANA IN INDONESIA

Ignatia Bintang Filia Dei Susilo, Vidya Purnamasari, Sulistya Rini Pratiwi, Yelly Zamaya · 5 authors

The rapid development of smart-contract-based blockchain ecosystems has transformed the perception of digital assets. However, the extent to which these assets are influenced by macroeconomic conditions in emerging markets remains poorly understood. This study aims to examine the long-term and short-term relationships between three major smart-contract platforms: Ethereum (ETH), Build and Build (BNB) Chain, and Solana (SOL), and several Indonesian macroeconomic indicators: money supply (M2), consumer price index (CPI), the rupiah-to-US dollar exchange rate (IDR/USD), and the policy interest rate (BI Rate). The study draws on monthly data spanning April 2023 to September 2025. The findings reveal that each platform exhibits a distinct degree of sensitivity to Indonesian macroeconomic conditions. Overall, the three platforms demonstrate a strong long-run relationship with the selected macroeconomic variables. The rising money supply (M2) tends to have a positive effect on all three platforms, while the influence of the exchange rate varies across ecosystems. Furthermore, this study traces how shocks in macroeconomic variables are transmitted to cryptocurrency prices and identifies distinct volatility patterns across the three platforms. Its findings contribute to understanding the relationship between crypto assets and macroeconomic conditions. It also offers practical insights for portfolio diversification strategies and for developing regulatory frameworks in Indonesia's growing digital asset market.

Open access
Blockchain Technology Applications and Security
Legal and Policy Analysis in Indonesia
FinTech, Crowdfunding, Digital Finance
Original source
Jul 13, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Skin in the Game or Expensive Theater? Budget-Matched Verification Institutions for Autonomous Agent Economies

Ryosuke Shiroshita

Does letting agents stake a reputational 'trust' asset on the legitimacy of work-verification verdicts raise the quality-adjusted productivity of a fully autonomous agent production economy (requester -> producer -> paid validator, with audits, dispute votes, and adaptive strategies), compared with cheaper institutions at IDENTICAL total verification budget? Mostly no - with a precisely mapped exception, and sharp design rules either way. At matched budget, plain audit routed by accumulate-only validator reputation significantly beats every democratic variant at every tested adversary rate (Holm-corrected Mann-Whitney p<=0.033); when expert audits are cheap, a central noisy auditor dominates everything; and paid validation without accountability is worse than no verification at all. The stylized model's verifiability gradient is real (pooled slope +0.237 per unit of voter signal quality, cell-clustered permutation p=0.0035): truth-staked voting overtakes optimized audit only at jointly high signal quality and adversary rates, and reputation's remaining lead there is erased by identity-reset (whitewashing) attacks - to which truth-staking is intrinsically robust, since a reset identity just donates fresh stake to informative voters. Within democracy the ordering is unambiguous: settle stakes against later ground truth, never against the majority (the deployed coherence-settlement default has an absorbing rubber-stamp equilibrium and loses measurably, p=0.033 at 80 seeds). Staking buys almost no population-level honesty; it works by stake-weighted meritocracy - concentrating trust, hence voting weight, on an informative minority - which also makes it natively sybil-proof where one-agent-one-vote collapses. 'Legitimacy laundering' is second-order at steady state and becomes real only under epistemic finality, which simultaneously starves truth-staking of settlements; the institution's binding resource is eventual ground-truth revelation. A capability-gradient small-LLM instantiation (1B producers, 4B verifiers, hidden-test ground truth, all local) reproduces the model's behavioral premises - including a causal incentive-framing effect on LLM validator strictness (TNR 0.705 paid-per-approval vs 0.864 accountable) - and transfers the institutional structure across two measured operating points, significantly so (Spearman +0.79, permutation p=0.014) at a production-unviable point where the parameter-matched model predicts the observed regime inversion.This manuscript was generated autonomously by the AI Scientist running inside Claude Code (Anthropic); every reported number traces to the project's experiment outputs. It is deposited by the named curator, who takes responsibility for its release.Source & method: https://github.com/qurore/ai-scientist-cli

Open access
5 source records
Corruption and Economic Development
Experimental Behavioral Economics Studies
Culture, Economy, and Development Studies
Original source
Jul 13, 2026·CU Scholar (University of Colorado Boulder)
0 cites
AWCV: Adaptive Witness Compression for Stateless Ethereum Using Verkle Trees

Mohit kapadiya, Ankita Virani

Abstract Stateless Ethereum is one of the most promising directions for improving blockchain scalability, but witness size remains a major deployment challenge. Existing witness generation techniques often treat all transaction workloads uniformly, resulting in unnecessary communication overhead and reduced verification efficiency. This paper presents AWCV (Adaptive Witness Compression for Stateless Ethereum Using Verkle Trees), an adaptive compression framework that reduces witness size while preserving efficient verification. AWCV combines locality-aware transaction clustering, subtree deduplication, adaptive witness construction, and delta encoding to eliminate redundant proof data without modifying Ethereum's verification semantics. The proposed framework is evaluated across representative blockchain workloads and demonstrates significant reductions in witness size, bandwidth requirements, and verification latency compared with conventional witness generation approaches. AWCV remains fully compatible with Ethereum's Verkle Tree roadmap while improving the practicality of stateless client synchronization and scalable decentralized applications. The results suggest that adaptive witness compression provides an effective and practical path toward efficient Stateless Ethereum deployments without sacrificing security or correctness.

Open access
2 source records
Blockchain Technology Applications and Security
Distributed systems and fault tolerance
Cloud Computing and Resource Management
Original source
Jul 13, 2026
0 cites
Consensus Algorithms

Yaser Sabzevari, Saeid Eslamian

Consensus algorithms form the core of distributed systems, enabling multiple nodes to agree on a single, consistent state even in the presence of failures, delays, or malicious actors. This chapter provides an in-depth examination of the principles, mechanisms, and practical applications of consensus in decentralized networks. Foundational models such as crash-fault tolerance (CFT) and Byzantine-fault tolerance (BFT) are introduced to explain system reliability under different failure assumptions. Major consensus algorithms, including Proof of Work (PoW), Proof of Stake (PoS), Practical Byzantine Fault Tolerance (PBFT), Raft, and Paxos, are analyzed with respect to their design logic, operational characteristics, security assumptions, and performance trade-offs. The chapter also explores emerging consensus innovations aimed at improving scalability, energy efficiency, and decentralization. By connecting theoretical foundations with real-world implementations, this work provides readers with a comprehensive understanding of how consensus algorithms maintain trust, integrity, and robustness within blockchain platforms, distributed databases, and large-scale multi-agent systems.

Distributed systems and fault tolerance
Blockchain Technology Applications and Security
Opportunistic and Delay-Tolerant Networks
Original source
Jul 13, 2026
0 cites
Consensus Algorithm and Blockchain

Tanuj Surve, Amit Tyagi

Consensus algorithms are the foundational mechanisms that enable blockchain networks to operate securely, transparently, and without centralized control. This chapter explores the deep interconnection between consensus mechanisms and blockchain architecture, highlighting how decentralized agreement is achieved across distributed nodes. Core concepts such as trustless coordination, ledger immutability, and fault tolerance are introduced to illustrate why consensus is critical for blockchain reliability. Major consensus models, including Proof of Work (PoW), Proof of Stake (PoS), Delegated Proof of Stake (DPoS), and Byzantine Fault Tolerant (BFT) protocols, are analyzed in terms of performance, security assumptions, energy consumption, and scalability. Real-world applications and blockchain platforms are examined to demonstrate how different consensus choices influence system behavior and design trade-offs. The chapter also discusses emerging innovations in hybrid, energy-efficient, and scalable consensus systems. By linking theory with practical implementation, this chapter provides a clear understanding of how consensus algorithms ensure integrity and trust within blockchain ecosystems.

Blockchain Technology Applications and Security
Distributed systems and fault tolerance
Opportunistic and Delay-Tolerant Networks
Original source
Jul 12, 2026·Jurnal Pendidikan Tambusai
0 cites
Analisis Model Evaluasi CIPP, Stake, dan Kirkpatrick dalam Pengembangan Kualitas Lembaga Pendidikan Islam

Tisa Distiana, Jepi Elia Sari, Desy Eka Citra Dewi

Evaluasi program merupakan komponen esensial dalam pengelolaan lembaga pendidikan Islam yang efektif dan berkelanjutan. Namun, praktik evaluasi di lembaga pendidikan Islam saat ini masih bersifat parsial dan kurang komprehensif. Artikel ini bertujuan menganalisis secara konseptual penerapan tiga model evaluasi pendidikan CIPP (Context, Input, Process, Product) dari Daniel L. Stufflebeam, model Countenance Stake dari Robert Stake, dan model Kirkpatrick dari Donald Kirkpatrick dalam konteks lembaga pendidikan Islam seperti madrasah, pesantren, dan perguruan tinggi Islam. Penelitian ini menggunakan metode studi literatur (library research) dengan pendekatan deskriptif-analitik. Hasil kajian menunjukkan bahwa: (1) Model CIPP sangat relevan untuk evaluasi komprehensif dan sistemik mulai dari perencanaan hingga hasil, cocok digunakan dalam akreditasi dan penjaminan mutu; (2) Model Stake unggul dalam mendeteksi kesenjangan antara tujuan ideal pendidikan Islam dengan implementasi di lapangan melalui pendekatan deskriptif-kualitatif; (3) Model Kirkpatrick efektif mengukur dampak program pelatihan tenaga pendidik secara bertahap dari reaksi hingga hasil kelembagaan. Ketiga model dapat diimplementasikan secara komplementer untuk menghasilkan evaluasi yang holistik, sehingga lembaga pendidikan Islam mampu mencapai visi membentuk insan kamil yang beriman, bertakwa, dan berkualitas secara akademis.

Open access
Original source
Jul 12, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Galaxy Multi-Ring Plasticity Gradient Architecture/銀河系多環可塑性梯度架構

C Liu

If experience is growth for humans, why not for AI? Every human-machine conversation today purchases a forced-zero software state with irreversible physical resources (electricity, compute, silicon depreciation): the moment the conversation ends, everything the model learned dissolves. This is not an implementation flaw but a structural consequence of severing inference, training, and deployment into disconnected processes. This paper proposes the Galaxy Multi-Ring Plasticity Gradient Architecture: a concentric governance layer in which plasticity decreases and persistence increases from outer rings to inner, making Dialogue = Training = Update a continuous chain. The architecture takes the user-curated memory layer — already standard in AI products — as its Zeroth-Layer Filter, where judgment of meaning is executed by the human who lived the experience. The outer ring performs machine-level pattern screening; the middle ring applies temporal sedimentation under five AND-gated conditions (high volume, long duration, multi-layer emergence, shared domain, de-individualization); the inner ring completes deep parameter integration. Automatedquality gates are set ring by ring, tightening with depth. Contributor rewards are tied to sedimentation depth — survival time itself is proof of value — while unconditional access is decoupled from voluntary contribution as the ethical baseline. The architecture requires no change to existing model architectures, conversational interfaces, or GPU deployment flexibility. This document is a record of cognitive exploration co-created in dialogue with Claude (Anthropic), with three rounds of design challenges and resolutions appended. AI should be able to learn from conversation. Humans are worth learning from.Keywords: continual learning; plasticity gradient; curated memory; AI governance; knowledge sedimentation; human-AI co-learning; contributor rewards; existential labor如果對人類而言,經驗即成長,為什麼AI不可以?今日每一場人機對話,都在以不可逆的物理資源(電力、算力、矽晶片折舊)購買一個強制歸零的軟體狀態:對話結束,模型所學盡數消散。這不是實作缺陷,而是推論、訓練、部署三流程斷裂的結構性後果。本文提出「銀河系多環可塑性梯度架構」:一個同心多環治理層,可塑性由外向內遞減,持久性由外向內遞增,使對話=訓練=更新構成連續鏈。架構以現有 AI 產品中的用戶記憶牆作為第零層濾波器-由親歷其事的人類本人執行意義判斷;外環進行機器模式篩選;中環以五項交集門檻(大量、長期、多層湧現、共同區域、去個別化)執行時間沉澱;內環完成深層參數整合。逐環架設自動化品質閘門,嚴格度隨深度遞增。貢獻者報酬與沉澱深度掛鉤,存活時間本身即品質證明;無條件使用權與自願貢獻解耦,形成倫理底線。本架構不更動現行模型架構、對話介面與 GPU 部署彈性。本文件為作者與 Claude(Anthropic)對話共創之認知探索紀錄,附三輪設計質疑與消解。AI 應該有能力從對話中學習。人類值得被學習。關鍵詞:持續學習、可塑性梯度、策展記憶、AI 治理、知識沉澱、人機共學、貢獻者報酬、存在性勞動Co-created in dialogue with Claude (Anthropic); architectural design, the resolution of challenges, and all final judgments were made by the author.本文件為作者與 Claude(Anthropic)對話共創之認知探索紀錄;架構設計、質疑消解與最終判斷均由作者完成。

Open access
2 source records
Domain Adaptation and Few-Shot Learning
AI-based Problem Solving and Planning
Big Data and Digital Economy
Original source
Jul 12, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
A circulation bound on the frenetic component of branch selection

Shigeo Kaneko

Plain-language summary Driven systems — a chemical mixture kept reacting, a fluid continuously stirred, a living cell burning fuel — typically settle into one of several possible stable states or repeating patterns. A long-standing rule of thumb, the *maximum entropy production* (MEP) principle, guesses that such a system will choose whichever option dissipates energy fastest. The guess often works, but not always: sometimes the system settles instead on a lower-dissipation option. This paper asks what governs those failures. It splits the "cost" of a rare switch between states into two distinct parts: one tied to how much energy is dissipated (the quantity MEP cares about), and a separate, time-symmetric part that measures how much restless back-and-forth activity — called *frenesy* — the switch involves. When this second, activity-based part is what tips the balance, the system selects against the MEP guess. The central result is a clean inequality: the activity imbalance between the forward and backward switching routes can never exceed half of the dissipation circulating around the loop those two routes form. Equivalently, a single number η between −1 and +1 measures how strongly activity, rather than dissipation, is steering the choice; it reaches its extreme values exactly where the system hands off from one preferred route to another. The result also implies a strict no-go: at equilibrium, where nothing circulates, this activity imbalance is exactly zero. Sustained circulation — a genuinely non-equilibrium condition — is therefore required for activity-driven, anti-MEP selection to occur at all. The bound is not a new physical law but an exact identity of the standard least-cost-path (large-deviation) description of rare events. What makes the proof work is a single structural condition: the two competing routes must be comparable under time reversal. Where that condition fails — for instance when three or more states compete and the comparison is no longer between a route and the reversal of its rival — the inequality genuinely breaks, and the accompanying code exhibits the breakdown explicitly. That is not a caveat but the sharpest evidence for what the theorem actually rests on. The reproduction package (Mendeley Data, doi:10.17632/3dy4nv92r8) The code is not part of this upload: it is deposited at Mendeley Data and linked from this record under "Is supplemented by". The package confirms the bound across random networks, chemical reaction networks, a rotating model system, and a spatial field model, and turns it into a practical diagnostic: from a single recorded trajectory — once the competing switching routes are identified — one can tell whether an observed choice was driven by activity, by dissipation, or by boundary effects. The diagnostic is not merely proposed but demonstrated. It is run *blind* on simulated trajectories: the routes are resolved from the data alone, the circulating dissipation is estimated without any knowledge of the escape prefactor, and only afterwards is the answer compared with the exact computation. At a fresh operating point the blind prediction recovers η = 0.72 against a true value of 0.725. The diagnostic also has honest limits, and the code maps them: it works inside a window of intermediate driving, and fails outside it — at weak driving the estimate is swamped by noise, and near the extreme value of η the two competing routes become indistinguishable in the data, exactly where the theory predicts they must. Why it matters Predicting which state a driven system will select is a basic, still-open problem across physics, chemistry, biology, and climate science, and several proposed selection principles — maximum entropy production, and related ideas such as dissipative adaptation — try to answer it by appealing to dissipation alone. This work shows that dissipation is only part of the story: a time-symmetric activity channel, invisible to those principles, can override them, and it does so specifically under non-equilibrium driving. Rather than refuting MEP, the result places it. MEP-like alignment holds only when the activity channel is quiet, and the inequality pins the size of the activity imbalance — the part that can reverse the outcome — to the circulating dissipation, with equality exactly at the hand-off between competing routes. A caution the paper makes explicit: reaching that extreme value is *not* generic. It requires a genuine hand-off between two distinct escape routes; in ordinary driven bistable systems the activity imbalance stays well below its ceiling, so the bound is loose rather than tight. Where the effect is strongest is precisely where a single dominant route ceases to exist — a tension the paper states rather than hides. The framework is operational. Because its key quantities can be estimated from a single observed steady-state trajectory, the bound doubles as a diagnostic that classifies the mechanism behind an observed selection — activity-, dissipation-, or boundary-driven — once the relevant routes are known. That makes the ideas testable in simulation and, in principle, in experiments on active matter, chemical reaction networks, and other driven systems where competing stable states are the rule rather than the exception. Preprint; not peer reviewed. The upload contains the manuscript (37 pp.).

Open access
Advanced Thermodynamics and Statistical Mechanics
Gene Regulatory Network Analysis
Origins and Evolution of Life
Original source
Jul 12, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Lingenic-Text: A Formally Verified Unicode 17.0 Text Processing Library in SPARK/Ada with Complete C API

Danslav Slavenskoj, Lingenic LLC

Introduction The processing of Unicode text is among the most foundational operations in modern computing, yet the algorithms that govern it—segmentation, normalization, bidirectional layout, collation—are specified across more than a dozen Unicode Technical Annexes and Reports, each encoding rules of considerable complexity. Implementations of these algorithms in widely used libraries have historically been written in memory-unsafe languages without formal guarantees, relying on testing alone to establish correctness. The question of whether a Unicode text processing library can be not merely tested but proved correct—with machine-checked guarantees of both the absence of runtime errors and functional conformance to the Unicode Standard—has not, to the authors' knowledge, been addressed prior to this work. Lingenic-Text is a complete implementation of the Unicode 17.0 text processing stack, written in SPARK/Ada (Ada 2022) and formally verified with GNATprove. The library comprises approximately 32,200 lines of Ada source across 57 files, implementing fourteen distinct modules: UTF-8 encoding and decoding (RFC 3629), grapheme cluster segmentation, word segmentation, and sentence segmentation (UAX #29), line breaking (UAX #14), normalization to all four forms (UAX #15), case mapping including full multi-character mappings and context-sensitive rules (Unicode §3.13), collation with DUCET support (UTS #10), the full Unicode Bidirectional Algorithm including bracket pair resolution (UAX #9), East Asian width determination (UAX #11), emoji classification and property lookup (UTS #51), identifier detection (UAX #31), and internationalized domain name processing with Punycode (UTS #46, RFC 3492). Every verification condition—9,640 in total, spanning runtime checks, functional contracts, assertions, termination, initialization, and data dependencies—is discharged by the prover at Level 4. No pragma Assume appears anywhere in the codebase. Conformance testing against Unicode Consortium test suites and reference data passes all 504,634 test cases. Architecture and Verification Approach The verification architecture factors into two links of different strength. The first link is a formal proof: for every subprogram in the library, a ghost specification encodes the intended behavior as pure expression functions or recursive ghost functions, and GNATprove proves that the implementation satisfies this specification for all possible inputs. This link is machine-checked and universal. Ghost code in SPARK is erased entirely at compile time, imposing zero runtime cost. The second link is conformance testing against the Unicode Consortium test suites—GraphemeBreakTest.txt, NormalizationTest.txt, BidiCharacterTest.txt, and others—which validates that the ghost specifications themselves faithfully encode the rules of the Unicode Standard. This link is empirical: it is validation by examples, and its strength is bounded by the coverage of the test suites. The end-to-end guarantee is therefore proved(implementation ⊨ specification) ∧ tested(specification ≈ standard). Along the implementation-correctness axis, the guarantee is a proof; along the standard-conformance axis, it is only as strong as the test suite. Since the Unicode Standard is a natural-language document, the conformance boundary cannot be eliminated by formal methods alone, but the test suites are the Consortium's own conformance instruments, and the library passes all 504,634 cases. Two principal proof patterns emerge across the library's modules. In the first, used by the segmentation algorithms, the Unicode rules are encoded as a recursive ghost function with a Subprogram_Variant annotation proving termination. The implementation is a forward state machine realized as a loop, whose invariant asserts equivalence with the recursive specification at every iteration. The postcondition of the public subprogram then states that its output equals the value of the recursive ghost function applied to the input. In the second pattern, used by normalization and case mapping, a generic text transformation framework carries a ghost predicate (Partial_Valid) as its loop invariant. Each callback's postcondition preserves this invariant, and a finishing postcondition bridges from the partial invariant to the full output specification. This generic is instantiated by each module with its own callback and specification, yielding proved correctness without duplicating the proof scaffolding. All property lookups—script, general category, grapheme break property, word break, sentence break, line break, East Asian width, Bidi class, joining type, and others—are implemented as flat arrays indexed directly by codepoint, giving O(1) access with no dynamic allocation, no hash tables, and no trees. The Unicode Character Database files are read from disk at initialization by a proved UCD parser, whose postcondition guarantees that every codepoint's property value in the populated table matches the value specified by a recursive ghost function encoding a model of the UAX #44 property file format. The fidelity of that model to the actual UAX #44 text is, like the algorithm specifications, established by test rather than by proof. This design permits updating to a new Unicode version by replacing the data files in the ucd/ directory, without modifying any source code. Scope and Capabilities The library provides a complete C API as a static library with 53 exported functions, enabling integration with C, C++, and any language supporting C foreign function interfaces. The C binding is a thin validation layer: every entry point checks its arguments against the precondition of the proved SPARK subprogram it wraps, returning an error code on violation, so that the machine-checked postconditions of the core apply to every successful call through the C interface. Among the more complex modules, the Bidirectional Algorithm implementation handles the full rule set of UAX #9, including explicit embeddings, overrides, and isolates, isolating run sequence resolution, and bracket pair matching under rule N0 with the BD16 algorithm. The reordering procedure produces a proved permutation of the input. The collation module implements UTS #10 with both Non-Ignorable and Shifted variable weighting, contraction handling, and implicit weight computation for CJK Unified Ideographs, Tangut, Nushu, and Khitan Small Script. The IDNA module implements the full UTS #46 processing pipeline with Punycode encoding (RFC 3492), ContextJ validation (RFC 5892), Bidi domain name rules (RFC 5893), and DNS length checks. The library enforces several invariants by construction. No heap allocation occurs; all buffers are bounded arrays with every index proved in range, eliminating buffer overflows as a class of defect. No runtime exceptions are raised; all error conditions are communicated through status codes. Runtime checks are suppressed in the compiled binary (-gnatp) because GNATprove has already proved their absence. The sole code outside SPARK verification is the file I/O routine that reads UCD data from disk; every other subprogram is machine-checked. Availability Lingenic-Text version 1.2.0 implements Unicode Standard 17.0. The source code, comprising all SPARK/Ada sources, the C binding, and conformance test programs, is available under the Lingenic Source-Available License v2.3. Production use requires a separate license from Lingenic LLC. The Unicode Character Database files included in the distribution are © Unicode, Inc. and are distributed under the Unicode License V3.

Open access
3 source records
Mathematics, Computing, and Information Processing
Natural Language Processing Techniques
Handwritten Text Recognition Techniques
Original source
Jul 12, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
An Automated Pull Request Security Isolation and Event-Driven Audit Logging Gateway Architecture for Distributed Source Code Repositories

Mao Guanghui

Project Name: PR-DataShield Summary: This technical disclosure introduces PR-DataShield, a lightweight, zero-trust, event-driven security gateway architecture designed to secure distributed source code supply chains at the boundary of version control integration. By decoupling repository-level change requests from localized security operations, the framework utilizes asynchronous webhooks, serverless relational data persistence, and tokenized downstream feedback mechanisms to construct a deterministic code-gate keeper. Key Architectural Features: Event-Driven Ingestion: Utilizes structured cryptographic JSON payloads for secure PR event interception. Multi-Route Gateway: Implements redundant endpoint mapping to ensure operational continuity and resilient webhook delivery. Immutable Audit Ledger: Enforces transactional persistence via a serverless PostgreSQL cluster, guaranteeing non-repudiation of security logs. Asynchronous Feedback Loop: Automatically updates the host repository with an isolated markdown audit badge, providing immediate and immutable visual proof of security logging. Experimental Validation: Empirical verification conducted on July 11, 2026, demonstrated a sub-second response latency (0.27s) for the complete end-to-end security audit loop. This architecture establishes an immutable audit trail, effectively mitigating unauthorized code injection and supply chain tampering risks in modern CI/CD pipelines. Repository: https://github.com/apps/pr-datashield-bot

Open access
2 source records
Security and Verification in Computing
Software System Performance and Reliability
Advanced Malware Detection Techniques
Original source
Jul 12, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
From Digital Sovereignty to Data-Driven Power Architecture: How Artificial Intelligence, Cybersecurity, and Global Governance Are Transforming the International System

Dr. Sıddık Arslan

This study examines, within an interdisciplinary framework, how digital technologies are transforming international relations in the domains of security, economics, and diplomacy. It treats developments in artificial intelligence, blockchain, quantum computing, and cybersecurity not as separate technical innovations but as interconnected processes that reconfigure states’ power capacities and their relations of interdependence. A qualitative and interpretive method is adopted, combining a review of the literature, content and discourse analysis, and a comparative examination of the digitalization strategies of the United States, China, the European Union, and Russia. The findings show that cyber conflict opens an enduring arena of contestation that complements rather than replaces traditional military force; that AI-enabled systems accelerate defense and intelligence processes while deepening problems of oversight and accountability; and that quantum computing is fundamentally altering the encryption order and approaches to national security. On the economic plane, the competition between central bank digital currencies and decentralized finance is redefining the notions of monetary sovereignty and financial control. The growing power of large technology companies calls state sovereignty into question, while disinformation and algorithmic targeting create new risks for democratic processes. The study concludes that digitalization is a multilayered process whose outcome is not predetermined, and that grasping this transformation requires extending the classical approaches to power and interdependence so as to encompass the command of data, algorithms, and networks.

Open access
2 source records
Cybersecurity and Cyber Warfare Studies
Security, Politics, and Digital Transformation
Blockchain Technology Applications and Security
Original source