Secure and transparent attendance management has become increasingly important in educational institutions as conventional attendance systems often face challenges such as proxy attendance, unauthorized record modification, and limited traceability. Most existing solutions rely on centralized databases, making them susceptible to data tampering, accidental loss, and single-point failures. This paper presents a Blockchain-Based Attendance Management System that leverages blockchain technology to provide a decentralized and immutable mechanism for recording and verifying attendance information. The proposed framework integrates a React.js-based user interface with a Node.js and Express.js backend, while Firebase Authentication and Firestore manage user authentication and application data. Attendance records are securely stored through Ethereum smart contracts executed on the Ganache blockchain network, with transaction hashes linked to Firebase for efficient retrieval and verification. This hybrid architecture combines the scalability of cloud-based data management with the integrity and transparency of blockchain technology. Once attendance is recorded, the information cannot be altered without detection, ensuring reliable auditability and improved trust among students, faculty members, and administrators. The implemented system demonstrates secure attendance recording, fast verification, and efficient transaction management while reducing the possibility of record manipulation. The proposed solution offers a practical, scalable, and cost-effective approach for modern attendance management and provides a strong foundation for future enhancements such as biometric authentication, QR code-based attendance, and cloud-enabled blockchain deployment.
The rapid growth of digital education and online recruitment has significantly increased the demand for reliable academic credential verification. Conventional certificate verification methods are often centralized, time-consuming, and susceptible to document forgery, unauthorized modification, and administrative delays. To address these challenges, this paper presents a Blockchain-Enabled Decentralized Framework for Secure Academic Certificate Issuance and Real-Time Verification. The proposed framework utilizes Ethereum blockchain technology through Solidity smart contracts to establish an immutable and transparent repository of certificate records, ensuring that issued credentials cannot be altered without detection. A SHA-256 cryptographic hashing mechanism is employed to generate unique digital fingerprints for each certificate, while Firebase Authentication and Cloud Firestore provide secure identity management and efficient off-chain metadata storage. The user interface is developed using React.js, enabling educational institutions to issue certificates and allowing employers, universities, and other stakeholders to verify credentials instantly through a simple web-based platform. During verification, the system recomputes the certificate hash and compares it with the blockchain record to detect tampering and validate authenticity in real time. Experimental evaluation on a local Ethereum network demonstrates reliable certificate issuance, rapid verification with sub-second response times, secure transaction handling, and effective resistance against certificate forgery. The proposed framework enhances transparency, trust, and operational efficiency while minimizing manual verification efforts. Furthermore, its modular architecture facilitates future migration to public blockchain networks and decentralized storage platforms, making it suitable for scalable deployment across educational institutions and digital credential ecosystems.
Pipelines that pair a large language model with a static analyzer, feeding findings back as repair instructions, appear throughout recent smart contract repair research. They rest on a rarely examined assumption: that the analyzer output serving as the oracle faithfully records what the analyzer found. I report three ways that assumption fails, identified during a four-contract instrument-validation exercise preceding a planned repair study. First, Mythril v0.24.8 can exit without reaching the analysis phase while returning exit status zero, empty standard error, and a findings array byte-identical to that of a genuinely clean scan; the failure is reported in a sibling JSON field that finding-extraction code has no reason to read. Second, 12 of 23 Slither findings in my validation set fell outside the high, medium, and low impact bands, so an unfiltered count measures a composite whose components may not behave alike under repair. Third, keying finding identity on source location breaks across repair rounds. On the one contract carried through three rounds, location-based keying inflated resolved findings from 7 to 12 and introduced findings from 2 to 7. The underlying instability is established in the warning-tracking literature; my contribution is its consequence for repair metrics, where it biases both transition counts upward and can confound comparison between methods producing differently sized .patches. I separately report an executed exploit showing a specification-level authorization defect that produced no high or medium impact finding. I propose calibration procedures for each hazard and release the harness, contracts, and raw analyzer output at doi:10.5281/zenodo.21586404.
This paper develops a Quantum-Institutional Automated Negotiation (QIAN) algorithm as an intelligent decision support system for carbon credit markets, contributing to quantum game theory applications in automated negotiation and institutional decision-making. We extend the EisertâWilkensâLewenstein (EWL) framework by introducing an Institutional Filter Function Ί_C that maps continuous quantum strategiesâphase shifts and superpositionsâonto finite, legally viable contract archetypes. This filter models regulatory, political, and organizational constraints that collapse the infinite quantum strategy space into a tractable finite set, enabling computationally efficient decision support. We prove convergence of the automated negotiation algorithm to a Pareto-superior Nash Equilibrium and demonstrate, through Monte Carlo simulation with literature-calibrated parameters, that the collapsed quantum equilibrium yields a mean joint utility uplift of 13.5% over classical cooperation (95% CI: 9.8%â17.3%, p < 0.001), with the upper bound reaching 17.3% and 26.8% of simulations achieving uplifts in the 15â30% range. The framework maps directly to blockchain-based smart contracts, providing a deployable mechanism for sustainable carbon markets that aligns with SDG 13 (Climate Action) and SDG 17 (Partnerships). This work advances quantum game theory from abstract formalism to computational institutional design, offering a novel decision support approach for negotiation analysis under real-world constraints.
Decentralised finance (DeFi) is a relatively new trend in finance that uses blockchain, smart contracts, and distributed ledger technology to offer financial services in a decentralised manner. Although scholars have made many theoretical advances in decentralised finance in recent years, knowledge of its theoretical structure and future research areas remains limited. This is why this study provides a bibliometric analysis of 1002 articles on DeFi published in Scopus between 2012 and 2026. The analysis uses performance analysis and a science mapping approach based on citation analysis, co-authorship, bibliographic coupling and keyword co-occurrence analysis. The results reveal a remarkably high annual growth rate of 39.34% and DeFiâs dynamism and interdisciplinary nature. The three main countries involved in DeFi research are the USA, China, and the UK. Management Science, Energy Economics and Technological Forecasting and Social Change became the main scientific journals for disseminating knowledge about DeFi. Analysis of thematic changes showed a transition of scientific interests from blockchain and cryptocurrencies to new topics, like artificial intelligence, sustainability, governance, and financial inclusion. Overall, the current study provides a better understanding of the intellectual, conceptual, and social basis of DeFi and highlights possible research areas in the use of artificial intelligence in DeFi, decentralised governance, and sustainable digital financial system development.
Dileep Kumar Murala, G. Siva Krishna, P. N. V. M. Syamala Rao, Madhusudana Rao Nalluri · 5 authors
Integrating blockchain technology with cloud computing has enabled Blockchain as a Service (BaaS), a cloud-based paradigm that allows users to design, deploy, and manage customized blockchain applications, including smart contracts and domain-specific business functionalities. BaaS providers manage infrastructure provisioning, maintenance, and scalability while ensuring quality of service (QoS) compliance through service level agreements (SLAs). However, existing resource management approaches often struggle to satisfy dynamic performance requirements in a cost-efficient manner without increasing operational overhead or reducing provider efficiency. This paper presents a structured Adaptive SLA-based assistance framework for deploying Hyperledger Fabric on cloud platforms. The framework integrates automated performance monitoring using Hyperledger Caliper, SLA violation detection through programmed SLA chaincode, and automated VM scaling via the OpenStack4J API within a 3E (effectiveâefficientâeconomical) verification methodology. A greedy multi-objective scheduling mechanism guides parameter optimization by selecting scaling actions according to marginal performance gain per unit cost. Experiments were conducted on the Nectar Research Cloud using Hyperledger Fabric 2.5 to evaluate the impact of VM size, block size, peer count, and storage configuration on throughput (TPS) and average latency. Results demonstrate that the framework consistently achieves performance targets of 50%, 100%, and 200% above the baseline configuration through adaptive resource reconfiguration. Among evaluated strategies, Comb2, which combines dual block size adjustment with VM scaling, emerged as the optimal balanced configuration in terms of performance and cost efficiency. While automated monitoring, SLA enforcement, and VM scaling are fully implemented, continuous online scheduling under dynamically changing workloads remains future work. The proposed framework establishes a practical foundation for SLA-driven blockchain optimization in cloud environments and supports future extensibility to additional BaaS platforms.
The construction industry faces several difficulties in warehouse management along with construction industry&s;s supply chain that is characterized by complex, multi-tiered interactions involving material suppliers, transporters, contractors, and on-site project managers. Traditional management systems suffer from delayed information exchange, lack of transparency, and vulnerability to fraud or errors, often leading to cost overruns and schedule delays. The purpose of the current paper is to suggest an Artificial Intelligence of Things (AIoT) and blockchain-based supply chain management model to be used in the construction industry. AIoT involves the use of IoT devices or RFID tags, GPS trackers, and environmental sensors along with AI algorithmic methods to conduct predictive analytics, anomaly detection, and automated decision-making in the edge or the cloud. Blockchain technology offers the benefit of immutable and transparent records that cannot be altered and is tamper resistant, which facilitates trust among the distributed stakeholders and automates the workflows of the contract through the use of smart contracts. The architecture that is proposed has three layers: 1 AIoT real-time data acquisition sensing and analytics, 2 Secure data storage blockchain ledger and smart contract execution, and 3 A stakeholder application dashboard. In order to test our framework, we conducted a simulation of a scenario with prefabricated steel parts as supply. We determined the effectiveness of the system in tracking items, recording events as swiftly as possible, the security of the process and the efficiency of the whole process. The findings were also staggering: the accuracy of the tracking increased by 92 percent, the reporting is 58 percent quicker, and the prevention of fraud is much more robust than the traditional ERP systems. Such results demonstrate that the convergence of the AIoT and blockchain technologies can contribute to the solution of current issues in the supply chain in construction, which will result in the improved and more data-driven project management. Second, we will experiment with this approach through real life projects and how it could be used with Building Information Modelling (BIM) platforms.
Murugeshwari B., Kayalvizhi S, Daya Florance D, Saranya S
To deploy deep learning-based diagnostic systems in a clinical setting, they need to have not only a high degree of predictive accuracy, but also an unbroken cryptographic chain to prove that the model parameters have not been changed from one inference to the next. This incompatibility arises because softmax, GELU activation, and layer normalization involve transcendental operations to produce the final output. Transcendental operations cannot be represented over the prime finite fields that are necessary when utilizing Rank-1 Constraint Systems (R1CS). The work here provides a mathematically sound approach to resolving the incompatibility by providing three formally defined polynomial approximations: a degree-3 Taylor series softmax approximation (Δ †2.47E-03 per weight); a degree-5 composite polynomial GELU (Δ †1.80E-03); and a squared witness hint reformulation of layer normalization that results in exact constraint satisfaction. The accumulating polynomial approximation errors across 12 transformer encoder blocks have a total approximation error defined as (Δ total †0.0512) and results in a loss of less than one-fifth of a percent in accuracy (94.1% vs. 94.3%) on the RSNA Pneumonia Detection benchmark. The entire ViT-B/16 inference model was compiled into an R1CS form of approximately 2.3Ă10âž R1CS constraints and instantiated as a Groth 16 zk-SNARK. The integrity of the model is confirmed by hashing the parameters using SHA-256 onto an immutable Polygon zkEVM smart contract, allowing for on-chain verification of inference without revealing any of the proprietary model weights. Additionally, this system produces an area under the receiver operating characteristic curve (AUC-ROC) of 0.961, a mean latency for proof generation of 2.84 seconds, an end-to-end verification time of 5.07 seconds, and an average cost for on-chain verification of 0.012ETH, all within the operational constraints of typical radiology workflows.
What is real has always been something we find , not something we make âor so philosophy has assumed. This paper argues otherwise. Characterizing reality through resistance rather than substance (the ways the world refuses a subjectâs mastery), I distinguish three modalities correlative to epistemic, judgmental, and practical mastery: Substrate (matterâs resistance to representation), Contingency (the forceful givenness of experience that resists revision by judgment), and the Inexorable (structuresâ resistance to intervention). Treating virtual environments, AI agents, and blockchain smart contracts not as proofs but as revelatory cases, I show that technology now extends the latter two modalities, Contingency and the Inexorable, artificially. The result is the paperâs central concept, Artificial Externality : human-made structures whose resistance to intervention is deliberately engineered to be practically insurmountable, even for their creators, and that thereby acquire an externality once attributed only to nature. Absoluteness, traditionally found, can now be produced. I close by drawing out the stakes for consciousness: our criteria for what counts as real quietly shape our criteria for what counts as conscious.
Muhammad Ali Hassan Ahmad, Muhammad Hashim Ali, Muhammad Ali Amer, Muhammad Naiman Jalil · 6 authors
A blockchain is a decentralized, secure ledger system that enables transparent and immutable record-keeping, essential for trust and security in digital transactions. Smart contracts are self-executing agreements encoded on a blockchain, enabling different parties to fulfill the terms of the agreement automatically. These contracts trigger corresponding actions when conditions are met, ensuring decentralized and transparent transactions. Writing reliable smart contracts is challenging due to the lack of standardization. To find security vulnerabilities, tools based on various approaches, including symbolic execution, are used. However, these tools often report a large number of false positives, raising concerns about their reliability. The time and effort spent investigating false positives diverts resources from addressing actual vulnerabilities. Therefore, such tools must also be evaluated according to the rate of false positives they exhibit. More importantly, the algorithms and heuristics used by the tools must be enhanced to distinguish between true vulnerabilities and false alarms. In this paper, we first demonstrate the prevalence of false positives in vulnerability reports generated by Mythril, a symbolic execution-based analysis tool for Ethereum smart contracts. We analyze the root causes of these inaccuracies and devise a rule-based approach based on the gained insight to reduce false positives. We implement our rules for the most impactful vulnerabilities in Mythril and assess the effectiveness of our approach. Our results show a significant reduction in false positives without compromising the detection of true vulnerabilities, thus enhancing the tool's reliability.
Stablecoins have rapidly emerged as an important class of digital assets and a component of the digital financial ecosystem. Despite their growing importance, the statistical properties of stablecoin transaction activity remain largely unexplored. To the best of our knowledge, this is the first study to investigate scaling behavior in stablecoin transaction data, focusing on USDT and USDC. We analyze approximately 370 million USDT and USDC transactions recorded on the Ethereum blockchain across six periods spanning June 2024 to February 2026. Based on interactions between Externally Owned Accounts (EOAs) and Smart Contracts (SCs), we classify transactions into four categories: EOA-EOA, EOA-SC, SC-EOA, and SC-SC. Using maximum-likelihood estimation of power-law exponents, we find that transaction value distributions exhibit heavy-tailed scaling for both stablecoins across all periods and interaction categories. We identify two distinct scaling regimes: EOA-involved categories cluster around 1.45-1.60, whereas SC-SC transactions exhibit higher exponents of approximately 1.72-1.73. Sensitivity analysis confirms that this separation is robust across periods, stablecoins, and fitting sample sizes. Counterfactual analysis shows that changes in category weights alone cannot explain the observed variation in the overall exponent. Across different sample sizes, the counterfactual path accounts for only about 10%-35% of the total temporal range observed in the actual data. Overall, our results indicate two broadly differentiated scaling regimes in the tail of stablecoin transaction values. Power-law tail behavior is observed throughout stablecoin transaction activity, but the exponent depends on whether transactions are driven by EOAs or SCs. These findings provide a basis for further research on scaling behavior and transaction heterogeneity in blockchain-based financial systems.