中文
相关论文

相关论文: Immutable in Principle, Upgradeable by Design: Exp…

200 篇论文

Blockchain's immutability can resist unauthorized changes of ledgers, thus it can be used as a trust enhancement mechanism to a shared system. Indeed, blockchain has been considered to solve the security and privacy issues of the Internet…

密码学与安全 · 计算机科学 2022-06-17 Yang Liu , Terry Guo , Zhe Chen , Xueying Jiang

Smart contracts provide the means to stipulate rules of interaction between mutually distrustful organizations. They encode contractual agreements on the basis of source code, which else need to be contractualized in natural language. While…

分布式、并行与集群计算 · 计算机科学 2022-07-07 Tobias Eichinger , Marcel Ebermann

Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across various domains manage trillions of dollars in virtual coins,…

分布式、并行与集群计算 · 计算机科学 2024-12-12 Zhiyuan Wei , Xianhao Zhang , Jing Sun , Zijian Zhang , Liehuang Zhu

Vulnerabilities of Ethereum smart contracts often cause serious financial damage. Whereas the Solidity compiler has been updated to prevent vulnerabilities, its effectiveness has not been revealed so far, to the best of our knowledge. In…

密码学与安全 · 计算机科学 2023-06-08 Chihiro Kado , Naoto Yanai , Jason Paul Cruz , Kyosuke Yamashita , Shingo Okamura

Smart contracts are self-executing programs on a blockchain to ensure immutable and transparent agreements without the involvement of intermediaries. Despite the growing popularity of smart contracts for many blockchain platforms like…

软件工程 · 计算机科学 2023-03-27 Taeyoung Kim , Yunhee Jang , Chanjong Lee , Hyungjoon Koo , Hyoungshick Kim

Classic BFT consensus protocols guarantee safety and liveness for all clients if fewer than one-third of replicas are faulty. However, in applications such as high-value payments, some clients may want to prioritize safety over liveness.…

分布式、并行与集群计算 · 计算机科学 2023-12-05 Joachim Neu , Srivatsan Sridhar , Lei Yang , David Tse

Smart Contracts are software programs that are deployed and executed within a blockchain infrastructure. Due to their immutable nature, directly resulting from the specific characteristics of the deploying infrastructure, smart contracts…

软件工程 · 计算机科学 2021-05-11 Morena Barboni , Andrea Morichetta , Andrea Polini

Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted entities to interact without relying on trusted third parties. Despite their potential, repeated security concerns…

密码学与安全 · 计算机科学 2018-08-27 Petar Tsankov , Andrei Dan , Dana Drachsler Cohen , Arthur Gervais , Florian Buenzli , Martin Vechev

As time progresses, the need for more secure applications grows exponentially. The different types of sensitive information that is being transferred virtually has sparked a rise in systems that leverage blockchain. Different sectors are…

密码学与安全 · 计算机科学 2024-01-04 Myles Lewis , Chris Crawford

Smart contracts have been plagued by security incidents, which resulted in substantial financial losses. Given numerous research efforts in addressing the security issues of smart contracts, we wondered how software practitioners build…

软件工程 · 计算机科学 2021-03-30 Zhiyuan Wan , Xin Xia , David Lo , Jiachi Chen , Xiapu Luo , Xiaohu Yang

Blockchain technology (BT) Ethereum Smart Contracts allows programmable transactions that involve the transfer of monetary assets among peers on a BT network independent of a central authorizing agency. Ethereum Smart Contracts are programs…

密码学与安全 · 计算机科学 2021-05-21 Noama Fatima Samreen , Manar H. Alalfi

Scalability is a common issue among the most used permissionless blockchains, and several approaches have been proposed to solve this issue. Tackling scalability while preserving the security and decentralization of the network is a…

密码学与安全 · 计算机科学 2023-11-10 Mikel Cortes-Goicoechea , Tarun Mohandas-Daryanani , Jose L. Muñoz-Tapia , Leonardo Bautista-Gomez

Large language models (LLMs) have been widely adopted in modern software development lifecycles, where they are increasingly used to automate and assist code generation, significantly improving developer productivity and reducing…

密码学与安全 · 计算机科学 2026-02-05 Hoang Long Do , Nasrin Sohrabi , Muneeb Ul Hassan

Poorly designed smart contracts are particularly vulnerable, as they may allow attackers to exploit weaknesses and steal the virtual currency they manage. In this study, we train a model using unsupervised learning to identify…

密码学与安全 · 计算机科学 2025-04-15 Hong-Sheng Huang , Jen-Yi Ho , Hao-Wen Chen , Hung-Min Sun

A blockchain-based smart contract or a "smart contract" for short, is a computer program intended to digitally facilitate the negotiation or contractual terms directly between users when certain conditions are met. With the advance in…

计算机与社会 · 计算机科学 2019-06-11 Yining Hu , Madhusanka Liyanage , Ahsan Mansoor , Kanchana Thilakarathna , Guillaume Jourjon , Aruna Seneviratne

A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain,…

软件工程 · 计算机科学 2021-04-20 Palina Tolmach , Yi Li , Shang-Wei Lin , Yang Liu , Zengxiang Li

As more and more data is collected for various reasons, the sharing of such data becomes paramount to increasing its value. Many applications ranging from smart cities to personalized health care require individuals and organizations to…

计算机与社会 · 计算机科学 2018-05-01 Kevin Liu , Harsh Desai , Lalana Kagal , Murat Kantarcioglu

Smart contracts are programs that execute inside blockchains such as Ethereum to manipulate digital assets. Since bugs in smart contracts may lead to substantial financial losses, there is considerable interest in formally proving their…

编程语言 · 计算机科学 2021-09-10 Christian Bräm , Marco Eilers , Peter Müller , Robin Sierra , Alexander J. Summers

With the increasing popularity of cryptocurrencies and blockchain technology, smart contracts have become a prominent feature in developing decentralized applications. However, these smart contracts are susceptible to vulnerabilities that…

软件工程 · 计算机科学 2023-08-22 Jiachi Chen , Mingyuan Huang , Zewei Lin , Peilin Zheng , Zibin Zheng

This study analyzes the application of code-generating Large Language Models in the creation of immutable Solidity smart contracts on the Ethereum Blockchain. Other works have previously analyzed Artificial Intelligence code generation…

软件工程 · 计算机科学 2024-11-06 Siddhartha Chatterjee , Bina Ramamurthy