中文
相关论文

相关论文: Pattern matching algorithms in Blockchain for netw…

200 篇论文

Ethereum has emerged as the most popular smart contract development platform, with hundreds of thousands of contracts stored on the blockchain and covering a variety of application scenarios, such as auctions, trading platforms, and so on.…

编程语言 · 计算机科学 2020-05-18 Clara Schneidewind , Ilya Grishchenko , Markus Scherer , Matteo Maffei

Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart…

软件工程 · 计算机科学 2020-05-21 Zhipeng Gao , Lingxiao Jiang , Xin Xia , David Lo , John Grundy

Ethereum smart contracts operate in a concurrent environment where multiple transactions can be submitted simultaneously. However, the Ethereum Virtual Machine (EVM) enforces sequential execution of transactions within each block to prevent…

分布式、并行与集群计算 · 计算机科学 2025-07-23 Atefeh Zareh Chahoki , Marco Roveri

In recent years Smart Contracts and DApps are becoming increasingly important and widespread thanks to the properties of blockchain technology. In most cases DApps are business critical, and very strict security requirements should be…

密码学与安全 · 计算机科学 2020-08-12 Lodovica Marchesi , Michele Marchesi , Livio Pompianu , Roberto Tonelli

The rapid growth of electric vehicles (EVs) and the deployment of vehicle-to-grid (V2G) technology pose significant challenges for distributed power grids, particularly in fostering trust and ensuring effective coordination among…

系统与控制 · 电气工程与系统科学 2024-10-10 Yunwang Chen , Xiang Lei , Songyan Niu , Linni Jian

In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency. We examine two real-world examples from the…

分布式、并行与集群计算 · 计算机科学 2017-02-21 Ilya Sergey , Aquinas Hobor

Growing consumer awareness as well as manufacturers' internal quality requirements lead to novel demands on supply chain traceability. Existing centralized solutions suffer from isolated data storage and lacking trust when multiple parties…

计算机与社会 · 计算机科学 2018-10-24 Martin Westerkamp , Friedhelm Victor , Axel Küpper

The large-scale deployment of Solidity smart contracts on the Ethereum mainnet has increasingly attracted financially-motivated attackers in recent years. A few now-infamous attacks in Ethereum's history includes DAO attack in 2016 (50…

密码学与安全 · 计算机科学 2024-10-29 Md Tauseef Alam , Raju Halder , Abyayananda Maiti

Envisioned to be the future of secured distributed systems, blockchain networks have received increasing attention from both the industry and academia in recent years. However, blockchain mining processes demand high hardware costs and…

密码学与安全 · 计算机科学 2020-02-28 Minghong Fang , Jia Liu

The General Purpose Atomic Crosschain Transaction protocol allows composable programming across multiple Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one…

密码学与安全 · 计算机科学 2021-07-06 Peter Robinson , Raghavendra Ramesh

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart contracts may not directly lead to security issues, they…

密码学与安全 · 计算机科学 2026-02-03 Xiaoqi Li , Zongwei Li , Wenkai Li , Yuqing Zhang , Xin Wang

Ethereum has undergone a recent change called \textit{the Merge}, which made Ethereum a Proof-of-Stake blockchain, shifting closer to BFT consensus. Ethereum, which wished to keep the best of the two protocol designs (BFT and…

密码学与安全 · 计算机科学 2023-09-15 Ulysse Pavloff , Yackolley Amoussou-Guenou , Sara Tucci-Piergiovanni

The perpetual growth of data stored on popular blockchains such as Ethereum leads to significant scalability challenges and substantial storage costs for operators of full nodes. Increasing costs may lead to fewer independently operated…

分布式、并行与集群计算 · 计算机科学 2024-10-10 Ruben Hias , Weihong Wang , Jan Vanhoof , Tom Van Cutsem

We use historical data to estimate the potential benefit of speculative techniques for executing Ethereum smart contracts in parallel. We replay transaction traces of sampled blocks from the Ethereum blockchain over time, using a simple…

分布式、并行与集群计算 · 计算机科学 2019-01-23 Vikram Saraph , Maurice Herlihy

Ensemble learning has been widely used in machine learning to improve model robustness, accuracy, and generalization, but has not yet been applied to code generation tasks with large language models (LLMs). We propose an ensemble approach…

软件工程 · 计算机科学 2025-07-22 Tarek Mahmud , Bin Duan , Corina Pasareanu , Guowei Yang

We propose and compare two approaches to identify smart contracts as token systems by analyzing their public bytecode. The first approach symbolically executes the code in order to detect token systems by their characteristic behavior of…

密码学与安全 · 计算机科学 2018-11-29 Michael Fröwis , Andreas Fuchs , Rainer Böhme

Smart contracts on a blockchain behave precisely as specified by their code. A vulnerability in this code can lead to unexpected behaviour, which is hard to fix because a blockchain does not allow to change smart contract code after its…

编程语言 · 计算机科学 2019-11-27 Markus Knecht

Blockchain scalability can be complicated and costly. As enterprises begin to adopt blockchain technology to solve business problems, there are valid concerns if blockchain applications can support the transactional demands of production…

分布式、并行与集群计算 · 计算机科学 2019-12-25 Grant Chung , Luc Desrosiers , Manav Gupta , Andrew Sutton , Kaushik Venkatadri , Ontak Wong , Goran Zugic

Scalability is a common issue among the most used permissionless blockchains, and several approaches have been proposed accordingly. As Ethereum is set to be a solid foundation for a decentralized Internet web, the need for tackling…

密码学与安全 · 计算机科学 2021-01-01 Mikel Cortes-Goicoechea , Luca Franceschini , Leonardo Bautista-Gomez

Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious…

计算机科学中的逻辑 · 计算机科学 2021-11-29 Kunjian Song , Nedas Matulevicius , Eddie B. de Lima Filho , Lucas C. Cordeiro