中文
相关论文

相关论文: Blockchain Superoptimizer

200 篇论文

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…

密码学与安全 · 计算机科学 2025-05-01 Yuchen Ding , Hongli Peng , Xiaoqi Li

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad…

密码学与安全 · 计算机科学 2017-11-28 Anastasia Mavridou , Aron Laszka

Blockchain is a decentralized, distributed ledger technology that ensures transparency, security, and immutability through cryptographic techniques. However, advancements in quantum computing threaten the security of classical cryptographic…

密码学与安全 · 计算机科学 2026-01-14 Nicholas J. C. Papadopoulos

Blockchain technology has set off a wave of decentralization in the world since its birth. The trust system constructed by blockchain technology based on cryptography algorithm and computing power provides a practical and powerful solution…

计算工程、金融与科学 · 计算机科学 2025-05-08 Pengfei Gao , Dechao Kong , Xiaoqi Li

Blockchain and Cryptocurrencies are gaining unprecedented popularity and understanding. Meanwhile, Ethereum is gaining a significant popularity in the blockchain community, mainly due to the fact that it is designed in a way that enables…

密码学与安全 · 计算机科学 2018-07-06 TonTon Hsien-De Huang

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

Analyzing Ethereum bytecode, rather than the source code from which it was generated, is a necessity when: (1) the source code is not available (e.g., the blockchain only stores the bytecode), (2) the information to be gathered in the…

编程语言 · 计算机科学 2018-11-20 Elvira Albert , Pablo Gordillo , Benjamin Livshits , Albert Rubio , Ilya Sergey

WebAssemly is an emerging runtime for Web applications and has been supported in almost all browsers. Recently, WebAssembly is further regarded to be a the next-generation environment for blockchain applications, and has been adopted by…

密码学与安全 · 计算机科学 2021-01-12 Shuyu Zheng , Haoyu Wang , Lei Wu , Gang Huang , Xuanzhe Liu

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…

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

Blockchain-based distributed computing platforms enable the trusted execution of computation - defined in the form of smart contracts - without trusted agents. Smart contracts are envisioned to have a variety of applications, ranging from…

密码学与安全 · 计算机科学 2018-02-28 Anastasia Mavridou , Aron Laszka

Hackers may create malicious solidity programs and deploy it in the Ethereum block chain. These malicious smart contracts try to attack legitimate programs by exploiting its vulnerabilities such as reentrancy, tx.origin attack, bad…

密码学与安全 · 计算机科学 2025-12-10 Roopak Surendran

With the development of Ethereum, numerous blockchains compatible with Ethereum's execution environment (i.e., Ethereum Virtual Machine, EVM) have emerged. Developers can leverage smart contracts to run various complex decentralized…

分布式、并行与集群计算 · 计算机科学 2025-09-24 Chaoyue Yin , Mingzhe Li , Jin Zhang , You Lin , Qingsong Wei , Siow Mong Rick Goh

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…

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…

密码学与安全 · 计算机科学 2024-05-07 Robert Susik , Robert Nowotniak

Ethereum smart contracts are distributed programs running on top of the Ethereum blockchain. Since program flaws can cause significant monetary losses and can hardly be fixed due to the immutable nature of the blockchain, there is a strong…

密码学与安全 · 计算机科学 2021-01-15 Clara Schneidewind , Markus Scherer , Matteo Maffei

The increasing demand for scalable blockchain has driven research into parallel execution models for smart contracts. Crystality is a novel smart contract programming language designed for parallel Ethereum Virtual Machines (EVMs), enabling…

编程语言 · 计算机科学 2025-04-25 Ziyun Xu , Hao Wang , Meng Sun

The aim of this work is to study the use of decentralization and smart contracts on blockchain networks. We investigate the implementation and use of smart contracts on the platforms Bitcoin, Ethereum and Hyperledger Fabric. Additionally,…

密码学与安全 · 计算机科学 2019-03-13 Theodosis Mourouzis , Jayant Tandon

Many empirical software engineering studies show that there is a great need for repositories where source code is acquired, filtered and classified. During the last few years, Ethereum block explorer services have emerged as a popular…

软件工程 · 计算机科学 2020-11-04 Giuseppe Antonio Pierro , Roberto Tonelli , Michele Marchesi

Popular blockchains such as Ethereum and several others execute complex transactions in blocks through user-defined scripts known as smart contracts. Serial execution of smart contract transactions/atomic-units (AUs) fails to harness the…

分布式、并行与集群计算 · 计算机科学 2021-02-18 Parwat Singh Anjana , Sweta Kumari , Sathya Peri , Sachin Rathor , Archit Somani

Smart contract technology facilitates self-executing agreements on the blockchain, eliminating dependency on an external trusted authority. However, smart contracts may expose vulnerabilities that can lead to financial losses and…

密码学与安全 · 计算机科学 2026-01-14 Emre Balci , Timucin Aydede , Gorkem Yilmaz , Ece Gelal Soyak