Alinsha S, A Althaf, Chris P Reji, Fahad Mohammed A · 6 authors
Electronic voting techniques have gained popularity as a contemporary alternative to traditional paper-based elections because of their effectiveness and accessibility. The current electronic voting methods, however, have significant security flaws, such as multiple voting, identity theft, centralized control, and a lack of transparency. Despite the fact that blockchain technology is decentralized, immutable, and auditable, many blockchainbased voting systems merely employ cryptographic credentials and lack robust voter identification verification processes. The blockchain-based electronic voting system SecureVote, which incorporates multi-factor verification and facial biometric authentication, is proposed in this study. Ethereum smart contracts are used by the system to guarantee transparent result calculation and tamper-proof vote storage. SecureVote employs one-time password (OTP) validation as a secondary authentication method in conjunction with client-side facial recognition and deep learning-based feature extraction. The suggested design makes use of Web3.js and a decentralized application (DApp) concept for safe wallet-based transaction signing and blockchain interaction. High authentication reliability, avoidance of double voting, and effective transaction processing with low gas overhead are all demonstrated by the experimental results. SecureVote combines biometric multifactor authentication with blockchain immutability to enhance the reliability, transparency, and integrity of remote voting.
Open access
2 source records
Internet Traffic Analysis and Secure E-voting
Blockchain Technology Applications and Security
Advanced Steganography and Watermarking Techniques
This paper introduces an energy-efficient, Blockchain-Based, Dual-Agent, Reinforcement Learning (BDARL) model of resilient EV-grid integrative effect. All EV energy transactions and agent decisions are validated by the blockchain layer that is integrated through a lightweight proof-of-stake consensus mechanism, and this ensures the tamper-proof functioning and decentralized trust. The proposed framework is applying to a MATLAB/Simulink-Python TensorFlow-Hyperledger Fabric co-simulation environment where the performance analysis shows a 98.8 per cent Resilience Coordination Index (RCI), a 36.7 per cent Energy Efficiency Gain (EEG), a 31.5 per cent Load Stabilization Score (LSS), and a transaction latency of 25 ms. Compared to baseline DRL and non-blockchain schedulers, BDARL offers 7.9% improvement in terms of resilience, 8.4% in terms of energy efficiency, and 14 ms better convergence, so it provides a safe, sustainable, and smart paradigm of managing next-generation EV-grid synergy.
Sushanth Ambati, Kainat Adeel, Jack Myers, Nikolay Ivanov
Self-Sovereign Digital Identity (SSDI) enables individuals to control their own identity assertions and data, rather than relying on centralized or federated systems prone to large-scale data breaches. By eliminating centralized databases maintained by service providers and identity brokers, SSDIs offer enhanced security and privacy. However, adoption remains slow, and research in this area lacks systematization and uniformity. To address these gaps, we present a comprehensive systematization of knowledge on self-sovereign digital identities, with a primary focus on identifying the challenges that impede real-world adoption. We survey 80 academic and non-academic sources and identify six major challenges: (i) binding a single identity to one individual or organization, (ii) the absence of mature cryptographic and communication protocols, (iii) significant usability barriers, (iv) regulatory and oversight gaps, (v) bootstrapping to critical-mass adoption, and (vi) dependence on a permissionless, decentralized, yet singular infrastructure that may expose unforeseen vulnerabilities over time. We then analyze 47 scientific publications and find that the vast majority focus on blockchain-based solutions rather than generalized SSDI architectures. Additionally, we catalog 12 real-world, production-grade SSDI applications. Our evaluation of these solutions reveals that self-sovereignty is, in practice, a spectrum rather than a binary property. Finally, we explore the frontiers of SSDI by identifying major trends, open problems, and opportunities for future research. We hope this systematization will help advance the shift from centralized to self-sovereign digital identities in a disciplined and impactful way.
Cross-chain token standards enable fungible tokens that exist across multiple blockchains with a unified total supply model. This paper presents a comprehensive comparative analysis of five leading cross-chain token standards and frameworks: the xERC20 standard (implementing ERC-7281), the Omnichain Fungible Token (OFT) standard, the Native Token Transfers (NTT) framework, the Cross-Chain Token (CCT) standard, and the SuperchainERC20 standard (implementing ERC-7802). We examine each standard's distinguishing properties and technical design, including architecture, message-passing mechanisms, interoperability scope, chain compatibility, and security features. Our analysis reveals that while all these standards share the goal of seamless cross-chain fungibility, they differ significantly in implementation approach, trust model, and target ecosystem.
We introduce LegalEdge, an edge intelligence-driven framework that integrates Federated Learning (FL) and Deep Q-Networks (DQN) to optimize electric vehicle (EV) charging infrastructure. LegalEdge contracts are novel smart contracts deployed on the blockchain to manage dynamic pricing and incentive mechanisms transparently and autonomously. By leveraging FL, multiple edge devices such as EV charging stations collaboratively train DQN agents without sharing raw data, preserving user privacy while reducing communication costs. These edge-deployed agents learn optimal charging strategies in real time based on local conditions and global policy updates. LegalEdge ensures low-latency decisions, high contract integrity, and efficient energy allocation. Our experimental results demonstrate significant improvements in learning convergence, transaction speed, and operational transparency, establishing LegalEdge as a scalable, intelligent, and accountable solution for next-generation EV charging networks.
Mahafujul Alam, Julie B. Heynssens, Bertrand Francis Cambou
In the current information age, asymmetrical cryptography is widely used to protect information and financial transactions such as cryptocurrencies. The loss of private keys can have catastrophic consequences; therefore, effective MFA schemes are needed. In this paper, we focus on generating ephemeral keys to protect private keys. We propose a novel bit-truncation method in which the most significant bits (MSBs) of response values derived from facial features in a template-less biometric scheme are removed, significantly improving both accuracy and security. A statistical analysis is presented to optimize an MFA comprising at least three factors: template-less biometrics, an SRAM PUF-based token, and passwords. The results show a reduction in both false-reject and false-acceptance rates, and the generation of error-free ephemeral keys.
Purpose: This paper examines blockchain technologies as instruments to strengthen archival management by providing verifiable authenticity, tamper evidence, and resilient traceability for digital records. It situates blockchain within Oman Vision 2040 and evaluates how distributed ledger technology (DLT) can be piloted and integrated with existing archival infrastructures. Method/Approach: A qualitative case-study approach synthesizes three evidence streams: international pilot project reports such as ARCHANGEL, peer-reviewed literature and technical white papers (2017–2024), and semi-structured expert interviews and institutional readiness analyses from Oman. Thematic analysis examined three domains: integrity & authenticity, transparency & access, and institutional readiness & governance. Results: Blockchain provides a cryptographic chain-of-custody and tamper-evident anchoring model for archival objects by writing content fingerprints to distributed ledgers while storing content off-chain. International pilots show feasibility; however, challenges include governance design, legal recognition, interoperability, cost, and capacity building. Conclusion: Blockchain is a promising augmentation to archival toolkits but is not a substitute for core preservation practices. Recommendations include staged pilots in Oman, a hybrid architecture, standardized hashing and metadata practices, training, and regional consortia for governance and cost distribution.
Federated learning enables financial institutions to collaboratively develop credit risk models while maintaining data privacy, yet existing implementations prioritize accuracy and confidentiality over transparency and regulatory compliance requirements. Current federated approaches treat explainability as a secondary concern addressed through separate post-processing workflows, creating significant gaps in auditability and stakeholder trust that limit adoption in regulated environments. This article introduces the Explainable Update Auditing framework, which embeds transparency mechanisms directly into federated training protocols through local explanation bundles and privacy-preserving audit trails. The framework generates standardized, model-agnostic explanations that characterize how institutional updates influence global model behavior without exposing proprietary data or competitive information. Cryptographic attestation mechanisms verify compliance with fairness, stability, and governance constraints throughout training processes using zero-knowledge proof systems that maintain institutional confidentiality while providing mathematical assurance of appropriate collaborative behavior. The dual-layer trust mechanism addresses distinct information needs across multiple stakeholder groups, including participating institutions, regulatory authorities, internal governance bodies, and affected borrowers. Implementation considerations reveal computational overhead challenges, privacy-utility trade-offs, and cryptographic protocol efficiency requirements that must be addressed for practical deployment. The framework transforms federated learning from an opaque collaboration protocol into a transparent, auditable ecosystem that satisfies regulatory requirements while preserving privacy guarantees essential for cross-institutional partnerships in credit risk modeling applications.
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
The Ethereum ecosystem, which secures over $381 billion in assets, fundamentally relies on client APIs as the sole interface between users and the blockchain. However, these critical APIs suffer from widespread implementation inconsistencies, which can lead to financial discrepancies, degraded user experiences, and threats to network reliability. Despite this criticality, existing testing approaches remain manual and incomplete: they require extensive domain expertise, struggle to keep pace with Ethereum's rapid evolution, and fail to distinguish genuine bugs from acceptable implementation variations. We present APIDiffer, the first specification-guided differential testing framework designed to automatically detect API inconsistencies across Ethereum's diverse client ecosystem. APIDiffer transforms API specifications into comprehensive test suites through two key innovations: (1) specification-guided test input generation that creates both syntactically valid and invalid requests enriched with real-time blockchain data, and (2) specification-aware false positive filtering that leverages large language models to distinguish genuine bugs from acceptable variations. Our evaluation across all 11 major Ethereum clients reveals the pervasiveness of API bugs in production systems. APIDiffer uncovered 72 bugs, with 90.28% already confirmed or fixed by developers, including one critical error in the official specifications themselves. Beyond these raw numbers, APIDiffer achieves up to 89.67% higher code coverage than existing tools and reduces false positive rates by 37.38%. The Ethereum community's response validates our impact: developers have integrated our test cases, expressed interest in adopting our methodology, and escalated one bug to the official Ethereum Project Management meeting. By making APIDiffer open-source, we enable continuous validation of Ethereum client API implementations, thereby strengthening the foundational integrity of the entire Ethereum ecosystem.
Abstract Software development plays a central role in digital sustainability, yet developers’ role and engagement remains understudied. Here we analyse nearly a decade of developer discussions available on the code repository Github on Ethereum, a widely used open-source blockchain platform. Using topic modelling, with interpretation supported by large language models and a sustainability framework for software systems, we trace how economic, environmental, social, individual, and technical sustainability themes emerge and evolve over time. We find that sustainability awareness, particularly related to energy efficiency and cost, intensifies during key events such as the transition from proof-of-work to proof-of-stake consensus, which substantially reduced energy use. We identify influential contributors and thematic specialisation, providing a transferable framework for understanding sustainability in emerging developer communities. These findings highlight the role of developer discourse in shaping sustainable software ecosystems and integrating sustainability into open-source development.
O presente artigo formaliza o <i>Economic Centrifugal Dispersion Model</i> (ECDM) como uma estrutura analítica de alta fidelidade para a compreensão da propagação de capital e incentivos em ecossistemas de Web3 e finanças descentralizadas (DeFi). Fundamentado em uma convergência interdisciplinar entre a praxeologia da escola austríaca, a física estatística e a dinâmica de sistemas complexos, o modelo propõe que a injeção monetária em sistemas baseados em <i>blockchain</i> gera forças dispersivas análogas às forças centrífugas. A pesquisa detalha a formulação matemática do modelo, integrando equações diferenciais não lineares para descrever o comportamento de variáveis como o influxo de capital, a velocidade de circulação e a resistência institucional. Adicionalmente, o trabalho explora a aplicação da Lei de Benford como ferramenta de auditoria estatística para detecção de anomalias em transações <i>on-chain</i> e propõe o Índice de Fragilidade Tokenômica (FTF) como métrica de risco sistêmico. Através da análise de expoentes de Lyapunov e diagramas de bifurcação, demonstra-se como pequenas flutuações paramétricas em Organizações Autônomas Descentralizadas (DAOs) podem induzir regimes de caos determinístico. O estudo conclui que a sustentabilidade de protocolos descentralizados depende de um equilíbrio crítico entre a dispersão centrífuga e a coesão institucional, oferecendo um arcabouço para o <i>design</i> de sistemas econômicos resilientes.<br>
This paper analyzes the reconfiguration of business models in the Decentralized Finance (DeFi) ecosystem under the aegis of informational capitalism 4.0.It investigates the paradigmatic transition from restricted innovation to models of open innovation and algorithm-mediated co-creation, based on a new regime of mathematical trust.From a socio-technological perspective, it discusses the tensions between protocol autonomy and state regulation, identifying the challenges that algorithmic governance and social datafication pose to monetary sovereignty and ethics in the technology sector.It is concluded that the success of DeFi depends on the balance between radical decentralization and governance mechanisms that prevent the concentration of power, especially in the context of Latin American development.
Robots are improving their autonomy with minimal human supervision. However, auditable actions, transparent decision processes, and new human-robot interaction models are still missing requirements to achieve extended robot autonomy. To tackle these challenges, we propose RODEO (RObotic DEcentralized Organization), a blockchain-based framework that integrates trust and accountability mechanisms for robots. This paper formalizes Decentralized Autonomous Organizations (DAOs) for service robots. First, it provides a ROS-ETH bridge between the DAO and the robots. Second, it offers templates that enable organizations (e.g., companies, universities) to integrate service robots into their operations. Third, it provides proof-verification mechanisms that allow robot actions to be auditable. In our experimental setup, a mobile robot was deployed as a trash collector in a lab scenario. The robot collects trash and uses a smart bin to sort and dispose of it correctly. Then, the robot submits a proof of the successful operation and is compensated in DAO tokens. Finally, the robot re-invests the acquired funds to purchase battery charging services. Data collected in a three day experiment show that the robot doubled its income and reinvested funds to extend its operating time. The proof validation times of approximately one minute ensured verifiable task execution, while the accumulated robot income successfully funded up to 88 hours of future autonomous operation. The results of this research give insights about how robots and organizations can coordinate tasks and payments with auditable execution proofs and on-chain settlement.
This study investigates the impact of sustainability-related uncertainty (SRU)—captured via the Sustainability-related Uncertainty Index in equal-weighted (ESGUI_EQ) and GDP-weighted (ESGUI_GDP) forms—on the volatility of green financial assets, focusing on decentralized finance (DeFi) protocols and Environmental, Social, and Governance (ESG)-focused Exchange-Traded Funds (ETFs). Employing a fuzzy logic framework, complemented by 3D surface visualization, Rule Viewer analysis, diagnostic validation, and Granger causality tests, the study uncovers non-linear, asymmetric, and time-varying responses of these assets to sustainability ambiguity. Empirical results reveal a structural divergence: DeFi protocols amplify volatility due to fragmented governance, speculative investor behavior, and sensitivity to policy-driven signals, often exhibiting bidirectional predictive feedback with SRU, whereas ESG ETFs maintain stability through diversification, regulatory oversight, and rigorous ESG screening, primarily absorbing sustainability shocks. These findings extend sustainable finance theory by integrating governance, technology, and policy dimensions, and illustrate the value of fuzzy logic combined with Granger causality in modeling complex, ambiguous markets. From a practical standpoint, the study provides actionable guidance for investors, fund managers, and policymakers, emphasizing the importance of technology-informed governance, standardized ESG disclosures, regulatory sandboxes, and continuous monitoring of SRU.
The advancement of blockchain technology has introduced Non-Fungible Tokens (NFTs) as digital assets representing ownership of creative works. However, the burgeoning NFT market precipitates significant legal risks, primarily arising from the dichotomy between the ownership of the digital token and the copyright of the underlying work. This research aims to examine the juridical risks inherent in NFT transactions, given the regulatory lacuna within the Indonesian legal system. Although Law No. 28 of 2014 concerning Copyright provides a normative framework, its application within the NFT ecosystem confronts challenges regarding legal certainty and platform accountability. The findings underscore the exigency of statutory harmonization and a more comprehensive legal protection mechanism, including defined liabilities for Electronic System Providers (ESPs), to mitigate risks and ensure equitable legal protection within Indonesia’s digital economy.
This paper presents a detailed analysis of the environmental impact of Chia Network (Chia for short), a green-claimed blockchain, which uses a Proof of Space and Time (PoST) consensus mechanism. While Chia claims to be a sustainable alternative to Proof-of-Work-based blockchains, our results show that its resource-intensive initialization phase and ongoing operations lead to carbon emissions 18x higher than claimed (0.88 MtCO2/year), exceeding mainstream "green" blockchains by orders of magnitude. We combine experimental measurements from a controlled testbed (Grid'5000) with theoretical modeling of operational and embodied emissions to assess Chia's true sustainability profile.
The smart home is a key application domain within the Society 5.0 vision for a human-centered society. As smart home ecosystems expand with heterogeneous IoT protocols, diverse devices, and evolving threats, autonomous systems must manage comfort, security, energy, and safety for residents. Such autonomous decision-making requires a trust anchor, making blockchain a preferred foundation for transparent and accountable smart home governance. However, realizing this vision requires blockchain-governed smart homes to simultaneously address adaptive consensus, intelligent multi-agent coordination, and resident-controlled governance aligned with the principles of Society 5.0. Existing frameworks rely solely on rigid smart contracts with fixed consensus protocols, employ at most a single AI model without multi-agent coordination, and offer no governance mechanism for residents to control automation behaviour. To address these limitations, this paper presents the Society 5.0-driven human-centered governance-enabled smart home blockchain agent (S5-SHB-Agent). The framework orchestrates ten specialized agents using interchangeable large language models to make decisions across the safety, security, comfort, energy, privacy, and health domains. An adaptive PoW blockchain adjusts the mining difficulty based on transaction volume and emergency conditions, using digital signatures and a Merkle tree to anchor transactions and ensure tamper-evident auditability. A four-tier governance model enables residents to control automation through tiered preferences from routine adjustments to immutable safety thresholds. Evaluation confirms that resident governance correctly separates adjustable comfort priorities from immutable safety thresholds across all tested configurations, while adaptive consensus commits emergency blocks.
The aim of this research is to study XRP cryptoasset price dynamics, with a particular focus on forecasting atypical price movements. Recent studies suggest that topological properties of transaction graphs are highly informative for understanding cryptocurrency price behavior. In this work, we show that specific topological properties of the XRP transaction graphs provide important information about extreme XRP price surges, and can be used for more competitive prediction of anomalous price dynamics.
This study examines access to clean and sustainable energy in the city of Mbandaka, Democratic Republic of Congo. Using a mixed-method approach combining surveys of 150 households and semi-structured interviews, it highlights a strong dependence on traditional energy sources such as wood and charcoal, despite a growing adoption of solar energy. Results show that 30% of households already use solar energy for lighting, while 72% still rely on charcoal for cooking. The main barriers to energy transition are the high initial cost of equipment and the lack of information about clean technologies. The study concludes that the energy transition in Mbandaka is technically feasible and socially desirable but requires institutional support, inclusive financing mechanisms, and participatory governance. It advocates for a territorial approach based on decentralization and environmental education.
Vaishnavi S. Jadhav, Sakshi S. Niphade, S. S. Mahale
Secure data sharing has become a critical challenge in modern digital ecosystems due to increasing data breaches, lack of transparency, and dependence on centralized authorities. Traditional data-sharing mechanisms often suffer from single points of failure, unauthorized access, and limited trust among participating entities. Blockchain technology, with its decentralized, immutable, and cryptographically secure architecture, offers a promising solution to these challenges. This research paper explores the application of blockchain technology for secure data sharing, emphasizing its ability to ensure data integrity, confidentiality, transparency, and access control. The study examines how features such as distributed ledgers, smart contracts, and consensus mechanisms can be leveraged to manage data ownership, enforce access policies, and prevent tampering. Various blockchain-based data-sharing models are reviewed across domains such as healthcare, finance, and supply chain management. The paper also discusses key challenges, including scalability, privacy preservation, interoperability, and regulatory concerns. Finally, future research directions are highlighted to enhance the efficiency and practicality of blockchain-enabled secure datasharing systems
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).
У статті запропоновано модель зберігання та верифікації персональних даних на основі технології розподіленого реєстру (блокчейну), орієнтовану на підвищення довіри до цифрових сервісів. Розглянуто архітектуру системи, що включає модулі збору, шифрування, запису метаданих у блокчейн, контроль доступу за допомогою смарт-контрактів і алгоритми перевірки цілісності даних без їх розкриття. Описано формат блоку для запису, модель управління правами доступу на основі мультипідпису та реалізацію політик доступу у вигляді смарт-контрактів. Проведено експериментальне тестування продуктивності моделі в середовищі Hyperledger Fabric із використанням типових сценаріїв, зокрема перевірки освітніх і медичних записів, електронної ідентифікації тощо. Отримані результати свідчать про високу швидкість верифікації, низьке ресурсне навантаження та масштабованість. Запропоноване рішення демонструє наукову новизну завдяки поєднанню механізмів zero-knowledge proof, гнучких політик доступу й інтеграції з зовнішніми цифровими платформами через API. Розроблена модель може бути основою для створення довірених цифрових інфраструктур у сфері електронного врядування, охорони здоров’я та фінансів.
The housing market is of great significance to the development and advancement of cities, but customary forms of property valuation are frequently biased, time-consuming, and not always effective. This paper focuses on the city of Irbid in Jordan, aiming to collect all the information on apartments and houses, predict the prices of properties, and clarify the key factors influencing the prices. Following the comprehensive cleaning process of the data and exploratory analysis, three ensemble machine learning models were trained and optimized to achieve accurate price predictions. The performance of all three models demonstrated excellent and consistent predictions, highlighting the efficiency of ensemble methods in predicting property prices. SHAP analysis indicated that the size of the house, the number of bedrooms, the number of lounges as well as the location are the most significant factors influencing the prices in Irbid. This reflects the functioning of the local market.