Decentralized autonomous organizations (DAOs) represent one of the most consequential experiments in organizational design to emerge from blockchain technology. By encoding governance rules into smart contracts and recording every vote, proposal, and treasury decision immutably on-chain, DAOs offer globally distributed communities a high degree of transparency and accountability in collective decision-making. This study examines governance design and participatory innovation across three DAOs: RARI DAO, Arbitrum DAO, and Optimism DAO. Each has taken a distinct structural approach to the problem of collective decision-making at scale. Using a qualitative comparative case study method, the research draws on governance forum discussions, proposal records, and official documentation, analyzed through thematic coding and cross-case comparison. The theoretical frame draws primarily from Ostrom’s (1990) commons governance principles, with Scott’s (1995, 2014) institutional theory and Donaldson’s (2001) contingency theory applied as supplementary analytical lenses. Across all three cases, the findings indicate the emergence of increasingly formalized governance architectures designed to balance decentralization, coordination efficiency, and operational security. Communities building governance infrastructure from scratch, iterating rapidly in response to community feedback, and developing structural solutions: delegate incentive programs, participation incentive mechanisms, bicameral legitimacy systems, constitutional frameworks, and dedicated legal entities that represent an emerging configuration of governance mechanisms. Two cross-case findings are particularly notable. First, all three DAOs independently converged on a three-body governance architecture comprising a legal foundation, a security council, and token-holder governance — suggesting that similar governance problems, encountered in similar technical and legal environments, tend to produce similar structural solutions. Second, while these architectures are structurally similar, they differ significantly in how governance processes are implemented in practice, reflecting differences in scale, formalization, and community context. These findings contribute to the literature by providing a structured cross-case analysis of DAO governance design and offering practical insights into programmable institutional design and blockchain-enabled coordination systems.
Many administrative processes, such as internship agreement processes, often rely on manual approval workflows and centralized record-keeping. This makes the process susceptible to delays and unauthorized modification while introducing limited traceability. This study presents StajChain, a permissioned blockchain-based multi-party internship management system developed using Hyperledger Fabric. The proposed system implements the complete internship agreement lifecycle through smart contracts and enforces role-based authorization using Hyperledger Fabric CA. The architecture consists of a React frontend, a NodeJS backend, an off-chain SQLite database, and the on-chain Fabric ledger. Users such as students, companies, faculty internship committee members, and the central internship unit can perform specified operations according to their role and identity. The agreement lifecycle follows predefined sequential steps, and at each step, the ledger status is updated and recorded securely. Furthermore, the system was evaluated using functional and performance tests, indicating acceptable throughput and latency for verifiable administrative workflows. This implementation demonstrates how permissioned blockchain technology can improve transparency, integrity, and accountability while preserving controlled access to institutional data and providing a working prototype that can be used in various future systems.
Blockchain technology, originally devised to support the peer-to-peer transfer of Bitcoin, has evolved into a multipurpose digital infrastructure with far-reaching implications for business and finance. This paper undertakes a conceptual and exploratory examination of how blockchain is reshaping financial services, corporate governance, and commercial transactions. Drawing upon secondary literature, industry reports, and case illustrations, the study investigates blockchain applications across banking, cross-border remittances, supply chain finance, trade finance, capital markets, insurance, and decentralized finance (DeFi). It also discusses the enabling features of blockchain — decentralization, immutability, transparency, and smart contracts — that differentiate it from conventional centralized systems. The paper highlights the strategic benefits accruing to firms that adopt blockchain, including reduced transaction costs, faster settlement, enhanced traceability, and improved trust among counterparties, while also identifying barriers such as regulatory ambiguity, scalability constraints, energy consumption, and limited interoperability. The discussion synthesizes findings from extant studies to present an integrated view of blockchain’s transformative potential and its practical limitations. The paper concludes that while blockchain is unlikely to replace traditional financial infrastructure entirely in the near term, its selective and hybrid adoption is poised to redefine business processes, financial intermediation, and value exchange across industries.
Smart-contract vulnerabilities often arise from inconsistencies between business paths that should correspond to one another, such as single and batch entry points, direct and adapter-based flows, quote and execution paths, or inverse operations such as buy and sell. Existing analyzers are effective for many local syntactic and data-flow patterns, but they provide limited support for bugs whose oracle is relational: whether two semantically paired paths preserve compatible guards, state transitions, value flows, and failure behavior. This paper introduces chiral analysis, a relational model that treats paired business paths as implicit specifications for each other. We formalize chiral relations as static analogues of metamorphic relations, derive obligations over guards, actors, state, value, ordering, failure behavior, and external interactions, and report a vulnerability when a violated obligation has security impact. We implement this idea in ChiralDetector, a Solidity prototype that extracts business paths, ranks candidate pairs with static facts, applies LLM-based semantic filtering and detection, and validates and deduplicates findings. In a preliminary evaluation on the Phi protocol, ChiralDetector reduced 3,217 statically ranked path pairs to 1,643 semantic candidates, produced 101 deduplicated finding groups, and retained 44 strict-validator positives that manually collapsed to 13 effective unique issues. These include cross-art Merkle proof reuse, fee unit mismatches, public state-tracking helpers, and refund propagation gaps. The results suggest that chiral analysis can expose business-logic bug classes that are difficult to express as single-function rules while providing a structured way to control LLM cost and validator precision.
Secure, interconnected, and compatible data sharing of Electronic Health Records (EHRs) across healthcare domains is essential for timely patient care and improved adaptability in healthcare infrastructures. Current challenges must be addressed, including centralization threats, fragmented standards, and threats from quantum computing. This paper proposes a blockchain-based EHR framework using post-quantum cryptography and HL7 FHIR standards for secure, interoperable data sharing. It employs smart contracts for patient-centric access control and HotStuff BFT consensus, achieving 928 TPS with 2.1-second finalization. Zero-knowledge proofs enable privacy-preserving authentication, and dynamic accumulators improve revocation storage efficiency by 89%. On a 20-node testbed, the system sustains 620 TPS at 500 ms latency, with under three-second access grants and 95% storage efficiency via cryptographic pointers. Compared to current systems, it offers 20× higher throughput and resists quantum threats. Multi-hop exchange across three hospitals reduced normalization efforts by 40%. Comprehensive assessment on the system outcomes reveals that our framework significantly enhances security, scalability, and interoperability for decentralized healthcare networks.
Smart contracts are programs that automatically enforce some kind of agreement between parties, without the need of a trusted third party. Since they frequently deal with large sums of money (in the form of crypto assets) it is critical that smart contracts attain precisely to their specification and do not have any unexpected behaviour. In this thesis, I will present two lines of research, one related to developing smart contract languages for the UTXO blockchain model, and the other related to the formalization of MEV attacks.
Federated Learning (FL) enables collaborative model training across decentralized participants without sharing raw data. However, existing FL systems remain vulnerable to Byzantine attacks and suffer from a lack of accountability, verifiability, and economic incentives for honest participation. We present BFL-Guard, a novel blockchain-orchestrated federated learning framework integrating: (i) zk-SNARK-based zero-knowledge gradient proofs, (ii) an on-chain Byzantine-tolerant aggregation smart contract, and (iii) a tokenized incentive protocol (FedToken). BFL-Guard stores model checkpoints as IPFS hashes anchored on Ethereum, ensuring tamper-evident auditability. Experiments on CIFAR-10 and Shakespeare benchmarks demonstrate 95.2% and 87.6% accuracy in IID and Non-IID settings, surpassing all baselines while converging 12.4% faster even under 30% Byzantine injection.
Elsir Ali Saad Mohamed, Khalid Ibrahim Abdelaziz Ishag, Omnia Salem, Ahd M. M. Abudraz · 8 authors
The convergence of blockchain technology and the Metaverse is redefining digital media ownership and distribution. Drawing on survey data from 613 digital media professionals and a qualitative synthesis of literature (2023–2026), this study examines how blockchain-based mechanisms—specifically non-fungible tokens (NFTs), smart contracts, and decentralized identity (DID) solutions—are associated with creator sovereignty and platform interoperability. Using a moderated chain mediation model within a socio-technical systems framework, the analysis shows that blockchain integration is associated with lower perceptions of platform dependency. This association is linked to a sequential pathway whereby higher decentralized governance is associated with lower intermediary control, which in turn is associated with higher creator monetization autonomy. Connectedness to decentralized protocols differentially shaped these processes: at the technical level, stronger protocol integration strengthened the negative association between blockchain adoption and intermediary dependence; however, at the governance level, a paradoxical pattern emerged, whereby stronger decentralization was associated with higher perceived governance overload in the context of algorithmic decision-making. By disentangling the technical and governance pathways, this study extends current understanding of digital media ecosystems beyond simple use-outcome associations. The findings highlight the importance of considering individual differences in digital literacy and institutional trust when designing blockchain governance frameworks. We conclude that blockchain is not merely an incremental improvement but a necessary architectural requirement for a resilient and equitable Metaverse, contingent upon addressing the risks of surveillance federalism and the digital divide.
Mohaimin Al Barat, Hexuan Yu, Shaoyu Li, Yang Xiao · 8 authors
Dynamic Spectrum Sharing (DSS) is a cornerstone of next-generation wireless systems, yet existing solutions such as Spectrum Access Systems (SAS) rely on centralized administrators that expose sensitive operational metadata and lack cryptographic transaction accountability. Though SAS administrators, such as Google, have introduced pay-as-you-go pricing models, these approaches still face significant privacy and accountability challenges as DSS evolves toward a more open and large-scale spectrum marketplace. We present SpexPay, a privacy-preserving and auditable pay-as-you-go spectrum usage framework that enforces fine-grained, usage-linked payments without revealing user identities. Spexpay integrates BBS+ verifiable credentials, unlinkable session pseudonyms, and selective-disclosure proofs to enforce privacy-preserving access authorization, while leveraging Solidity-based smart contracts to realize automated and non-repudiable escrow settlement. By recording only pseudonymous usage evidence and hash-chained metering data on-chain, the system achieves strong unlinkability while preserving verifiable accountability and auditability. A full prototype demonstrates low end-to-end latency ($\approx$150 ms) and modest on-chain cost ($\approx$603K gas or $\approx$\$0.9), showing that SpexPay is practical for real-world DSS deployments. We also evaluated the user-side cryptographic operations on a Raspberry Pi 5 to assess scalability and suitability for edge-class hardware. Our code and artifacts are publicly available at https://github.com/iambarat/SpexPay.
Tahrim Hossain, Faisal Haque Bappy, Tarannum Shaila Zaman, Tariqul Islam
Blockchain platforms have grown into an ecosystem of independent networks, and a growing class of applications now requires smart contracts on separate chains to act as one. Such operations must be atomic, yet immutability makes this fundamentally harder: a confirmed transaction cannot be reversed, so the rollback on which classical atomic commitment protocols depend is unavailable. Two challenges follow. Contract state must be held across an operation whose outcome is not yet known, and each chain's execution outcome must be established even though no chain can observe another. In response, we introduce a framework that achieves atomicity through forward-only correction, resolving incomplete operations with new on-chain transactions rather than reversal. The framework bounds how long contract state is held and confines contention to the state an operation touches, and it establishes outcomes from an on-chain record of what each chain executed, without relying on any single coordinating party. This work lays the foundation for atomic coordination of general smart contract operations across heterogeneous blockchains.