中文
相关论文

相关论文: Verifiable Manufacturing Using Blockchain

200 篇论文

Blind Quantum Computing (BQC) allows a client to have a server carry out a quantum computation for them such that the client's input, output and computation remain private. A desirable property for any BQC protocol is verification, whereby…

量子物理 · 物理学 2017-07-12 Joseph F. Fitzsimons , Elham Kashefi

Zk-SNARKs help scale blockchains with Verifiable Off-chain Computations (VOC). zk-SNARK DSL toolkits are key when designing arithmetic circuits but fall short of automating the subsequent proof-generation step in an automated manner. We…

软件工程 · 计算机科学 2024-04-29 Alvaro Alonso Domenech , Jonathan Heiss , Stefan Tai

Supply chain applications operate in a multi-stakeholder setting, demanding trust, provenance, and transparency. Blockchain technology provides mechanisms to establish a decentralized infrastructure involving multiple stakeholders. Such…

密码学与安全 · 计算机科学 2021-08-30 Gowri Sankar Ramachandran , Sidra Malik , Shantanu Pal , Ali Dorri , Volkan Dedeoglu , Salil Kanhere , Raja Jurdak

Blockchain has the potential to enhance supply chain management systems by providing stronger assurance in transparency and traceability of traded commodities. However, blockchain does not overcome the inherent issues of data trust in IoT…

密码学与安全 · 计算机科学 2022-03-14 Guntur Dharma Putra , Changhoon Kang , Salil S. Kanhere , James Won-Ki Hong

Private permissioned blockchains are deployed in ever greater numbers to facilitate cross-organizational processes in various industries, particularly in supply chain management. One popular example of this trend is Hyperledger Fabric.…

性能 · 计算机科学 2023-01-05 Tobias Guggenberger , Johannes Sedlmeir , Gilbert Fridgen , André Luckow

Innovative solutions addressing product anti-counterfeiting and record provenance have been deployed across today's internationally spanning supply chain networks. These product anti-counterfeiting solutions are developed and implemented…

计算机与社会 · 计算机科学 2021-02-03 Neo C. K. Yiu

Verifying that a compiled binary originates from its claimed source code is a fundamental security requirement, called source code provenance. Achieving verifiable source code provenance in practice remains challenging. The most popular…

软件工程 · 计算机科学 2026-02-13 Javier Ron , Martin Monperrus

Food supply chain plays a vital role in human health and food prices. Food supply chain inefficiencies in terms of unfair competition and lack of regulations directly affect the quality of human life and increase food safety risks. This…

计算机与社会 · 计算机科学 2020-06-03 Adnan Iftekhar , Xiaohui Cui , Mir Hassan , Wasif Afzal

The main aim of the paper is to create a trust and transparency in the food supply chain system, ensuring food safety for everyone with the help of Blockchain Technology. Food supply chain is the process of tracing a crop from the farmer or…

密码学与安全 · 计算机科学 2024-01-19 Sudarssan N

The problem of securely outsourcing computation to cloud servers has attracted a large amount of attention in recent years. The verifiable computation of Gennaro, Gentry, Parno (Crypto'10) allows a client to verify the server's computation…

密码学与安全 · 计算机科学 2021-05-03 Yan He , Liang Feng Zhang

Skill verification is a central problem in workforce hiring. Companies and academia often face the difficulty of ascertaining the skills of an applicant since the certifications of the skills claimed by a candidate are generally not…

密码学与安全 · 计算机科学 2020-03-26 Jay Gupta , Swaprava Nath

Blockchains are among the most powerful technologies to realize decentralized information systems. In order to safely enjoy all guarantees provided by a blockchain, one should maintain a full node, therefore maintaining an updated local…

密码学与安全 · 计算机科学 2025-03-12 Stefano De Angelis , Ivan Visconti , Andrea Vitaletti , Marco Zecchini

According to experts, one third of all IT vulnerabilities today are due to inadequate software verification. Internal program processes are not sufficiently secured against manipulation by attackers, especially if access has been gained.…

密码学与安全 · 计算机科学 2022-11-22 Erik Heiland , Peter Hillmann

Verifiable blind quantum computing is a secure delegated quantum computing where a client with a limited quantum technology delegates her quantum computing to a server who has a universal quantum computer. The client's privacy is protected…

量子物理 · 物理学 2016-10-12 Tomoyuki Morimae

Insurance claims processing involves multi-domain entities and multi-source data, along with a number of human-agent interactions. Use of Blockchain technology-based platform can significantly improve scalability and response time for…

密码学与安全 · 计算机科学 2024-02-21 Roshan Lal Neupane , Ernest Bonnah , Bishnu Bhusal , Kiran Neupane , Khaza Anuarul Hoque , Prasad Calyam

Thanks to the advances in machine learning, data-driven analysis tools have become valuable solutions for various applications. However, there still remain essential challenges to develop effective data-driven methods because of the need to…

密码学与安全 · 计算机科学 2020-04-02 Gihan J. Mendis , Yifu Wu , Jin Wei , Moein Sabounchi , Rigoberto Roche'

The implementation of blockchain technology in tax administration offers promising improvements in security, transparency, and efficiency. This paper presents the design of a blockchain-based e-Faktur system aimed at addressing the…

密码学与安全 · 计算机科学 2025-05-27 G. L. Farchan

Hyperledger Fabric is a platform for permissioned blockchain networks that enables secure and auditable distributed data storage for enterprise applications. There is a growing interest in applications based on this platform, but its use…

分布式、并行与集群计算 · 计算机科学 2025-02-18 Carlos Melo , Glauber Gonçalves , Francisco A. Silva , André Soares

In the next few years, Blockchain will play a central role in IoT as a technology. It enables the traceability of processes between multiple parties independent of a central instance. Blockchain allows to make the processes more…

密码学与安全 · 计算机科学 2020-03-31 Kirill Loisha , Javad Ghofrani , Dirk Reichelt

Supply chain traceability refers to product tracking from the source to customers, demanding transparency, authenticity, and high efficiency. In recent years, blockchain has been widely adopted in supply chain traceability to provide…

分布式、并行与集群计算 · 计算机科学 2022-10-18 Hanqing Wu , Shan Jiang , Jiannong Cao