English
Related papers

Related papers: EVMx: An FPGA-Based Smart Contract Processing Unit

200 papers

In the realm of smart contract security, transaction malice detection has been able to leverage properties of transaction traces to identify hacks with high accuracy. However, these methods cannot be applied in real-time to revert malicious…

Logic in Computer Science · Computer Science 2024-08-28 Zhiyang Chen , Jan Gorzny , Martin Derka

The Blockchain and the programs running on it, called Smart Contracts, are more and more applied in all fields requiring trust and strong certifications. In this work we compare public and permissioned blockchains for industrial…

Cryptography and Security · Computer Science 2020-05-07 Lodovica Marchesi , Michele Marchesi , Roberto Tonelli

The widespread lack of broad source code verification on blockchain explorers such as Etherscan, where despite 78,047,845 smart contracts deployed on Ethereum (as of May 26, 2025), a mere 767,520 (< 1%) are open source, presents a severe…

Cryptography and Security · Computer Science 2025-06-25 Isaac David , Liyi Zhou , Dawn Song , Arthur Gervais , Kaihua Qin

Second generation blockchain platforms, like Ethereum, can store arbitrary data and execute user-defined smart contracts. Due to the shared nature of blockchains, understanding the usage of blockchain-based applications and the underlying…

Software Engineering · Computer Science 2020-01-29 Christopher Klinkmüller , Ingo Weber , Alexander Ponomarev , An Binh Tran , Wil van der Aalst

New technologies, such as blockchain, are designed to address various system weaknesses, particularly those related to security. Blockchain can enhance numerous aspects of traditional banking systems by transforming them into digital,…

Cryptography and Security · Computer Science 2026-03-24 Shkelqim Sherifi

One of the main bottlenecks of blockchains is smart contract execution. To increase throughput, modern blockchains try to execute transactions in parallel. Unfortunately, however, common blockchain use cases introduce read-write conflicts…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-13 George Mitenkov , Igor Kabiljo , Zekun Li , Alexander Spiegelman , Satyanarayana Vusirikala , Zhuolun Xiang , Aleksandar Zlateski , Nuno P. Lopes , Rati Gelashvili

Conthereum is a concurrent Ethereum solution for intra-block parallel transaction execution, enabling validators to utilize multi-core infrastructure and transform the sequential execution model of Ethereum into a parallel one. This shift…

Cryptography and Security · Computer Science 2025-07-23 Atefeh Zareh Chahoki , Maurice Herlihy , Marco Roveri

Resource constraints in smart devices demand an efficient cryptosystem that allows for low power and memory consumption. This has led to popularity of comparatively efficient Elliptic curve cryptog-raphy (ECC). Prior to this paper, much of…

Cryptography and Security · Computer Science 2015-02-09 Yasir Malik

Smart contracts enable users to execute payments depending on complex program logic. Ethereum is the most notable example of a blockchain that supports smart contracts leveraged for countless applications including games, auctions and…

Cryptography and Security · Computer Science 2022-10-14 Tommaso Frassetto , Patrick Jauernig , David Koisser , David Kretzler , Benjamin Schlosser , Sebastian Faust , Ahmad-Reza Sadeghi

This paper proposes an efficient framework to execute Smart Contract Transactions (SCTs) concurrently based on object semantics, using optimistic Single-Version Object-based Software Transactional Memory Systems (SVOSTMs) and Multi-Version…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-01-24 Parwat Singh Anjana , Hagit Attiya , Sweta Kumari , Sathya Peri , Archit Somani

Blockchain is the underlying technology for cryptocurrencies such as Bitcoin. Blockchain is a robust distributed ledger that uses consensus algorithms to approve transactions in a decentralized manner, making malicious tampering extremely…

Neural and Evolutionary Computing · Computer Science 2024-05-08 Atsushi Masumori , Norihiro Maruyama , Takashi Ikegami

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…

Computers and Society · Computer Science 2018-05-03 Carlos Molina-Jimenez , Ellis Solaiman , Ioannis Sfyrakis , Irene Ng , Jon Crowcroft

Blockchain received a vast amount of attention in recent years and is still growing. The second generation of blockchain, such as Ethereum, allows execution of almost any program in Ethereum Virtual Machine (EVM), making it a global…

Cryptography and Security · Computer Science 2024-05-07 Robert Susik , Robert Nowotniak

Ethereum Smart Contracts based on Blockchain Technology (BT)enables monetary transactions among peers on a blockchain network independent of a central authorizing agency. Ethereum smart contracts are programs that are deployed as…

Cryptography and Security · Computer Science 2021-05-17 Noama Fatima Samreen , Manar H. Alalfi

Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-24 Enrique Fynn , Alysson Bessani , Fernando Pedone

Blockchain technology enables the execution of collaborative business processes involving untrusted parties without requiring a central authority. Specifically, a process model comprising tasks performed by multiple parties can be…

Software Engineering · Computer Science 2016-12-12 Luciano García-Bañuelos , Alexander Ponomarev , Marlon Dumas , Ingo Weber

With the rapid advancement of blockchain technology, smart contracts have enabled the implementation of increasingly complex functionalities. However, ensuring the security of smart contracts remains a persistent challenge across the stages…

Cryptography and Security · Computer Science 2025-05-01 Yuchen Ding , Hongli Peng , Xiaoqi Li

Recently, enterprises have paid attention to permissioned blockchain (BC), where business transactions among inter-authorized organizations (forming a consortium) can automatically be executed on the basis of a distributed consensus…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-01 Tatsuya Sato , Yosuke Himura , Jun Nemoto

The EVM language is a simple stack-based language with words of 256 bits, with one significant difference between the EVM and other virtual machine languages (like Java Bytecode or CLI for .Net programs): the use of the stack for saving the…

Ethereum, a leading blockchain platform, has revolutionized the digital economy by enabling decentralized transactions and the execution of smart contracts. Ethereum transactions form the backbone of its network, facilitating peer-to-peer…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-30 Dvir David Biton , Roy Friedman , Yaron Hay