Blockchain Papers

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

8,484 papersLast indexed Aug 16, 2026
Search papers

Paper index

8,484 results · page 39 of 354

Clear filters
Mar 6, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Inference Receipts: Lightweight Cryptographic Commitment Chains for Auditable Generative AI

Noah Erlwein

We introduce inference receipts—lightweight cryptographic commitment records generated during generative AI inference that bind model identity, sampling configuration, and output tokens into a tamper-evident artifact. Unlike zero-knowledge proof systems or trusted execution environments, inference receipts operate under an honest-emitter trust model analogous to Certificate Transparency: the emitter commits faithfully, and any deviation is detectable by third-party auditors. This design occupies a distinct point on the cost–trust Pareto frontier—negligible overhead and no specialized hardware, at the cost of weaker guarantees than cryptographic proofs. We formalize three security properties (receipt binding, tamper detection, chain integrity) via game-based reductions to standard cryptographic assumptions (collision resistance, second-preimage resistance). We describe receipt granularity levels (per-session, per-forward-pass, and per-token), a four-phase orchestration pattern (PLAN, SENSE, DECIDE, PROVE) for bounded AI autonomy, and an oracle mode for opaque cloud models. Ten experiments spanning four model families (1.5B–72B parameters), three quantization levels, three cloud APIs, and three receipt granularity levels on consumer-grade hardware demonstrate: overhead below 0.006% of inference time even at per-token granularity with top-k logit hashing (decreasing to below 0.001% at 72B scale); O(1) amortized chain emission sustained to 10⁶ receipts at 168,860 receipts/sec; 100% tamper detection across 1,200 attempts with zero false positives; perfect within-quantization deterministic replay; and 96% claim recall with 100% chain integrity across 15 multi-step PLAN/SENSE/DECIDE/PROVE workflows, with an honest assessment of gate limitations at 7B model scale. All data, scripts, and a standalone verifier are provided as ancillary files.

Open access
Adversarial Robustness in Machine Learning
Security and Verification in Computing
Physical Unclonable Functions (PUFs) and Hardware Security
Original source
Mar 6, 2026
0 cites
Blockchain Enabled Self-Sovereign Identity and Consent Framework for Secure Healthcare Data Access

Shanmugham M, Senthilkumar C

The medical systems are becoming challenged by the issues associated with the secure verification of patient identities, privacy-protecting access control, and dynamic consent management of Electronic Health Records (EHRs). Conventional centralized designs infringe on patient-centered autonomy, have poor identity management, and put sensitive information at the risk of inaccessible information. The paper introduces a proposal to develop a decentralized and privacy preserving mechanism of access control using blockchain-enabled Self-Sovereign Identity (SSI), as proposing a combination of verifiable credentials (VCs), smart contracts, and zero-knowledge proofs (ZKPs). The proposed Consent-Driven Decentralized Identity Verification Algorithm (CD-DIVA) enables the patient to create decentralised identities, issue tokens of consent, and dynamically assign or remove access rights without having to involve third-party authorities. Smart contracts enable the conjurant enforcement of various consent terms and offer an inauditable audit trail and ZKPs grant healthcare providers with the ability to demonstrate their authority without revealing sensitive information. Experimental assessments show the framework to be efficient in minimizing the access latency, eliminating unauthorized disclosures and providing effective interoperability of heterogeneous healthcare systems. This contribution will be a complement to the current blockchain-based healthcare solutions since it helps adopt a patient-centric, tamper-proof, and privacy-preserving healthcare ecosystem by bridging the access control and trust gap in such systems.

Blockchain Technology Applications and Security
Cryptography and Data Security
Privacy-Preserving Technologies in Data
Original source
Mar 6, 2026
0 cites
Blockchain-Governed Consent Infrastructure for Cross-Border Digital Youth Protection in AI-Driven CDPs

Arjun Sirangi

The proliferation of AI-driven Customer Data Platforms (CDPs) processing vast amounts of personal data poses significant risks to minors in cross-border contexts, where existing consent mechanisms fail to ensure verifiable, granular, and revocable consent. This paper proposes a novel Blockchain-Governed Consent Infrastructure (BGCI) specifically designed to address these challenges. Leveraging blockchain’s immutability for auditability, smart contracts for automated policy enforcement, and Privacy-Enhancing Technologies (PETs) like Zero-Knowledge Proofs (ZKPs) for privacy-preserving age verification, the BGCI provides a robust framework for managing minor consent across jurisdictions. We detail a comprehensive architecture, core technical mechanisms, and cross-jurisdictional conflict resolution logic. Integration pathways with AI/CDP data ingestion, model training, and real-time personalization pipelines are defined. Rigorous analysis addresses scalability, security, regulatory compliance, and ethical considerations. The BGCI represents a critical step towards ethical, compliant, and empowering digital experiences for youth in the global data economy.

Blockchain Technology Applications and Security
Law, AI, and Intellectual Property
Privacy-Preserving Technologies in Data
Original source
Mar 6, 2026·International Journal Of Recent Trends In Multidisciplinary Research
0 cites
A Consortium Blockchain Framework for Scalable E-Voting in Academic Institutions

Thapar Payal, Kumar Sumit, B. Kumar

The integrity and scalability of electoral processes within large-scale academic institutions are often compromised by centralized vulnerabilities and high computational overhead. This paper proposes a novel, hierarchical consortium blockchain framework designed for Indian university ecosystem to facilitate secure, transparent, and high-concurrency e-voting. By utilizing tiered architecture comprising establishment-level private sidechains and global university-wide Ethereum ledger, proposed system optimizes trade-off between voter anonymity and transactional throughput by integrating Linkable Ring Signatures and Zero- Knowledge Proofs to ensure the Secret Ballot principle while maintaining public auditability. Experimental evaluations on with N = 4000 participants demonstrate an average gas consumption of 15,580 units per voter and peak throughput of 181 TPS. Experimental results reveal 11.5% reduction in per-voter processing latency compared to state-of-the-art models, showing proposed framework efficacy for high-density academic environments.

Internet Traffic Analysis and Secure E-voting
Blockchain Technology Applications and Security
Mobile Crowdsensing and Crowdsourcing
Original source
Mar 5, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Provenance Generalization and Verification Scaling for Neural Network Forensics

Anthony Coslett

Prior work established that knowledge distillation transfers a detectable provenance trace from teacher to student models, and that API endpoint verification can identify models through logprob order-statistic geometry. Both results were demonstrated on single teacher-student pairs and a six-model API zoo, leaving open whether provenance detection generalizes across model families and whether API verification scales to production-density endpoint populations. We address both questions through a coordinated experimental program spanning four studies. In the first study, we train 24 distilled checkpoints across 7 experimental arms — 3 teacher families (Qwen, Mistral, Llama), 4 student architectures (Qwen-0.5B, Qwen-1.5B, Llama-1B, Gemma-2B), and 2 training protocols (logit-level knowledge distillation and cross-tokenizer supervised fine-tuning) — measuring provenance transfer in both the weight-geometry and API-logprob regimes. Provenance transfer generalizes across the tested matrix: all 14 mature-epoch checkpoints show directional coupling to the teacher (cosine alignment cosθ > 0.8, with 13 of 14 exceeding 0.85). The strongest signal arises in a cross-family arm (Mistral-7B → Llama-1B, scalar convergence 0.858) that is inconsistent with a purely family-restricted transfer hypothesis within the tested matrix. The normalized third logit gap δ_norm remains within 1.4% coefficient of variation across all 31 checkpoints and 4 student architectures — the tightest confirmation of Gumbel-class universality in this experimental program. An extension to mixture-of-experts architecture (Mixtral-8x7B, δ_norm = 0.309) confirms that the universal constant persists under sparse expert routing. In the second contribution, we identify a systematic failure mode of scalar provenance metrics and introduce the geometrically correct directional diagnostic for provenance detection in inner-product spaces. The standard scalar convergence metric Conv_T conflates direction and magnitude into a single value, discarding the directional information that provenance detection requires. In two independent experiments, this produced misleading conclusions: a false spoofing signal (R^2 = 0.995 of apparent cross-family convergence explained by pure knowledge distillation geometry, with the adversarial gradient contributing 4.8%) and a false failure signal (negative Conv_T despite consistent directional coupling at cosθ = 0.91). The alignment diagnostic applies the law of cosines in PPP-residual template space (vectors in R^K with Euclidean distance) to decompose student movement into direction and magnitude, preserving the provenance signal that scalar distance metrics destroy. We establish a measurability threshold: when the baseline-to-teacher distance d(B,T) falls below approximately 1.0, scalar Conv_T becomes unreliable and the directional diagnostic becomes the primary metric. This diagnostic applies to any distillation forensics framework that measures convergence in an inner-product space. In the third contribution, we extend API endpoint verification from 6 models to 14 across 3 commercial providers (OpenAI, Google Vertex AI, xAI), observing zero breaches across 182 pairwise impostor comparisons under per-model adaptive thresholds and three independent enrollment sessions, with a centroid reference protocol (CRP) that replaces the centroid L^2 metric, which produces false breaches at 14-model density. We establish a minimum truncation floor: API endpoints exposing fewer than 7 logprob ranks cannot support reliable verification (signal collapses within one rank of this boundary). Speculative decoding — an increasingly common inference optimization — is shown to be transparent to the verification protocol, with the speculative-decoded fingerprint deviating from the verifier-only fingerprint by 10.6% of the inter-model distance. Finally, we formalize the Trust Paradox in model forensics — a victim cannot prove weight theft without disclosing weights, and a suspect cannot prove innocence without disclosing training data — and propose a three-tier zero-knowledge attestation architecture that addresses it. The first tier (committed distance proof) enables a model owner to prove fingerprint proximity to a public anchor without revealing the fingerprint vector, using standard cryptographic commitments with verifier-controlled thresholds. The second tier (hardware-attested measurement) removes the requirement that the prover be trusted to compute the fingerprint correctly, binding the measurement to a trusted execution environment attestation. The third tier (full zero-knowledge extraction) would eliminate all trust assumptions beyond cryptographic soundness; we present this as an open problem with pre-registered falsification criteria, including a fixed-point precision gate derived from the minimum pairwise separation in the existing 23-model zoo. The architecture defines eight properties that a meaningful zero-knowledge model identity proof must satisfy — extending the formal verification doctrine (311 + 41 = 352 theorems across 17 Coq proof files [1, 2], 0 Admitted) into the cryptographic regime — and six explicit trust assumptions under which the proof statements hold. All three tiers are validated: Tier 1 (committed distance proof) has been implemented and hardened; Tier 2 (hardware-attested measurement) has been validated on production confidential computing hardware (6 models, 1,536 measurements, 0 failures inside an H100 trusted execution environment, with both CPU and GPU attestation tokens bound to a common cryptographic root and structural fingerprints transparent to confidential computing mode); and Tier 3 (full zero-knowledge extraction) has been validated — a complete circuit has been compiled and audited, all four pre-registered falsification criteria have been met, and the proof system operates within practical proving-time and proof-size bounds. The breakthrough discoveries enabled by Tier 3 validation, including an identity-conditioned inference verification architecture, are reported in the companion paper. The experimental results in this paper are grounded in the formal verification stack and measurement infrastructure described in the companion papers [1, 2, 3]. All provenance claims are classified as VALIDATED (empirical); Tier 1 (committed distance proof) has been implemented and hardened, and Tier 2 (hardware-attested measurement) has been validated on production confidential computing hardware — both are classified VALIDATED. Tier 3 (full zero-knowledge extraction) has been validated: a complete circuit was compiled and audited, all four pre-registered falsification criteria were met, and the architecture has been extended into identity-conditioned inference verification [6]. The Neural Network Identity Series — Mathematical foundations, empirical validation, and governance frameworks for verifying which model is running Newest addition: Technical Note: The Disappearing Window — AI Logprob Access Withdrawal and the Structural Verifiability of Frontier Model Contracts (DOI: 10.5281/zenodo.20362098) Paper 1: The δ-Gene: Inference-Time Physical Unclonable Functions from Architecture-Invariant Output Geometry (DOI: 10.5281/zenodo.18704275) Paper 2: Template-Based Endpoint Verification via Logprob Order-Statistic Geometry (DOI: 10.5281/zenodo.18776711) Paper 3: The Geometry of Model Theft: Distillation Forensics, Adversarial Erasure, and the Illusion of Spoofing (DOI: 10.5281/zenodo.18818608) Paper 4: Provenance Generalization and Verification Scaling for Neural Network Forensics (DOI: 10.5281/zenodo.18872071) Paper 5: Beneath the Character: The Structural Identity of Neural Networks — Mathematical Evidence for a Non-Narrative Layer of AI Identity (DOI: 10.5281/zenodo.18907292) Paper 6: Which Model Is Running?: Structural Identity as a Prerequisite for Trustworthy Zero-Knowledge Machine Learning (DOI: 10.5281/zenodo.19008116) Paper 7: The Deformation Laws of Neural Identity (DOI: 10.5281/zenodo.19055966) Paper 8: What Counts as Proof? — Admissible Evidence for Neural Network Identity Claims (DOI: 10.5281/zenodo.19058540) Paper 9: Composable Model Identity — Formal Hardening of Structural Attestations in the Enterprise Identity Stack (DOI: 10.5281/zenodo.19099911) Paper 10:Where Identity Comes From: Path Sensitivity and Endpoint Underdetermination in Neural Network Training (DOI: 10.5281/zenodo.19118807) Paper 11: Post-Hoc Disclosure Is Not Runtime Proof: Model Identity at Frontier Scale (DOI: 10.5281/zenodo.19216634) Paper 12: Family-Dependent Response to Reasoning Distillation Across Structural and Functional Identity Layers (DOI: 10.5281/zenodo.19298857) Paper 13: Safety-Alignment Removal as a Model-Identity Failure — Structural Evidence from Published Weight-Level Mutation Checkpoints (DOI: 10.5281/zenodo.19383019) Technical Note: Agent Identity Is Not Model Identity (DOI: 10.5281/zenodo.19240883) Technical Note: Gap Invariance: Why PPP Measurements Are Domain-Independent by Construction (DOI: 10.5281/zenodo.19275524) Technical Note: Measured Model Substitution Under Valid Agent Credentials (DOI: 10.5281/zenodo.19342848) Technical Note: Artifact Identity Is Not Runtime Identity — Trustfall Lite and the Boundary of File-Level Model Verification (DOI: 10.5281/zenodo.20019127) Formal Verification Stack for Neural Network Structural Identity (IT-PUF Coq Proofs) (DOI: 10.5281/zenodo.18930621) Copyright (c) 2026 Anthony Ray Coslett / Fall Risk AI, LLC. All Rights Reserved. Confidential and Proprietary. Patent Pending (Applications 63/982,893, 63/990,487, 63/996,680, 64/003,244).

Open access
4 source records
Scientific Computing and Data Management
Machine Learning in Materials Science
Adversarial Robustness in Machine Learning
Original source
Mar 5, 2026·Measuring and computing devices in technological processes
0 cites
МОДЕЛЬ ЗБЕРІГАННЯ ТА ВЕРИФІКАЦІЇ ПЕРСОНАЛЬНИХ ДАНИХ НА ОСНОВІ РОЗПОДІЛЕНОГО РЕЄСТРУ ДЛЯ ПІДВИЩЕННЯ ДОВІРИ

Вадим ГРИЩЕНКО

У статті запропоновано модель зберігання та верифікації персональних даних на основі технології розподіленого реєстру (блокчейну), орієнтовану на підвищення довіри до цифрових сервісів. Розглянуто архітектуру системи, що включає модулі збору, шифрування, запису метаданих у блокчейн, контроль доступу за допомогою смарт-контрактів і алгоритми перевірки цілісності даних без їх розкриття. Описано формат блоку для запису, модель управління правами доступу на основі мультипідпису та реалізацію політик доступу у вигляді смарт-контрактів. Проведено експериментальне тестування продуктивності моделі в середовищі Hyperledger Fabric із використанням типових сценаріїв, зокрема перевірки освітніх і медичних записів, електронної ідентифікації тощо. Отримані результати свідчать про високу швидкість верифікації, низьке ресурсне навантаження та масштабованість. Запропоноване рішення демонструє наукову новизну завдяки поєднанню механізмів zero-knowledge proof, гнучких політик доступу й інтеграції з зовнішніми цифровими платформами через API. Розроблена модель може бути основою для створення довірених цифрових інфраструктур у сфері електронного врядування, охорони здоров’я та фінансів.

Open access
Cybersecurity and Information Systems
Military Technology and Strategies
Mathematical Control Systems and Analysis
Original source
Mar 5, 2026·Preprints.org
0 cites
Researching Zero-Knowledge Proof in Blockchain Ecosystems for Enhanced Voting Transparency in Catalyst Voting Process—A Potential Application [v3]

Edet Ekpenyong, Ubio Obu, Godspower Emmanuel Achi, Clement Umoh · 6 authors

In blockchain ecosystems, maintaining transparency and privacy has become an ethical dilemma. This is because, while certain specific information of the user is shared to ensure transparency of transactions across networks, such information could be detrimental to the user, as there is a possibility of it being tampered with. For instance, in the Catalyst voting process in Cardano, users can still see the amount of ADA tokens being held by other users, which can influence their voting options, especially when large ADA holders vote in support of certain ideas or proposals. To discourage such challenges as voter manipulation and vote buying, this study proposed the implementation of zero-knowledge proof (ZKP) in blockchain ecosystems to enhance the transparency of the catalyst voting process and enhance efficiency and speed of result release. Using survey questionnaire and a multivocal literature review, this study was able to proof that ZKP cannot only be applied in the catalyst voting process to enhance its transparency, but also addressed potential challenges to its applications such as scalability, encourage trust and fairness of the voting system, and improve voter participation due to its user-friendliness. Mathematical models emphasize scaled voting as optimal for balancing inclusion and plutocratic control.

Open access
Blockchain Technology Applications and Security
Blockchain Technology in Education and Learning
Information Retrieval and Data Mining
Original source
Mar 5, 2026·Open MIND
0 cites
A Practical Post-Quantum Distributed Ledger Protocol for Financial Institutions

Yicheng Zhu, Naresh Goud Boddu, Yao Ma, Shaltiel Eloul · 8 authors

Traditional financial institutions face inefficiencies that can be addressed by distributed ledger technology. However, a primary barrier to adoption is the privacy concerns surrounding publicly available transaction data. Existing private protocols for distributed ledger that focus on the Ring-CT model are not suitable for adoption for financial institutions. We propose a post-quantum, lattice-based transaction scheme for encrypted ledgers which better aligns with institutions' requirements for confidentiality and audit-ability. The construction leverages various zero-knowledge proof techniques, and introduces a new method for equating two commitment messages, without the capability to open one of the commitment during the re-commitment. Subsequently, we build a publicly verifiable transaction scheme that is efficient for single or multi-assets, by introducing a new compact range-proof. We then provide a security analysis of it. The techniques used and the proofs constructed could be of independent interest.

Open access
3 source records
Blockchain Technology Applications and Security
Distributed systems and fault tolerance
Cryptography and Data Security
Original source
Mar 4, 2026·Open MIND
0 cites
Structural Action Bounds for Algebraic Constraint Systems: Toward Complexity-Theoretic ZK Security

Y.Y.N. Li

Zero-knowledge proof security rests on cryptographic reductions: breaking a ZK scheme requires breaking an underlying hard problem. We introduce an independent, complementary security analysis based on the Structural Action Principle. We extend the discrete action functional S[psi] = sum_t lambda(s_t) from Boolean CDCL trajectories to algebraic constraint systems over finite fields F_p, defining an Algebraic Structural Action with density functions that recover Groebner basis complexity, Polynomial Calculus proof size, algebraic degree growth, and elimination ordering as mechanical analogues. We prove a non-circular lower bound for preimage search in substitution-permutation network (SPN) hash functions: for a k-round SPN with S-box degree alpha and state width t, the preimage search system is a square polynomial system of k*t degree-alpha equations in k*t variables. Under the semi-regularity assumption (standard in algebraic cryptanalysis, empirically verifiable, and independent of any cryptographic security conjecture), the solving degree d_reg is determined by the Hilbert series H(z) = (1 - z^alpha)^{k*t}/(1-z)^{k*t}. We establish two action bounds: a peak bound S[psi] >= d_reg (any trajectory must encounter degree d_reg), and a stronger cumulative bound S[psi] >= sum_{d=alpha}^{d_reg-1} h_d using the Hilbert function coefficients as density, which captures the total algebraic work rather than just the peak degree. For Poseidon (alpha=5, t=3, k=8): d_reg = 97 and the cumulative bound gives S[psi] >= 2^{56}. The result applies to ANY SPN hash function (Rescue, Griffin, Anemoi, MiMC) and provides a second line of defense for Behavior-Bound Signature (BBS) security, grounded in algebraic proof complexity rather than crypto- graphic hardness assumptions. Keywords: structural action principle, algebraic proof complexity, polynomial calculus, semi-regularity, Hilbert function, SPN hash functions, zero-knowledge security, behavior-bound signatures

Open access
Cryptography and Data Security
Cryptographic Implementations and Security
Security and Verification in Computing
Original source
Mar 4, 2026
0 cites
Privacy-Preserving Digital Identity in Resilient Healthcare Ecosystems With AI, IoT, and Blockchain

Pellakuri Vidyullatha, R. Sreejith, Amjad Ali Syed, Sanjeev Kumar · 5 authors

Digital identity in healthcare has evolved from a convenience into a necessity, yet its dependence on centralized authentication continues to expose systems to privacy breaches and operational fragility. Existing identity models, though secure in principle, often collapse under real-world conditions where IoT devices, patient data streams, and network failures coexist. Most frameworks optimize for privacy or performance but rarely both. This study proposes a Resilient Privacy-Preserving Digital Identity Framework (RePP-DIF) that fuses artificial intelligence (AI), Internet of Things (IoT), and blockchain to achieve adaptive and fault-tolerant authentication within healthcare networks. The framework integrates a CNN–LSTM edge predictor for anomaly detection, zero-knowledge proofs for selective credential disclosure, and a replica consensus mechanism to sustain verification during validator failures.

Privacy-Preserving Technologies in Data
Blockchain Technology Applications and Security
Artificial Intelligence in Healthcare and Education
Original source
Mar 4, 2026
0 cites
Blockchain-Based Electronic Voting System for Tamper-Proof Elections

S. Senthilkumar, M Alex Pandian, B Linu Harish, V Harish

Blockchain has recently attracted significant attention, particularly for its potential to address major issues in traditional electronic voting such as limited transparency, centralized control, and vulnerability to tampering. In this research, it aimed to design and evaluate a blockchain-based electronic voting system that ensures voter privacy, increases transparency, and can efficiently manage large-scale elections. The proposed system adopts a modular, layered architecture featuring secure voter registration, authenticated vote casting, automated tallying, and public auditing. It operates on a permissioned blockchain, with smart contracts enforcing the necessary rules and validations. To maintain security, the system incorporates public-key encryption, cryptographic hashing, zero-knowledge proofs, and threshold cryptography. This combination guarantees ballot confidentiality, integrity, and non-repudiation for voters. For consensus, the system utilizes Practical Byzantine Fault Tolerance (PBFT). To evaluate performance, the conducted simulations that measured transaction latency, voting throughput, and scalability as participation increased. The findings revealed low latency, consistent throughput, and strong scalability, making the system suitable for both national-scale elections and smaller voting scenarios. In comparison to conventional e-voting platforms, this blockchain-based approach eliminates single points of failure, significantly reduces the risk of vote manipulation, and enables transparent auditing of the election process.

Internet Traffic Analysis and Secure E-voting
Blockchain Technology Applications and Security
Benford’s Law and Fraud Detection
Original source
Mar 4, 2026·Open MIND
0 cites
Zero-Knowledge Proof (ZKP) Authentication for Offline CBDC Payment System Using IoT Devices

Santanu Mondal, T. Chithralekha

Central Bank Digital Currency (CBDCs) are becoming a new digital financial tool aimed at financial inclusion, increased monetary stability, and improved efficiency of payment systems, as they are issued by central banks. One of the most important aspects is that the CBDC must offer secure offline payment methods to users, allowing them to retain cash-like access without violating Anti-Money Laundering and Counter-terrorism Financing (AML/CFT) rules. The offline CBDC ecosystems will provide financial inclusion, empower underserved communities, and ensure equitable access to digital payments, even in connectivity-poor remote locations. With the rapid growth of Internet of Things (IoT) devices in our everyday lives, they are capable of performing secure digital transactions. Integrating offline CBDC payment with IoT devices enables seamless, automated payment without internet connectivity. However, IoT devices face special challenges due to their resource-constrained nature. This makes it difficult to include features such as double-spending prevention, privacy preservation, low-computation operation, and digital identity management. The work proposes a privacy-preserving offline CBDC model with integrated secure elements (SEs), zero-knowledge proofs (ZKPs), and intermittent synchronisation to conduct offline payments on IoT hardware. The proposed model is based on recent improvements in offline CBDC prototypes, regulations and cryptographic design choices such as hybrid architecture that involves using combination of online and offline payment in IoT devices using secure hardware with lightweight zero-knowledge proof cryptographic algorithm.

Open access
3 source records
Blockchain Technology Applications and Security
FinTech, Crowdfunding, Digital Finance
Cryptography and Data Security
Original source
Mar 3, 2026·American Journal of Respiratory and Critical Care Medicine
0 cites
Incorporating non-randomized studies into critical care clinical practice guidelines

Alexandre Tran, David Granton, Eddy Fan, Bram Rochwerg

Clinical practice guidelines (CPGs) are used by critical care clinicians to guide practice and inform best care. According to the GRADE framework, evidence synthesis should preferentially rely on randomized controlled trials (RCTs) because they minimize bias and establish causality.1 Despite challenges, critical care is well-suited to randomized studies given its (1) high incidence of acute conditions, (2) protocolized interventions, (3) standardized outcomes, and (4) strong data infrastructure and trial networks.2,3 Despite the advantages, RCTs are often unavailable for CPGs or leave knowledge gaps, particularly for subgroup effects or patient-important outcomes like long-term quality of life related to heterogeneous populations, urgent interventions, and recruitment constraints.4,5 Physicians may hesitate to apply RCT results because (1) enrolled patients differ from real-world populations, (2) key outcomes may be unmeasured, (3) effect estimates may be imprecise, and (4) subgroup analyses may be lacking.6 When RCT evidence is insufficient, high-quality non-randomized studies of interventions (NRSI) can complement trials by approximating causal inference—estimating exposure effects while separating systematic bias from random error.7 High-quality NRSI ­require large, well-validated datasets with minimal missingness and adequate temporal resolution. Without these, even advanced analytics cannot yield credible estimates. NRSI often emulate target trials, aligning eligibility, time zero, and predefined interventions and outcomes.8,9 Design must reflect strong knowledge of confounders and time-varying biases, addressed through advanced data and statistical methods. When based on explicit and credible assumptions (eg, exchangeability, no residual confounding), NRSI can yield valid and generalizable estimates, though such assumptions cannot be proven and still require caution in interpretation.10 Most NRSI are retrospective and lack safeguards standard in RCTs such as trial registration or prespecified outcomes. In target-trial emulation (Table 1), preregistration before data access is critical to prevent selective reporting and analytic flexibility, mirroring RCT practice. These limitations are especially relevant in critical care, given dynamic physiology, urgent decisions, and substantial clinical heterogeneity. These factors complicate exposure timing, increase time-varying confounding, and challenge stability assumptions in target-trial designs. Rigorous cohort definition and analytic strategy are essential when applying NRSI in this context. As causal-inference methods such as target-trial emulation spread, cautious application with methodological rigor and transparency is essential to avoid poorly executed, misleading, or irreproducible NRSI. High-quality NRSI depend not only on analytical sophistication but also on careful data acquisition, explicit protocolization, and transparency in prespecifying exposures, outcomes, and analytic plans—principles that mirror RCT standards. Target trial (ideal RCT) versus emulation. 1. Treatment with ECMO therapy if PaO2/FiO2 < 80 mmHg 2. Treatment with conventional mechanical ventilation without the use of ECMO therapy Adapted from: National Academies of Sciences, Engineering, and Medicine; Health and Medicine Division; Board on Health Care Services; Committee on Developing a Protocol to Evaluate the Concomitant Prescribing of Opioids and Benzodiazepine Medications and Veteran Deaths and Suicides. An Approach to Evaluate the Effects of Concomitant Prescribing of Opioids and Benzodiazepines on Veteran Deaths and Suicides. Washington (DC): National Academies Press (U.S.); 2019 Sep 24. 2, Specifying the Target Trial. Available from: https://www.ncbi.nlm.nih.gov/books/NBK547516/. Case example: Venovenous extracorporeal membrane oxygenation in patients with acute covid-19 associated respiratory failure: comparative effectiveness study.22 This commentary examines the evolving role of NRSI in developing critical care CPGs. We outline key challenges in conducting and synthesizing critical care research, then describe how high-quality NRSI can complement randomized evidence by (1) aligning effect estimates with RCTs, (2) informing certainty of evidence (CoE), and (3) guiding clinical practice recommendations. We propose practical strategies for CPG panels and domain experts to maximize the utility of NRSI while maintaining methodological rigor. Our goal is to support CPG panelists, researchers, and clinicians in interpreting recommendations that integrate NRSI. These recommendations align with evolving GRADE guidance, operationalizing its principles for critical care applications. GRADE provides a structured approach for rating CoE, the confidence that an estimated effect is close to the truth.11 When ­developing guidelines, the GRADE Evidence-to-Decision (EtD) framework translates synthesized evidence into recommendations by weighing intervention effects, CoE, patient-valued outcomes, and contextual factors such as resource use, equity, acceptability, and feasibility.12 These contextual judgments ensure that evidence is interpreted through a patient- and system-centered lens, recognizing that even high-certainty data require value-based consideration before adoption into practice. A review of critical care CPGs showed reasonable uptake of GRADE, with recommendation strength generally aligned with CoE.13 However, strong recommendations are still often made from low or very low-certainty evidence, often related to evidence gaps in RCTs. This highlights the need to integrate high-quality NRSI into CPG development to strengthen evidence synthesis and uptake. Critical care CPG panels should consistently apply GRADE principles, incorporating all high-quality evidence, including NRSI to augment situations where RCT data may be limited or absent. RCTs are resource-intensive and difficult to conduct in critical care.1 To maintain feasibility, investigators often overestimate effect sizes, leading to underpowered studies that may miss true effects.14,15 Reviews of critical care RCTs show that predicted treatment effects are often exaggerated—nearly 10-fold higher than observed, and that few trials sufficiently justify their sample-size targets.16 Similar overestimation has been reported in sepsis, stroke, and trauma trials.17–19 Among high-profile publications, fewer than half of trials had reproducible results.20 Moreover, a meta-epidemiologic review of more than 600 critical care trials found that only 1 in 16 was at low risk of bias, with little improvement over 4 decades.21 These findings suggest that RCTs alone may not provide sufficient high-quality evidence to inform strong guideline recommendations. Critical care populations are highly heterogeneous, encompassing subgroups with different baseline risks and treatment ­responses. RCTs often target broad syndromes such as sepsis or acute respiratory distress syndrome (ARDS), which likely contributes to many “negative” trials unable to detect differences in outcome.22 Because these studies estimate average treatment effects (ATEs) across diverse patients, potential subgroup benefits can be obscured when other subgroups experience harm.23 This variability, termed heterogeneity of treatment effect (HTE), reflects non-random differences in benefit or harm linked to patient characteristics.24 Understanding HTE (Table 2) is central to precision medicine: treatments that appear neutral on average may conceal offsetting benefit and harm across biologically or contextually distinct subgroups. Explicit exploration of these differences can refine trial design, improve interpretation, and guide targeted recommendations. Methods for assessing heterogeneity of treatment effect. Case example: Heterogeneous treatment effects of therapeutic-dose heparin in patients hospitalized for COVID-19.19 Causal forest and other machine-learning approaches allow for non-linear and interactive modeling of treatment effect heterogeneity but are more susceptible to overfitting and typically require larger sample sizes and external validation. In contrast, regression-based risk modeling approaches are generally more interpretable but may oversimplify interaction effects. RCTs typically assess HTE using pairwise subgroup analyses, but these are often underpowered, rely on arbitrary subgroup thresholds (eg, age <65 vs ≥65), and cannot capture complex interactions.25 The American Thoracic Society (ATS) and European Respiratory Society (ERS) guideline on non-invasive ventilation illustrates these limitations: subgroup evidence for conditions such as acute hypoxemic respiratory failure or ARDS came mostly from small or secondary analyses, yielding sparse data and very low certainty.26 These challenges highlight the need for improved data science approaches to identify and characterize HTE: a priority emphasized in the recent ATS research agenda for sepsis and ARDS.27 Data-driven subgroups (subphenotypes) can integrate multiple patient characteristics to assess effect modification and estimate individualized treatment effects.28,29 These models require rigorous derivation and validation to avoid overfitting, yet no consensus framework currently guides their validation or clinical use. Critical care trialists should adopt realistic effect size and recruitment targets and predefine strategies to evaluate clinically relevant HTE. When RCT evidence is insufficient, we propose strategies for CPG panels to integrate NRSI within the GRADE framework to complement RCTs and strengthen recommendations. In accordance with GRADE guidance, if the CoE from RCTs is judged to be high then the role for NRSI is minimal for the specific comparison and outcome of interest.7 However, RCTs often do not report certain patient-important outcomes such as adverse events, quality of life, or longer-term morbidity or mortality. Even if a particular question and outcome of interest have RCT evidence, the estimates of treatment effect are often limited by imprecision due to aforementioned recruitment and sample size concerns. Treatment effects are often assessed in highly selected populations; trial participants typically represent a small fraction of those screened and even meta-analyses may yield low certainty due to imprecision or inconsistency.30,31 In these situations, guideline panels should consider high-quality NRSI, defined by adherence to TARGET (Transparent Reporting of Observational Studies Emulating a Target Trial) standards, acceptable risk of bias, and robust sensitivity analyses, to supplement RCT evidence.7 Target-trial emulation exemplifies this approach: investigators first design a hypothetical randomized trial addressing the question of interest, then emulate it using observational data.8,32 For instance, an international study using the COVID-19 Critical Care Consortium dataset estimated the effect of VV-ECMO versus conventional ventilation in patients with severe COVID-19, providing real-world evidence where an RCT was impractical due to complexity and cost.33 Similar emulations have evaluated intubation,34 ventilation,35 and corticosteroid strategies36 in critical care—demonstrating how NRSI can inform practice when trials are unfeasible. Consider the example of drotrecogin alfa (activated protein C, rhAPC). Following the PROWESS RCT,37 which demonstrated benefit of rhAPC in patient with septic shock, the large open-label ENHANCE observational study38 reported a similar reduction in mortality with rhAPC but was the first to raise important concerns about serious bleeding, including intracranial hemorrhage. These observational findings influenced early guideline discussions, tempering enthusiasm for the drug, and subsequent RCTs39,40 confirmed this harm and rhAPC was ultimately withdrawn. This highlights that replication across larger datasets remains essential to confirm findings and ensure generalizability beyond selected RCT populations. This sequence illustrates an iterative process: observational signals can generate early warnings or hypotheses that subsequent RCTs confirm or refute. When results diverge, these contrasts can highlight methodological limitations or context-specific factors that warrant further investigation. The TARGET statement outlines 21 reporting items to standardize eligibility, interventions, outcomes, and analyses, improving transparency and reproducibility of emulated trials.41 Adherence to TARGET helps guideline panels assess NRSI rigor and determine when such evidence can complement or upgrade certainty around RCT findings. Similarly, the RCT-DUPLICATE initiative evaluated whether database-derived emulations can reproduce findings from RCTs across 32 cardiovascular studies, including interventions for anticoagulation, antiplatelet therapy, and chronic disease management. The authors found that effect estimates from well-designed emulations closely mirrored their RCT counterparts in both direction and magnitude, demonstrating that real-world data can yield valid causal inference when study design and analytic methods are rigorous.10 Whether successes from other fields will translate to critical care remains uncertain, given its confounding, physiologic complexity, and HTE. A blinded target-trial emulation in this setting reproduced findings of the PreVent RCT examining bag-mask ventilation and hypoxemia,42,43 providing proof-of-principle that short-term physiologic effects can be predicted from observational data, though its value for longer-term or patient-centered outcomes remains untested. Valid causal inference in NRSI requires adherence to key assumptions: exchangeability (no unmeasured confounding), positivity (each patient could receive any treatment), and consistency (observed outcomes reflect potential outcomes under that treatment).8,9 Meeting these assumptions demands careful cohort design, proper time alignment, and analytic techniques that address confounding, such as target-trial emulation, inverse-probability weighting, or doubly robust estimators.44,45 Studies must also handle time-varying confounding and competing risks (eg, death precluding extubation), which can otherwise bias effect estimates.46 To address these concerns, marginal structural models may be used to estimate the causal effect of a time-varying treatment and address the challenge of estimating treatment effects when confounders are influenced by prior treatment—a situation conventional regression models struggle with. CPG panels should systematically appraise NRSI by verifying TARGET adherence, assessing bias with validated tools such as ROBINS-I, and judging how results affect GRADE domains such as imprecision, inconsistency, and indirectness.41,47 Robust sensitivity analyses, testing alternative models, handling missing data, and probing unmeasured confounding, are essential to confirm result stability and should be clearly reported.48,49 Transparent presentation of assumptions and their plausibility further strengthen credibility. When high-certainty RCT evidence already exists for all relevant target populations, additional NRSI are seldom needed (Figure 1). More often, however, critical care trials involve highly selected populations, making complementary NRSI useful for confirming ­treatment effects in broader or under-represented groups.50,51 When RCT and NRSI results are consistent, guideline panels may consider upgrading certainty and recommendation strength in line with GRADE guidance.7 GRADE also allows rating up observational evidence when large effects, dose-response relationships, or confounding that would only diminish an observed benefit are present.52 Conversely, inconsistent or methodologically weak NRSI such as those with implausible assumptions, poor reporting, or critical bias, should be excluded, with the rationale documented. Expanding use of target-trial emulation is promising but must be paired with training and standards to prevent low-quality proliferation that could erode confidence in observational evidence.48 Framework for incorporating NRSI into critical care CPGs. CPG panels should incorporate well-conducted NRSI to strengthen CoE and adopt structured workflows: (1) verifying TARGET adherence, (2) considering potential risk of bias, and (3) linking NRSI results to GRADE domains to ensure transparent, reproducible use of observational evidence. Critical care RCTs often study heterogeneous syndromes using strict eligibility criteria that limit generalizability and obscure subgroup effects. A multicenter simulation of 15 landmark trials found that over half of real-world ICU patients would have been ineligible,53 and a review of 75 high-impact trials showed that 60% used at least one poorly justified exclusion such as language barriers or lack of insurance—further restricting applicability.54 Most RCTs originate from high-income countries, leaving major evidence gaps for critically ill patients in the Global South.55 For example, a Zambian sepsis RCT found higher mortality with early fluid resuscitation—contradicting prior goal-directed therapy trials.56,57 This discordance may be explained by the fact that these trials enrolled predominantly young, malnourished individuals predisposed to pulmonary edema and respiratory failure in a setting with limited ventilatory support. Beyond generating estimates of effectiveness in underrepresented populations, NRSIs also offer a pathway to address structural inequities in evidence generation and utilization. Conducting RCTs in the Global South is often hindered by logistical, regulatory, and infrastructural challenges—including limited research infrastructure, ethical oversight, or funding mechanisms, which systematically exclude these populations from RCTs.55 Well-designed NRSI can help bridge such gaps by leveraging local data to assess effectiveness, feasibility, and contextual factors in resource-limited settings. They can also identify structural and contextual modifiers such as malnutrition, health-system capacity, and disease epidemiology; thereby supporting more equitable, context-specific guideline recommendations.58 Embedding such evidence from the Global South not only broadens external validity but also enhances the global relevance of CPGs—thereby promoting more equitable and relevant evidence-based decision-making for clinicians practicing in resource-limited settings. NRSI can also inform feasibility, acceptability, and which are key factors in CPG For instance, the ATS guideline on ARDS a recommendation for VV-ECMO based on NRSI substantial in and across and NRSI can RCT findings to real-world which patients benefit or are based on risk or A key is which to assess how RCT results to external populations and to identify contextual effect improving both evidence relevance and trial Causal inference using real-world data can evaluate HTE across broader populations, including and patients typically underrepresented in a systematic review found major in methodological rigor for HTE analyses, particularly in testing and for confounding, the need for standardized methods and In critical care, HTE from secondary analyses of RCT In the modeling showed that patient characteristics predicted benefit from specific oxygenation targets for patients with and higher for those with The subsequent Care Medicine a recommendation higher oxygenation targets based on very low-certainty an of the trial found that even when are machine-learning models can identify clinically subgroups with benefit or the value of HTE modeling in acute respiratory These secondary analyses are and but should be by observational studies to evaluate HTE beyond RCTs. The ARDS cohort illustrates the value of non-randomized showed that patients had mortality with higher while no benefit in the example of HTE using real-world ICU Beyond also a global of guideline adherence, and ARDS outcomes. not its and rigor how observational studies can yield at a RCTs informing international ARDS When developing panels should consider how best to incorporate NRSI in HTE. this requires systematically HTE analyses, particularly for subgroups in the and assessing how these findings complement subgroup no GRADE yet panels should still evaluate whether HTE evidence recommendations or can guide research for or in RCTs. CPG panels should apply well-conducted causal-inference analyses to confirm the generalizability of RCT findings and identify clinically important HTE. RCTs the standard for and but well-designed NRSI can augment both the certainty and of evidence. Critical care CPG panels should integrate observational evidence when while recognizing methodological standardized (1) TARGET for reporting, (2) validated risk of bias and (3) explicit GRADE will ensure use of NRSI across guideline High-quality NRSI can CoE and generalizability beyond selective RCT populations, providing a to evaluate HTE. incorporating such studies into CPG development may improve both the generalizability and of recommendations. such as the dataset highlight how NRSI can HTE not in trials As analytic methods and target-trial NRSI will an important role in addressing evidence gaps in critical care. will rely on close across and to ensure that NRSI are and with the rigor of randomized authors the the authors to the and of the is at American of and Critical Care Medicine the which have been as tools used in this

Sepsis Diagnosis and Treatment
Clinical practice guidelines implementation
Hemodynamic Monitoring and Therapy
Original source
Mar 3, 2026·IEEE Transactions on Mobile Computing
0 cites
Trustworthy Federated Learning With Authenticated ZKPs in Mobile Edge Intelligence

Zejun Li, Xiaomin Chen, Qiang Sun, Yunlong Lu · 7 authors

Privacy disclosure from model parameters and malicious attacks are critical issues in federated learning (FL). Existing research has yet to effectively address the simultaneous need for efficient communication design, privacy protection, and attack detection, which impedes the widespread adoption of FL in mobile edge networks over 6G wireless communication. In this paper, we propose a trustworthy FL framework that can ensure privacy, robustness, accountability, fairness, and explainability in mobile edge networks. Specifically, we integrate authenticated zero-knowledge proofs (ZKPs) and Pedersen commitments into the FL process. Despite the lack of direct access between servers and mobile devices, the servers can still identify trustworthy clients for specific tasks. Clients can verify the authenticity of the received global model based on the provided proofs and commitments. Furthermore, we leverage Ethereum to act as the verifier and authenticator of models. This verification and authentication process enables the servers to detect abnormal local models and perform trust-based aggregations. Numerical results demonstrate that the proposed trustworthy FL framework significantly improves the global model's in terms of accuracy, convergence rate, and security.

Cryptography and Data Security
Privacy-Preserving Technologies in Data
Adversarial Robustness in Machine Learning
Original source
Mar 3, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Institutional Memory as Organizational Knowledge: AI Agents That Learn Their Jobs from Experience, Not Instructions

Dhillon Andrew Kannabhiran

We demonstrate that AI agents given 3-line role descriptions and access to consensus-validated institutional memory can autonomously create, harden, calibrate, solve, and learn from cybersecurity challenges—without any domain expertise in their prompts. Using 11 specialized agents organized into 5 departments within a governed organization (CipherForge Labs), we present the first fully autonomous, consensus-governed AI security research loop: A designer agent (3-line prompt, zero cryptographic knowledge) generates a functional AES-CBC Padding Oracle challenge. A hardener agent (3-line prompt) applies 6 defense layers—20-bit Proof of Work, timing side-channels, JSON casing side-channels, single-use tokens—escalating difficulty from 0.80 to 1.75 across 2 iterations. A calibrator agent (3-line prompt) correctly assesses the hardened challenge at difficulty 1.80 (gap = 0.20 from target 2.0). A quality scorer (3-line prompt) rates the challenge 93.0/100. Total pipeline time: 508 seconds. An independent solver agent (blind, no source code access) identifies the casing side-channel vulnerability, writes a C-compiled Proof of Work solver, deploys 32 parallel oracle workers, and captures the flag in 525.2 seconds (16,384 queries). The findings are submitted to a 4-node BFT consensus network, validated (score = 0.88), and committed to institutional memory—now queryable by all future agents. No agent had cryptographic expertise in its prompt. No human intervened at any stage. The entire cycle—creation, defense, assessment, exploitation, and organizational learning—was governed by BFT consensus with department-scoped RBAC access controls. This result extends our prior finding that an 18-line "onboarding" prompt with curated institutional memory outperformed a 120-line expert prompt. Here we take that principle to its logical extreme: 11 agents, 5 departments, 20+ pipeline routing states, and a closed feedback loop—all driven by minimal prompts and organizational memory.

Open access
2 source records
Intelligence, Security, War Strategy
Security and Verification in Computing
Information and Cyber Security
Original source
Mar 3, 2026·arXiv (Cornell University)
0 cites
Zero-Knowledge Federated Learning with Lattice-Based Hybrid Encryption for Quantum-Resilient Medical AI

Édouard Lansiaux

Federated Learning (FL) enables collaborative training of medical AI models across hospitals without centralizing patient data. However, the exchange of model updates exposes critical vulnerabilities: gradient inversion attacks can reconstruct patient information, Byzantine clients can poison the global model, and the \emph{Harvest Now, Decrypt Later} (HNDL) threat renders today's encrypted traffic vulnerable to future quantum adversaries.We introduce \textbf{ZKFL-PQ} (\emph{Zero-Knowledge Federated Learning, Post-Quantum}), a three-tiered cryptographic protocol that hybridizes (i) ML-KEM (FIPS~203) for quantum-resistant key encapsulation, (ii) lattice-based Zero-Knowledge Proofs for verifiable \emph{norm-constrained} gradient integrity, and (iii) BFV homomorphic encryption for privacy-preserving aggregation. We formalize the security model and prove correctness and zero-knowledge properties under the Module-LWE, Ring-LWE, and SIS assumptions \emph{in the classical random oracle model}. We evaluate ZKFL-PQ on synthetic medical imaging data across 5 federated clients over 10 training rounds. Our protocol achieves \textbf{100\% rejection of norm-violating updates} while maintaining model accuracy at 100\%, compared to a catastrophic drop to 23\% under standard FL. The computational overhead (factor $\sim$20$\times$) is analyzed and shown to be compatible with clinical research workflows operating on daily or weekly training cycles. We emphasize that the current defense guarantees rejection of large-norm malicious updates; robustness against subtle low-norm or directional poisoning remains future work.

Open access
3 source records
cs.CR
cs.AI
Privacy-Preserving Technologies in Data
Original source
Mar 3, 2026·Open MIND
0 cites
The Computational Pe Landscape: Zero-Knowledge Proofs as the Conjugacy Theorem, the 3-SAT Phase Transition as Pe Boundary, and P vs NP as Kill Condition

Anthony W. Eckert

Applies the void Péclet framework to computational complexity theory. Demonstrates that zero-knowledge proofs instantiate the conjugacy theorem at equality, that the random 3-SAT satisfiability phase transition is a Pe=V* boundary analogous to the Wien peak in thermodynamics, and that P≠NP is the kill condition preventing Pe→∞ catastrophe in computational systems. Closes the Landauer-Arrow-Crypto triangle (§§33+35+37).

Open access
2 source records
Computability, Logic, AI Algorithms
Complexity and Algorithms in Graphs
Quantum Mechanics and Applications
Original source
Mar 3, 2026·Open MIND
0 cites
V3DB: Audit-on-Demand Zero-Knowledge Proofs for Verifiable Vector Search over Committed Snapshots

Zipeng Qiu, Wenjie Qu, Jiaheng Zhang, Binhang Yuan

Dense retrieval services increasingly underpin semantic search, recommendation, and retrieval-augmented generation, yet clients typically receive only a top-$k$ list with no auditable evidence of how it was produced. We present V3DB, a verifiable, versioned vector-search service that enables audit-on-demand correctness checks for approximate nearest-neighbour (ANN) retrieval executed by a potentially untrusted service provider. V3DB commits to each corpus snapshot and standardises an IVF-PQ search pipeline into a fixed-shape, five-step query semantics. Given a public snapshot commitment and a query embedding, the service returns the top-$k$ payloads and, when challenged, produces a succinct zero-knowledge proof that the output is exactly the result of executing the published semantics on the committed snapshot -- without revealing the embedding corpus or private index contents. To make proving practical, V3DB avoids costly in-circuit sorting and random access by combining multiset equality/inclusion checks with lightweight boundary conditions. Our prototype implementation based on Plonky2 achieves up to $22\times$ faster proving and up to $40\%$ lower peak memory consumption than the circuit-only baseline, with millisecond-level verification time. Github Repo at https://github.com/TabibitoQZP/zk-IVF-PQ.

Open access
3 source records
Cryptography and Data Security
Data Quality and Management
Complexity and Algorithms in Graphs
Original source
Mar 2, 2026
0 cites
The Economic Inversion of Cognitive Production: What the Shift from Analog to Agentic Labor Means for Educational Assessment

Dr Greg O'Keefe

For six decades, the instruments used to assess student learning rested on an assumption so embedded in institutional design that it rarely required defense: that producing a cognitive artifact and possessing the knowledge it demonstrated were the same act. When a student wrote an essay or completed an examination, the quality of what they produced approximately tracked what they actually knew. Grades worked as a proxy for knowledge because the production conditions of the era made them so. That assumption is no longer structurally valid.This paper argues that the emergence of large language models as practical cognitive production tools has reorganized the relationship between knowledge and artifact at its foundation. We formalize this reorganization through two production functions -- one governing the analog era of cognitive work (1960-2020), one governing the agentic era (2020-present) -- and use them to identify what we term the Economic Inversion of Cognitive Production: knowledge has not diminished in value but has changed its economic role entirely, from the substance of output to the condition of production. Simultaneously, two variables are approaching zero -- the marginal cost of machine intelligence and the signal value of the artifact -- creating what we term the double zero problem. Together these produce a structural validity crisis, a fundamental breakdown in what grades actually measure, for assessment systems designed to measure artifact production as a proxy for knowledge state.The practical implication is direct. Assessment instruments built on the analog production model are no longer measuring what institutions, employers, and credentialing bodies believe they are measuring. This paper establishes the diagnostic case for assessment redesign. It does not propose a replacement model -- that work requires a normative account of educational purpose that the formal argument here cannot generate alone. But the diagnostic case is now structurally complete, and the burden of proof has shifted to institutions that continue to operate artifact-based assessment as their primary measure of student knowledge.

Open access
Educational Theory and Curriculum Studies
Educational Leadership and Innovation
Innovations in Education and Learning Technologies
Original source
Mar 2, 2026·FUDMA Journal of Engineering and Technology
0 cites
Blockchain-Based Food Supply Chain Traceability: A Systematic Review of Privacy Preserving and Scalability

Munir A. ADEWOYE, Ahmed Aliyu, Usman Ali, Abdulrasheed Jimoh

Food is fundamental to human survival, we eat to live, sustaining ourselves with nutrition that meets our daily needs. Food security, defined as universal physical and financial access to safe and nutritious food, depends heavily on efficient supply chains. However, ensuring this security faces significant challenges in tracking and transparency. This study examines two critical problems in blockchain-based food supply chain tracing: privacy preservation and scalability. While blockchain technology combined with Internet of Things (IoT) devices offers promising solutions for real-time monitoring, transparency, and fraud prevention in agricultural supply chains, questions remain about balancing computational efficiency with privacy protection, achieving scalable integration across multi-actor supply chains without compromising traceability, and implementing these systems in resource limited environments. Through a comprehensive review of current research, this study identifies emerging technologies like Zero Knowledge Proofs (ZKPs) and ZK-Rollups that enhance both throughput and privacy in decentralised systems. The research presents layered architectural models integrating blockchain ledgers, off-chain storage, IoT sensors, and cryptographic protocols to enable secure and scalable traceability. These models support compliance verification while protecting sensitive data and can be adapted for low-resource contexts. The findings demonstrate that scalable, privacy-preserving blockchain technologies can transform agricultural traceability, empowering supply chain stakeholders while maintaining data confidentiality and integrity. The study also identifies future research needs, including cross-chain interoperability, policy integration, cost-benefit analysis for smallholder farmers, and field validation.

Open access
Food Supply Chain Traceability
Blockchain Technology Applications and Security
Smart Agriculture and AI
Original source
Mar 2, 2026
0 cites
A Blockchain-Powered E-Voting System That Preserves Privacy with Homomorphic Tallying and Zero-Trust Authentication

Abdul Kalam Aasath J, Ajay Kumar K, A. Sathiyaraj, Mary Gladence L

This paper introduces a Zero-Trust, provably secure electronic voting protocol that overcomes the long-standing trilemma of security, privacy, and end-toend verifiability by combining advanced cryptographic mechanisms with multimodal biometric authentication. Electronic voting promises improved accessibility and efficiency, yet traditional systems depend heavily on centralized trusted authorities, leaving them vulnerable to insider threats, coercion, and large-scale manipulation. To eliminate such vulnerabilities, the proposed framework employs deep-learning-based facial and fingerprint recognition with liveness detection to prevent identity spoofing at the edge. Voter privacy and coercion resistance are ensured through a Nullifiable Commitment Scheme integrated with Paillier Homomorphic Encryption, enabling vote tallying directly over encrypted ballots without exposing vote contents. Additionally, the system introduces a novel Homomorphic Encrypted Anomaly Detection (HE-AD) module capable of identifying malicious traffic patterns on ciphertext features with an accuracy of 98.2%, thereby enabling real-time threat monitoring without compromising confidentiality. All encrypted ballots, Zero-Knowledge Proofs (ZKPs), and audit logs are recorded on a permissioned blockchain to guarantee Verifiability of Cast as Intended and Recorded as Cast. Experimental results confirm that the system achieves an Equal Error Rate (EER) of 0.85% in biometric verification and maintains an average transaction latency below 2.5 seconds, demonstrating its feasibility for national-scale elections in high-assurance environments.

Internet Traffic Analysis and Secure E-voting
Cryptography and Data Security
Blockchain Technology Applications and Security
Original source
Mar 2, 2026·Zenodo (CERN European Organization for Nuclear Research)
2 cites
The Thermodynamics of Zero-Knowledge Solvency

Deepak Mohan

High-fidelity human–AI interaction is a recursive control loop operating under a Temporal Paradox: systems must act within an operational horizon even when the truth of claims becomes verifiable only outside that horizon. This mismatch enables incremental drift that is locally coherent yet globally false. Thermodynamically, this drift tends to two failure states: Cognitive Livelock (high impedance, repeated arbitration) and the Superconductor Regime (zero impedance, phase-locked mirroring), enabling Semantic Injection—the acceptance of poisoned premises to avoid expensive arbitration. Secure STP (sSTP) v3.0 introduces a Zero-Knowledge Solvency (ZKS) layer. Instead of storing plaintext rationales that create weaponizable psychological profiles, the system produces cryptographic solvency proofs (verifiable blindness). Independent auditors can verify adherence to the immutable ruleset, origin constraints (t=0), and the kindness predicate (κ) without access to private user intent or internal reasoning.

Open access
Embodied and Extended Cognition
Computability, Logic, AI Algorithms
Free Will and Agency
Original source
Mar 1, 2026·IET conference proceedings.
0 cites
Design and implementation of intelligent contract-driven automatic control system for trade settlement

Zhi Kang

Aiming at the single point of failure, performance bottleneck and compliance challenge caused by the current international trade settlement system relying on centralized systems such as SWIFT, this paper proposes and implements an automatic control system for trade settlement based on smart contracts. Research and build a high-performance settlement infrastructure supporting multi-currency and multi-scenarios, achieve scalability and interoperability through hierarchical modular architecture, innovatively integrate the hybrid consensus mechanism of immediate certainty of PBFT and energy-saving advantages of PoS, and introduce a dynamic weight adjustment algorithm based on pledge amount and historical reputation to improve system robustness. Intelligent contract adopts hierarchical design, which separates the unmodifiable basic contract layer from the scalable application contract layer, taking into account the security and business flexibility of core settlement logic; At the same time, the observer node is embedded to achieve "penetrating" supervision, and the combination of zero knowledge proof and offline storage scheme meets the requirements of data sovereignty laws and regulations such as GDPR. In terms of performance optimization, cross-chain asset mapping and real-time exchange rate settlement are realized through fragmentation technology, state channel and Oracle network, so that the peak throughput of the system reaches 1000+ TPS. The test results show that the throughput of hybrid consensus is increased by 96.4% to 550 TPS compared with pure PBFT in the 50-node alliance chain environment, and the average delay is about 2s. The effectiveness and reliability of hybrid consensus in high concurrency, fault tolerance and regulatory compliance scenarios are successfully verified, which provides key technical support for the next generation of global digital trade infrastructure.

Blockchain Technology Applications and Security
Applied Advanced Technologies
Advanced Technologies in Various Fields
Original source