中文
相关论文

相关论文: zkBridge: Trustless Cross-chain Bridges Made Pract…

200 篇论文

In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enforce contractual rights, obligations and prohibitions at run…

计算机与社会 · 计算机科学 2018-05-03 Carlos Molina-Jimenez , Ellis Solaiman , Ioannis Sfyrakis , Irene Ng , Jon Crowcroft

There has been tremendous interest in the development of formal trust models and metrics through the use of analytics (e.g., Belief Theory and Bayesian models), logics (e.g., Epistemic and Subjective Logic) and other mathematical models.…

密码学与安全 · 计算机科学 2021-06-10 Shantanu Pal , Ambrose Hill , Tahiry Rabehaja , Michael Hitchens

Patients living in a digitized world can now interact with medical professionals through online services such as chat applications, video conferencing or indirectly through consulting services. These applications need to tackle several…

密码学与安全 · 计算机科学 2021-04-13 Jens-Andreas Hanssen Rensaa , Danilo Gligoroski , Katina Kralevska , Anton Hasselgren , Arild Faxvaag

In recent years, blockchain technology has received unparalleled attention from academia, industry, and governments all around the world. It is considered a technological breakthrough anticipated to disrupt several application domains. This…

分布式、并行与集群计算 · 计算机科学 2020-02-10 Md Sadek Ferdous , Mohammad Jabed Morshed Chowdhury , Mohammad A. Hoque , Alan Colman

A smart grid is an important application in Industry 4.0 with a lot of new technologies and equipment working together. Hence, sensitive data stored in the smart grid is vulnerable to malicious modification and theft. This paper proposes a…

Security bugs and trapdoors in smart contracts have been impacting the Ethereum community since its inception. Conceptually, the 1.45-million Ethereum's contracts form a single "gigantic program" whose behaviors are determined by the…

密码学与安全 · 计算机科学 2025-08-08 Thomas Ball , Nikolaj S. Bjørner , Ashley J. Chen , Shuo Chen , Yang Chen , Zhongxin Guo , Tzu-Han Hsu , Peng Liu , Nanqing Luo

Blockchain sharding improves the scalability of blockchain systems by partitioning the whole blockchain state, nodes, and transaction workloads into different shards. However, existing blockchain sharding systems generally suffer from a…

密码学与安全 · 计算机科学 2025-12-23 You Lin , Mingzhe Li , Jin Zhang

This study proposes a novel solution that provides secure interoperability for blockchains, which improves the overall scalability of the whole blockchain network. In our solution, a cross-chain task will build a one-time cross-blockchain…

网络与互联网体系结构 · 计算机科学 2022-01-11 Keyang Liu , Yukio Ohsawa

We consider the problem of cross-chain payment whereby customers of different escrows---implemented by a bank or a blockchain smart contract---successfully transfer digital assets without trusting each other. Prior to this work, cross-chain…

分布式、并行与集群计算 · 计算机科学 2020-07-17 Rob van Glabbeek , Vincent Gramoli , Pierre Tholoniat

Public blockchains have spurred the growing popularity of decentralized transactions and smart contracts, but they exhibit limitations on the transaction throughput, storage, and computation. To avoid transaction gridlock, public…

分布式、并行与集群计算 · 计算机科学 2021-07-13 Nikolay Ivanov , Qiben Yan , Qingyang Wang

Blockchains use peer-to-peer networks for disseminating information among peers, but these networks currently do not have any provable guarantees for desirable properties such as Byzantine fault tolerance, good connectivity and small…

分布式、并行与集群计算 · 计算机科学 2022-02-01 Vijeth Aradhya , Seth Gilbert , Aquinas Hobor

Inspired by Bitcoin, many different kinds of cryptocurrencies based on blockchain technology have turned up on the market. Due to the special structure of the blockchain, it has been deemed impossible to directly trade between traditional…

密码学与安全 · 计算机科学 2020-05-08 Hangyu Tian , Kaiping Xue , Shaohua Li , Jie Xu , Jianqing Liu , Jun Zhao

Micropayment channels are the most prominent solution to the limitation on transaction throughput in current blockchain systems. However, in practice channels are risky because participants have to be online constantly to avoid fraud, and…

密码学与安全 · 计算机科学 2018-12-03 Georgia Avarikioti , Felix Laufenberg , Jakub Sliwinski , Yuyi Wang , Roger Wattenhofer

Interoperability is one of the main challenges of blockchain technologies, which are generally designed as self-contained systems. Interoperability schemes for privacy-focused blockchains are particularly hard to design: they must integrate…

密码学与安全 · 计算机科学 2022-04-25 Aleixo Sanchez , Alistair Stewart , Fatemeh Shirazi

Zero-knowledge proofs (ZKPs) are the cornerstone of programmable cryptography. They enable (1) privacy-preserving and verifiable computation across blockchains, and (2) an expanding range of off-chain applications such as credential…

性能 · 计算机科学 2026-01-23 Thomas Gassmann , Stefanos Chaliasos , Thodoris Sotiropoulos , Zhendong Su

There has been an intense concern for security alternatives because of the recent rise of cyber attacks, mainly targeting critical systems such as industry, medical, or energy ecosystem. Though the latest industry infrastructures largely…

密码学与安全 · 计算机科学 2021-06-28 Ziaur Rahman , Ibrahim Khalil , Xun Yi , Mohammed Atiquzzaman

Internet of Things (IoT) devices pose significant security challenges due to their heterogeneity (i.e., hardware and software) and vulnerability to extensive attack surfaces. Today's conventional perimeter-based systems use credential-based…

密码学与安全 · 计算机科学 2023-11-29 Cem Bicer , Ilir Murturi , Praveen Kumar Donta , Schahram Dustdar

As a disruptive technology that originates from cryptocurrency, blockchain provides a trusted platform to facilitate industrial IoT (IIoT) applications. However, implementing a blockchain platform in IIoT scenarios confronts various…

密码学与安全 · 计算机科学 2022-01-19 Qing Yang , Hao Wang , Xiaoxiao Wu , Taotao Wang , Shengli Zhang , Naijin Liu

Identifying reputable Ethereum projects remains a critical challenge within the expanding blockchain ecosystem. The ability to distinguish between legitimate initiatives and potentially fraudulent schemes is non-trivial. This work presents…

密码学与安全 · 计算机科学 2025-03-21 Cyrus Malik , Josef Bajada , Joshua Ellul

Many studies have been done to improve the performance of centrally controlled business processes and enhance the integration between different parties of these collaborations. However, the most serious issues of collaborative business…

密码学与安全 · 计算机科学 2019-04-12 Vahid Pourheidari , Sara Rouhani , Ralph deters