Blockchain Papers

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

68 papersLast indexed Aug 31, 2026
Search papers

Paper index

68 results ¡ page 1 of 3

Clear filters
Aug 11, 2026¡Zenodo (CERN European Organization for Nuclear Research)
0 cites
The Guarino Manufacturing Effectiveness Metric: Overall Equipment Effectiveness and the Lean Six Sigma Quantitative Core as Complete Dimensionless Bases

Brian Guarino

Overall equipment effectiveness is taught as an industrial convention: three factors, availability times performance times quality, adopted because decades of practice found them useful. This paper proves that it is not a convention. Over the minimal variable set of discrete manufacturing, and with piece count admitted as a base dimension alongside time, the Buckingham π theorem forces exactly three independent dimensionless groups, and those three groups are exactly the availability, performance, and quality factors. The two formulas every OEE practitioner learns, the factored form A × P × Q and the collapsed form τG/T_p, are revealed as the factored and telescoped presentations of one and the same π monomial. Nakajima wrote down the correct answer in 1988. The theorem that makes it inevitable is proved here. The move that makes this work is dimensional rather than statistical. Counts of a specified entity are treated as quantities of a kind rather than as bare numbers, exactly as the International System treats amount of substance for the mole. With the unit dimension U in the basis, ideal cycle time carries T U⁻¹, throughput carries U T⁻¹, and count ratios become true π groups instead of informal percentages. Without U the count variables are dimensionally invisible, the matrix loses a row, and the machinery of the theorem cannot see the structure it is about to reveal. Nothing metaphysical is claimed for U; the instrumental reading, that U is the bookkeeping dimension of a specified countable product, carries every result in the paper. Two completeness theorems. Theorem 1 establishes that over the base dimensions T and U the minimal set {T_p, T_r, τ, N, G} admits exactly three independent groups and that the OEE triple is a complete basis, so every dimensionless quantity constructible from those five variables is a product of powers of availability, performance, and quality. Theorem 2 establishes a completeness result of exactly parallel shape for the statistical layer: over the single dimension of a quality characteristic, the set {Δ, σ, δ} admits exactly two groups, and the capability pair C_p = Δ/(6σ) and the centering index k = 2δ/Δ is a complete basis. The demonstrated capability index C_pk = C_p × (1 − k), the sigma level Z = 3C_pk, rolled throughput yield, and a closed form for normalized Taguchi loss all follow as members of that basis. The extension ladder. Each variable appended to the minimal set introduces no new base dimension until energy enters, so each purchases exactly one further independent group, and at every rung the new group already has a name on the factory floor. Total calendar time gives TEEP. Takt time gives takt coverage. Mean time between failures and mean time to repair give the reliability burden and with it the classical inherent availability as an exact identity, together with a ledger that resolves the opaque quantity 1 − Π_A, the availability loss that OEE reports but cannot explain, into named and separately actionable channels. Changeover time gives the SMED setup burden. Energy gives an efficiency group that only the rank form of the theorem can find, since a naive count of base dimensions predicts three groups and would wrongly conclude that no independent energy group exists. The flow variables give the Factory Physics WIP efficiency together with a closed identity for process cycle efficiency, PCE = Π_F × u, which tells a diagnosing engineer whether poor flow is an inventory problem or a starvation problem. The bridge law. The two layers join at exactly one point. For a process in statistical control with normally distributed output, the capability pair determines a ceiling on the quality group, Π_Q* = Φ(3C_p(1 − k)) + Φ(3C_p(1 + k)) − 1. Determination runs one way: capability sets a ceiling that operations can fail to reach but cannot exceed, and the gap between the ceiling and the observed quality group is itself diagnostic, because an in-control capable process that nonetheless scraps parts is losing them to special causes and startup transients rather than to inherent spread. Consequences for the canon. The Six Big Losses of total productive maintenance and the eight wastes of Lean close one to one against the group registry, each located in the group whose degradation it names. Lean and Six Sigma are re-read as dimensional analysis performed on two different variable sets, the flow variables and the spread variables, by communities that did not know they were doing it, which is offered as an explanation of why their merger into a single methodology worked in practice. The normalized Taguchi loss acquires the closed form ΛQ = (9C_p²)⁻¹ + k², which separates the spread term from the centering term additively and repairs a known defect of Taguchi practice, whose signal-to-noise ratios take logarithms of dimensional quantities. The composite and what it changes. A plant-level composite, Ψ_Plant = Ψ_OEE × Γ_Demand × Γ_Energy × Γ_Flow, becomes an additive loss ledger under logarithms. Because the composite is a product, its log-elasticity with respect to every factor is exactly unity, so no factor carries more marginal leverage than another and improvement priority is set entirely by headroom, which is precisely what the ledger measures. A worked injection-molding line scored over one operating week returns Ψ_OEE = 0.680, a respectable value squarely inside the typical industrial band, while the composite returns Ψ_Plant = 0.0638. The ledger says why: flow contributes seventy-six percent of the log deficit. A single-lever intervention table follows. Buying uptime, the move a manager reading only the OEE number would make, returns 1.12 fold. Cutting work in process to its critical level multiplies the composite eightfold, from 0.064 to 0.510, without touching availability, performance, or quality at all. The intervention that feels natural is not the intervention that pays, and the framework tells them apart before a dollar is spent. Scope and limitations, stated plainly. The bridge law assumes statistical control and normality; for non-normal characteristics the ceiling must be computed from the fitted distribution. Reliability enters through a renewal approximation. The minimal set is single-product, and clamping conventions are declared wherever imposed, with the raw unclamped groups always reported alongside. The worked example is synthetic. Its inputs are constructed to be consistent with published benchmark values rather than drawn from a single instrumented plant, so it demonstrates the machinery and its diagnostic reading but is not an empirical validation; full single-plant instantiation with direct measurement is the subject of the next paper in this program. The paper positions itself explicitly against five bordering literatures, the OEE literature, process-physics dimensional analysis, the dimensional analysis tradition inside operations management, data envelopment analysis and index numbers, and Factory Physics, and states its priority claim as scoped to that survey, with correction from the community invited.

Open access
2 source records
Quality and Supply Management
Operations Management Techniques
Manufacturing Process and Optimization
Original source
Nov 26, 2025¡Results in Engineering
0 cites
DLT in manufacturing: A systematic review of applications, taxonomy, enablers, maturity, and challenges

Froylan Cortés-Santacruz, Luis Antonio Carrillo-Martínez, Luciano García‐Bañuelos, Jesús Anselmo Fortoul-Diaz

Although distributed ledger technologies (DLTs) have transformed financial sectors, their manufacturing applications lack systematic maturity assessment frameworks. Previous reviews identified DLT benefits but show critical gaps, including a lack of quantitative maturity metrics, insufficient categorization of use cases, and limited platform-specific comparative analysis. This systematic literature review addresses these gaps through three key contributions: (i) a novel Distributed Ledger Technology Maturity Level (DLTML) framework, (ii) a four-category manufacturing taxonomy, and (iii) platform-specific implementation analysis. Analyzing 60 primary studies (2018–2025) using Kitchenham’s guidelines, Wohlin’s snowballing, and Treiblmaier’s assessment framework, we answer the following: (i) What are the categories of use of DLT in manufacturing? (ii) What features of DLT are key enablers and what specific challenges have been addressed in current manufacturing solutions? (iii) What is the level of technological maturity of DLT applications in manufacturing according to the existing literature? The category Process Execution Tracking dominates (80 % of the studies), followed by Provenance (65 %), Ownership Management (30 %) and Payment Management (25 %). Smart contracts are the main enablers (81. 67 %), followed by decentralization (48.33 %). Governance mechanisms remain unaddressed, and interoperability progress is limited. Hyperledger Fabric leads privacy-sensitive scenarios (55 %), while Ethereum dominates transparency-focused applications (38 %). DLTML assessment shows that 61.66 % achieve intermediate maturity (DLTML-3), 20 % achieve high-fidelity prototypes (DLTML-4), but none achieves verified operational deployment (DLTML-5). This study provides evidence-based guidance for researchers and decision makers pursuing the adoption of DLT in manufacturing.

Open access
Injection Molding Process and Properties
Manufacturing Process and Optimization
Cardiac pacing and defibrillation studies
Original source
Nov 18, 2025¡Zenodo (CERN European Organization for Nuclear Research)
0 cites
WebAssembly Music instrument plugin NFTs - Using WebAssembly binaries stored in blockchain NFTs as synth plugins for Digital Audio Workstation software

Peter Salomonsen

This presentation will demonstrate using WebAssembly for audio plugins outside the web browser. Specifically, the showcase is a WebAssembly binary used as a synthesizer plugin in a commercial, desktop based Digital Audio Workstation software such as Garage Band or Logic. In addition there will be a proposal and demonstration of a commercial model for distributing and controlling access and ownership to these WebAssembly audio plugins, by storing them on the NEAR blockchain and binding them to Non-Fungible-Tokens ( NFTs ).

Open access
2 source records
Music Technology and Sound Studies
Embedded Systems and FPGA Applications
Manufacturing Process and Optimization
Original source
Oct 6, 2025¡International Journal for Research in Applied Science and Engineering Technology
0 cites
Real Dex: On-Chain Orderbook DEX

Hasan Phudinawala

Centralized exchanges (CEXs) currently dominate the cryptocurrency trading landscape due to their speed, liquidity, and ease of use. However, they also introduce several critical risks, including custodianship of user assets, vulnerability to censorship, and reliance on centralized infrastructure that represents a single point of failure. In contrast, the advent of Automated Market Makers (AMMs), such as Uniswap, brought a paradigm shift in decentralized finance (DeFi) by enabling peer-to-peer trading through liquidity pools without intermediaries. While revolutionary, AMMs face inherent limitations such as slippage, impermanent loss for liquidity providers, and suboptimal price discovery compared to traditional orderbook systems. This research proposes a decentralized on-chain orderbook model designed to bridge the gap between centralized exchanges and AMM-based decentralized exchanges. The system replicates the precision, transparency, and efficiency of traditional orderbookdriven markets while adhering to DeFi principles of trustlessness and non-custodial asset management. Developed using Solidity smart contracts and deployed on Ethereum-compatible test networks such as Monad the platform enables users to place, cancel, and execute both limit and market orders directly on-chain. To address blockchain performance bottlenecks, the architecture incorporates an off-chain order matcher that listens to smart contract events, identifies compatible buy and sell orders, and batches potential matches for improved gas efficiency. Importantly, final trade execution and settlement remain fully decentralized, being handled exclusively by smart contracts. This hybrid design achieves low-latency order matching without compromising decentralization or asset security

Open access
Manufacturing Process and Optimization
Software Engineering Research
Original source
Aug 28, 2025¡Kalpa publications in computing
0 cites
Decentralized Data Management in AEC: NFT and Digital Twin for Enhanced Data Sharing – dDT Platform

Gabriele Fredduzzi, Baruch Manigrasso, Nerminko Omanic

The sustainable and efficient management of the built environment is a crucial challenge in the increasingly digitalized AEC sector. Innovative technologies such as Building Information Modeling (BIM) and Digital Twin (DT) offer significant opportunities to enhance the operational efficiency and sustainability of physical assets. However, digitalization generates vast amounts of Big Data, and their handling through centralized architectures leads to risks of fragmentation, lack of transparency, and vulnerability to manipulation. In response to these challenges, this study presents an innovative Proof of Concept (PoC) that integrates Blockchain (BT), Digital Twin (DT), and Non-Fungible Token (NFT) technologies to promote decentralized and sustainable data management in the construction industry. The application, called dDT (decentralized Digital Twin), was initially deployed on the Solana blockchain and later integrated with Polygon to leverage EVM compatibility and the ERC-721 standard for NFTs. The platform enables the tokenization of data flows generated by physical assets, ensuring traceability, security, and transparency throughout the entire asset lifecycle. The dDT system represents a sustainable innovation as it creates a secondary data market, fostering collaboration among industry stakeholders and financing new developments through the sale of data-linked NFTs. This decentralized solution addresses fragmentation and transparency issues, promoting more secure, resilient, and sustainable data management practices. The PoC demonstrates how the integration of BT, DT, and NFT can accelerate the transition toward more efficient and innovative practices, with positive impacts on sustainability and technological advancement in the AEC sector.

Open access
Digital Transformation in Industry
Manufacturing Process and Optimization
Scientific Computing and Data Management
Original source
Jun 30, 2025¡AIJR Proceedings
0 cites
Developing Bio-Inspired Adaptive Manufacturing Systems in Real Time

Debaleena Ghatak

The evolving manufacturing landscape, characterized by increasing demands for customization, flexibility, and efficiency, requires adaptive systems that can respond in an autonomous and dynamic way. Bio-inspired Adaptive Manufacturing Systems, or Bio-AMS, provide a novel answer by integrating principles from nature that include self-organization, resilience, and adaptability. This paper covers the development and application of Bio-AMS, in which biological inspiration from organisms and ecosystems was applied to create systems that would adapt to varying production demands, disturbances, and resource constraints. In this manner, Bio-AMS enhances both the efficiency and scalability of systems with decentralized control, adaptive feedback, and MAS architectures. Simulations show that Bio-AMS outperforms conventional systems in terms of minimizing downtime and maximizing productivity. Case studies demonstrate their capability for autonomous adaptation to disruption and therefore operational resilience. Future work focuses on refining the algorithms, integrating advanced technologies like AI and IoT, and taking the applications to various industries.

Open access
Flexible and Reconfigurable Manufacturing Systems
Manufacturing Process and Optimization
Original source
Jun 16, 2025¡IEEE Transactions on Computational Social Systems
0 cites
LocPoS: A Location-Based Proof-of-Stake Mechanism for Industrial Digital Twins

Rong Zhao, Hong Kang, Qiyue Zhang, Sizheng Fan ¡ 5 authors

Blockchain technologies, particularly blockchain-based digital twins (DTs), have gained widespread interest in academia and industry. Despite this, existing literature frequently overlooks the unique characteristics of location information for consensus nodes in DTs, often merging them with conventional blockchain frameworks. This article introduces LocPoS, a novel location-based proof-of-stake mechanism tailored for industrial DTs, bridging this gap. Our proposed model strives to enhance security via broader consensus node distribution. Despite this enhanced security, potential for dishonest behavior by users for gain maximization persists. We perform an in-depth analysis of user strategies and devise a mechanism to inhibit malicious behavior, fostering truthfulness among all users. Our theoretical and simulation results demonstrate that LocPoS satisfies truthfulness and individual rationality, while reducing the proportion of malicious nodes in the consensus group by over 50% compared to PoS and DPoS, thereby significantly improving consensus integrity. The proposed mechanism’s effectiveness in ensuring truthful behavior and secure node selection is validated through both analytical proofs and extensive simulations.

Flexible and Reconfigurable Manufacturing Systems
Manufacturing Process and Optimization
Assembly Line Balancing Optimization
Original source
Jun 2, 2025¡arXiv (Cornell University)
1 cites
Unpacking Maximum Extractable Value on Polygon: A Study on Atomic Arbitrage

Daniil Vostrikov, Yash Madhwal, Andrey Seoev, Anastasiia Smirnova ¡ 7 authors

The evolution of blockchain technology, from its origins as a decentralized ledger for cryptocurrencies to its broader applications in areas like decentralized finance (DeFi), has significantly transformed financial ecosystems while introducing new challenges such as Maximum Extractable Value (MEV). This paper explores MEV on the Polygon blockchain, with a particular focus on Atomic Arbitrage (AA) transactions. We establish criteria for identifying AA transactions and analyze key factors such as searcher behavior, bidding dynamics, and token usage. Utilizing a dataset spanning 22 months and covering 23 million blocks, we examine MEV dynamics with a focus on Spam-based and Auction-based backrunning strategies. Our findings reveal that while Spam-based transactions are more prevalent, Auction-based transactions demonstrate greater profitability. Through detailed examples and analysis, we investigate the interactions between network architecture, transaction sequencing, and MEV extraction, offering comprehensive insights into the evolution and challenges of MEV in decentralized ecosystems. These results emphasize the need for robust transaction ordering mechanisms and highlight the implications of emerging MEV strategies for blockchain networks.

Open access
3 source records
cs.DC
Manufacturing Process and Optimization
Data Management and Algorithms
Original source
May 31, 2025¡arXiv
0 cites
Scaling DeFi with ZK Rollups: Design, Deployment, and Evaluation of a Real-Time Proof-of-Concept

Krzysztof Gogol, Szczepan Gurgul, Faizan Nehal Siddiqui, David Branes ¡ 5 authors

Ethereum's scalability limitations pose significant challenges for the adoption of decentralized applications (dApps). Zero-Knowledge Rollups (ZK Rollups) present a promising solution, bundling transactions off-chain and submitting validity proofs on-chain to enhance throughput and efficiency. In this work, we examine the technical underpinnings of ZK Rollups and stress test their performance in real-world applications in decentralized finance (DeFi). We set up a proof-of-concept (PoC) consisting of ZK rollup and decentralized exchange, and implement load balancer generating token swaps. Our results show that the rollup can process up to 71 swap transactions per second, compared to 12 general transaction by Ethereum. We further analyze transaction finality trade-offs with related security concerns, and discuss the future directions for integrating ZK Rollups into Ethereum's broader ecosystem.

Open access
2 source records
cs.CR
Manufacturing Process and Optimization
Original source
Apr 30, 2025¡International Scientific Journal of Engineering and Management
0 cites
AI based NFT Minting using Blockchain

Atharva Kumare

Abstract - The emergence of blockchain technology has significantly transformed digital asset ownership and exchange, with Non-Fungible Tokens (NFTs) playing a pivotal role in enabling secure, transparent, and verifiable ownership of digital assets. This research presents the design and development of an AI-powered NFT marketplace built on the Solana blockchain, aimed at enhancing user experience, transaction efficiency, and marketplace intelligence. By integrating artificial intelligence for personalized recommendations, fraud detection, and predictive analytics, the platform offers a more secure and engaging environment for creators and collectors. The use of Solana ensures high-speed, low-cost transactions while maintaining decentralization and scalability. This paper discusses the architecture, smart contract design, AI integration, and security mechanisms implemented in the system. The proposed solution addresses key challenges in traditional NFT platforms, such as high gas fees, slow transactions, and lack of intelligent automation, positioning it as a next-generation platform for NFT trading and creation. Key Words: NFT Minting, Blockchain, Artificial Intelligence, Solana, Digital Assets, Marketplace

Manufacturing Process and Optimization
Original source
Apr 2, 2025¡Institute of Electrical and Electronics Engineers (IEEE)
0 cites
Digital Twin Traceability with DLT: Towards a Multi-Context and Universal Platform

M. Ferreira, Bernardo J. R. Figueiredo, Alexandre Soares dos Santos, João Filipe Matos ¡ 5 authors

Digital twins (DTs) are transforming industries by offering real-time virtual representations of physical assets, enabling smarter decision-making and optimization. However, as these systems become more complex and distributed, maintaining reliable traceability remains a significant challenge. To address this, we propose a multi-context, modular platform that leverages blockchain and distributed ledger technologies (DLTs) to enhance the traceability of digital twins. Our proposal will ensure secure, immutable, and transparent records of data interactions, fostering greater trust, accountability, and interoperability across various domains. The foundation of this work involved identifying the key Architecturally Significant Requirements (ASRs) that must be considered in the platform's design. Based on the first ASRs related to traceability and data flexibility, we developed a conceptual architecture supported by an ontology that addresses the multi-context traceability challenge. The proposed approach was validated through two distinct case studies: livestock management and shop-floor processes. Moving forward, our focus will be on addressing the remaining ASRs that were already identified, to further develop a high-performance, secure, and scalable modular platform capable of supporting diverse contexts and applications.

Open access
Technology Assessment and Management
Manufacturing Process and Optimization
Digital Transformation in Industry
Original source
Mar 7, 2025¡JUCS - Journal of Universal Computer Science
3 cites
A Transparent and Ecologically Sustainable DLT-based Approach for Tendering Processes

Francisco J. Quesada, Francisco Moya, Mercedes RodrĂ­guez-GarcĂ­a, Bapi Dutta

Tendering processes aim to provide transparency in the trade of services or goods but often fall short, leading to corruption and loss of trust. The emergence of Distributed Ledger Technologies (DLTs), such as blockchain, has prompted research into their application for enhancing transparency in tendering. However, adopting DLT usually incurs extra costs, network fees, and high carbon footprints. This paper conducts a Multi-Criteria Decision Making (MCDM) process to select the most suitable DLT for tendering processes. As a result, a novel tendering process based on IOTA is proposed, which improves transparency, ensures ecological sustainability, and avoids extra costs. The IOTA-based approach also fosters collaboration between human and computer capabilities in selecting the tender winner. Our method is compared with existing approaches, demonstrating the highest transparency.

Open access
Manufacturing Process and Optimization
Original source
Feb 8, 2025¡2025 International Conference on Pervasive Computational Technologies (ICPCT)
0 cites
Elongation of NFT Framework Using ERC721

Uma Tomer, Satyendra Vyas, Arun Mittal, N. Dubey

Non-Fungible Tokens (NFTs) are the most recent trends in owning and trading digital assets. In this paper Non-Fungible Tokens (NFTs) are secured using cryptography approach ERC721 based on the secure consensus technique that maintains all unit data in a unique identity code that is particular to each digital boon. This technique proposes augmentation in terms of security, transparency, and fractional ownership. However, with the unprecedented prospects for the creative sector and beyond, these markets have the potential to completely transform the digital art and collectibles market. The future scope of proposed technique is to overcome the gaps identified as surrounding sustainability, scalability, user experience, and regulation.

Manufacturing Process and Optimization
Original source
Jan 1, 2025¡Lecture notes in computer science
3 cites
NP-Completeness and Physical Zero-Knowledge Proof of Hotaru Beam

Taisei Otsuji, Peter Fulla, Takuro Fukunaga

Hotaru Beam is a logic puzzle which objective is to connect circles placed on a grid by drawing only lines with specified starting points and numbers of bends. A zero-knowledge proof is a communication protocol that allows one player to persuade the other that they are in possession of a certain piece of information without actually revealing it. We show that Hotaru Beam is NP-complete and present a physical zero-knowledge proof (i.e. implementable using physical items) for proving that one knows a solution to the puzzle.

Open access
4 source records
Advanced Numerical Analysis Techniques
Manufacturing Process and Optimization
Computational Geometry and Mesh Generation
Original source
Nov 13, 2024¡2024 4th International Conference on Technological Advancements in Computational Sciences (ICTACS)
2 cites
Manufacture and Registration of Products in Healthcare Supply Chain Using NFTs

Sunil Kumar, Karan Singh, Aadya Bubber

The healthcare industry grapples with numerous challenges related to the authenticity, traceability, and integrity of products, particularly pharmaceuticals, within its supply chain. Counterfeit drugs, diversion, and tampering are rampant issues that not only jeopardize patient safety but also undermine the credibility of the entire healthcare ecosystem. Blockchain technology, with its inherent characteristic of immutability and transparency, coupled with Non-Fungible Tokens (NFTs), offers a promising solution to combat these challenges. This paper primarily focuses on the registration process of pharmaceutical products. The proposed work of this paper contains multiple access controls for different smart contracts. By leveraging the blockchain's distributed ledger, each transaction and interaction within the supply chain can be recorded securely. NFTs, as unique digital assets, can be used to represent individual pharmaceutical products or batches, ensuring their authenticity and enabling seamless traceability. Moreover, the integration of smart contracts in a blockchain-based system can automate the compliance process, ensuring adherence to regulatory standards at each stage of the product's registration process with ownership details.

Advanced Manufacturing and Logistics Optimization
Quality and Supply Management
Manufacturing Process and Optimization
Original source
Nov 2, 2024¡Algorithms
6 cites
NFT-Based Framework for Digital Twin Management in Aviation Component Lifecycle Tracking

Igor Kabashkin

The paper presents a novel framework for implementing decentralized algorithms based on non-fungible tokens (NFTs) for digital twin management in aviation, with a focus on component lifecycle tracking. The proposed approach uses NFTs to create unique, immutable digital representations of physical aviation components capturing real-time records of a component’s entire lifecycle, from manufacture to retirement. This paper outlines detailed workflows for key processes, including part tracking, maintenance records, certification and compliance, supply chain management, flight logs, ownership and leasing, technical documentation, and quality assurance. This paper introduces a class of algorithms designed to manage the complex relationships between physical components, their digital twins, and associated NFTs. A unified model is presented to demonstrate how NFTs are created and updated across various stages of a component’s lifecycle, ensuring data integrity, regulatory compliance, and operational efficiency. This paper also discusses the architecture of the proposed system, exploring the relationships between data sources, digital twins, blockchain, NFTs, and other critical components. It further examines the main challenges of the NFT-based approach and outlines future research directions.

Open access
Digital Transformation in Industry
Manufacturing Process and Optimization
Technology Assessment and Management
Original source
Sep 22, 2024¡Lecture notes in computer science
1 cites
NP-Completeness and Physical Zero-Knowledge Proofs for Zeiger

Suthee Ruangwises

Zeiger is a pencil puzzle consisting of a rectangular grid, with each cell having an arrow pointing in horizontal or vertical direction. Some cells also contain a positive integer. The objective of this puzzle is to fill a positive integer into every unnumbered cell such that the integer in each cell is equal to the number of different integers in all cells along the direction an arrow in that cell points to. In this paper, we prove that deciding solvability of a given Zeiger puzzle is NP-complete via a reduction from the not-all-equal positive 3SAT (NAE3SAT+) problem. We also construct a card-based physical zero-knowledge proof protocol for Zeiger, which enables a prover to physically show a verifier the existence of the puzzle's solution without revealing it.

Open access
3 source records
Cryptography and Data Security
Complexity and Algorithms in Graphs
Formal Methods in Verification
Original source
Aug 19, 2024¡2024 IEEE International Conference on Blockchain (Blockchain)
2 cites
Token Fungibility Duality: Technical and Graphical Analysis on 404 Standards

Hou-Wan Long, Yain‐Whar Si

This paper conducts a comprehensive analysis of the ERC-404 and DN-404 blockchain standards, which innovate by integrating fungible (ERC-20) and non-fungible (ERC-721) token features. Smart contracts of these standards are examined to understand their operational mechanisms and impact on market dynamics. The analysis uncovers that ERC-404, while pioneering in linking fungible and non-fungible tokens, faces challenges like high transaction costs and network congestion. DN-404 emerges as an evolution, streamlining the asset transfer process to reduce costs and complexities. Graph analysis of Fungible Token Transfer Graph (FTG), Non-Fungible Token Mint Graph (NFMG), and Non-Fungible Token Burn Graph (NFBG) reveals a power-law distribution, indicating a concentration of activities among few addresses. The paper suggests five future research direction to optimize these blockchain standards for greater efficiency and market adaptability.

Manufacturing Process and Optimization
Original source
Jul 29, 2024¡arXiv
1 cites
Token Composition: A Graph Based on EVM Logs

Martin Harrigan, Thomas Lloyd, Daire O’Broin

Tokens have proliferated across blockchains in terms of number, market capitalisation and utility. Some tokens are tokenised versions of existing tokens -- known variously as wrapped tokens, fractional tokens, or shares. The repeated application of this process creates matryoshkian tokens of arbitrary depth. We perform an empirical analysis of token composition on the Ethereum blockchain. We introduce a graph that represents the tokenisation of tokens by other tokens, and we show that the graph contains non-trivial topological structure. We relate properties of the graph, e.g., connected components and cyclic structure, to the tokenisation process. For example, we identify the longest directed path and its corresponding sequence of tokens, and we visualise the connected components relating to a stablecoin and an NFT protocol. Our goal is to explore and visualise what has been wrought with tokens, rather than add yet another brick to the edifice.

Open access
2 source records
cs.CR
Manufacturing Process and Optimization
Digital and Cyber Forensics
Original source
Jul 1, 2024¡Handbook of Intelligent and Sustainable Manufacturing
2 cites
Digital Twins and IoT for Sustainable Manufacturing

Raja Lavanya, G. Bhavani, C. Santhiya, G. Vinoth Chakkaravarthy ¡ 5 authors

With the advent of the Internet of Things (IoT), a new transformation is predominant in the manufacturing industry, termed Industry 4.0. The revolution of IoT with artificial intelligence, Web3, robotics, and automation has transformed the traditional manufacturing system into a smart manufacturing system (SMS) by adding an intelligent component capable of automatic data collection through using sensors, processing data autonomously, and controlling machines remotely. However, adding automated intelligence, autonomous systems, and real-time data processing presents an insecure surface to cyber attackers to penetrate these cyber-physical systems (CPSs) and cause physical damage. This chapter presents a detailed discussion of cyber threats and incidents in the intelligent manufacturing industry, along with the available acceptable mitigation strategies. A taxonomy of cyber attacks on intelligent manufacturing systems clearly shows the difference between information technology threats and smart manufacturing cyber-threats. A detailed discussion on the limitations of SMSs in implementing cyber security is presented. Finally, some innovative machine learning–based security mechanisms (ML-based intrusion detection systems) are discussed that promise to detect anomalies/intrusions in such systems.

Digital Transformation in Industry
Flexible and Reconfigurable Manufacturing Systems
Manufacturing Process and Optimization
Original source
May 15, 2024¡arXiv (Cornell University)
0 cites
Flashback: Enhancing Proposer-Builder Design with Future-Block Auctions in Proof-of-Stake Ethereum

Yifan Mao, Mengya Zhang, Shaileshh Bojja Venkatakrishnan, Zhiqiang Lin

Maximal extractable value (MEV) in which block proposers unethically gain profits by manipulating the order in which transactions are included within a block, is a key challenge facing blockchains such as Ethereum today. Left unchecked, MEV can lead to a centralization of stake distribution thereby ultimately compromising the security of blockchain consensus. To preserve proposer decentralization (and hence security) of the blockchain, Ethereum has advocated for a proposer-builder separation (PBS) in which the functionality of transaction ordering is separated from proposers and assigned to separate entities called builders. Builders accept transaction bundles from searchers, who compete to find the most profitable bundles. Builders then bid completed blocks to proposers, who accept the most profitable blocks for publication. The auction mechanisms used between searchers, builders and proposers are crucial to the overall health of the blockchain. In this paper, we consider PBS design in Ethereum as a game between searchers, builders and proposers. A key novelty in our design is the inclusion of future block proposers, as all proposers of an epoch are decided ahead of time in proof-of-stake (PoS) Ethereum within the game model. Our analysis shows the existence of alternative auction mechanisms that result in a better (more profitable) equilibrium to players compared to state-of-the-art. Experimental evaluations based on synthetic and real-world data traces corroborate the analysis. Our results highlight that a rethinking of auction mechanism designs is necessary in PoS Ethereum to prevent disruption.

Open access
2 source records
Manufacturing Process and Optimization
Scheduling and Optimization Algorithms
Advanced Manufacturing and Logistics Optimization
Original source
Mar 18, 2024¡Construction Research Congress 2024
1 cites
Applications of Tokenization in the Architecture, Engineering, and Construction (AEC) Industry

Hossein Naderi, Mohammad Hossein Heydari, Alireza Shojaei

The architecture, engineering, and construction (AEC) industry is widely known for being fragmented. In this situation, blockchain technology has been introduced as a promising solution to bring trust and transparency to the industry. As blockchain technology continues to evolve, it has embraced new capabilities and features, including Fungible-Tokens (FTs) and Non-Fungible Tokens (NFTs), which have recently drawn significant attention in various industries. Tokenization can be seen as a next-generation solution to address challenges in the AEC. However, the application of tokenization for the AEC industry has remained undeveloped. To address this gap, this study provides an overview of tokenization, followed by an investigation of its applications in the AEC industry using a literature review method. By illustrating a clear outlook of the potential advantages and challenges, the study helps to set realistic expectations over the potential improvement that tokenization can bring. This can also serve as a fundamental source for further investigation by researchers and practitioners.

BIM and Construction Integration
Manufacturing Process and Optimization
Construction Project Management and Performance
Original source
Mar 7, 2024¡Non-Fungible Tokens
2 cites
A Look beyond Static NFTs

Nyane Ezekiel Macdonald Mofokeng, Thapeli Kenny Matima

This chapter posits a potential roadmap of the non-fungible token (NFT) standards’ evolution that would be akin to the evolution of the Web itself – from text, to images, to video (current phase), and soon to new computing platforms like Virtual Reality/Augmented Reality/Metaverse. The static, extensible, & artificially imposed scarcity of current NFTs will gradually evolve along the same path, from mere images (or “JPEGs” as commonly referred to in Crypto Twitter parlance) to a more interactive, feature-rich standard. This evolution in the standard is currently known as dynamic NFTs (dNFTs). The mass adoption of these dNFTs has the potential to unleash more use cases than imagined and will converge with the current emergent computing platform known as metaverse, which will be an amalgamation of the aforementioned tenets in the continued expansion of the next phase of the internet.

Manufacturing Process and Optimization
Original source
Feb 28, 2024¡International journal of intelligent engineering and systems
3 cites
Blockchain as a Learning Tool: Analyzing Transaction Speeds at Various Gas Limits in Computer Assembly Simulations

Authors unavailable

The study explores an Ethereum blockchain-based data-sharing system for a computer assembly simulation game, emphasizing the relationship between gas limits and transaction speeds.The research integrates smart contracts for secure data storage of scores and player profiles.A significant challenge identified was the complexity of blockchain's variable transaction speeds for the average user.The research investigated how different gas limits affected transaction times, with experiments conducted across three networks.Results show that a gas limit of 200,000 to 300,000 resulted in transaction speeds of approximately 30 seconds.Increasing the gas limit to 400,000 to 500,000 reduced transaction times to 15-30 seconds, while a limit of 600,000 to 700,000 led to speeds below 15 seconds.These findings suggest a direct correlation between higher gas limits and quicker transaction validations.The research concludes that investing in higher gas can significantly reduce transaction times, presenting a trade-off between cost and speed in blockchain data-sharing for educational simulation media.

Open access
Manufacturing Process and Optimization
Additive Manufacturing and 3D Printing Technologies
Injection Molding Process and Properties
Original source