中文
相关论文

相关论文: POSE: Practical Off-chain Smart Contract Execution

200 篇论文

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

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to…

密码学与安全 · 计算机科学 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo

Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments and auctions, in a distributed environment without need for…

密码学与安全 · 计算机科学 2018-04-24 Ilya Grishchenko , Matteo Maffei , Clara Schneidewind

Ethereum 2.0, as the preeminent smart contract blockchain platform, guarantees the precise execution of applications without third-party intervention. At its core, this system leverages the Proof-of-Stake (PoS) consensus mechanism, which…

综合经济学 · 经济学 2025-08-11 Tao Yan , Shengnan Li , Benjamin Kraner , Luyao Zhang , Claudio J. Tessone

The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the key capabilities of these emerging platforms is the ability…

密码学与安全 · 计算机科学 2019-01-23 Anastasia Mavridou , Aron Laszka , Emmanouela Stachtiari , Abhishek Dubey

Recently, a number of existing blockchain systems have witnessed major bugs and vulnerabilities within smart contracts. Although the literature features a number of proposals for securing smart contracts, these proposals mostly focus on…

密码学与安全 · 计算机科学 2018-12-17 Michael Rodler , Wenting Li , Ghassan O. Karame , Lucas Davi

The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous…

编程语言 · 计算机科学 2019-04-16 Franklin Schrans , Daniel Hails , Alexander Harkness , Sophia Drossopoulou , Susan Eisenbach

Sealed-bid auctions ensure fair competition and efficient allocation but are often deployed on centralized infrastructure, enabling opaque manipulation. Public blockchains eliminate central control, yet their inherent transparency conflicts…

密码学与安全 · 计算机科学 2025-10-23 Jonas Gebele , Timm Mutzel , Burak Oez , Florian Matthes

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

In the age of Big Data, releasing protected sensitive data at a future point in time is critical for various applications. Such self-emerging data release requires the data to be protected until a prescribed data release time and be…

密码学与安全 · 计算机科学 2019-02-18 Chao Li , Balaji Palanisamy

In the area of blockchains, a wallet is anything that manages the access to cryptocurrencies and tokens. Off-chain wallets appear in different forms, from paper wallets to hardware wallets to dedicated wallet apps, while on-chain wallets…

密码学与安全 · 计算机科学 2021-04-06 Monika di Angelo , Gernot Salzer

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…

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…

密码学与安全 · 计算机科学 2020-05-07 Lodovica Marchesi , Michele Marchesi , Roberto Tonelli

Blockchains have sparked global interest in recent years, gaining importance as they increasingly influence technology and finance. This thesis investigates the robustness of blockchain protocols, specifically focusing on Ethereum…

密码学与安全 · 计算机科学 2024-12-02 Ulysse Pavloff

Blockchain applications often rely on lightweight clients to access and verify on-chain data efficiently without the need to run a resource-intensive full node. These light clients must maintain robust security to protect the blockchain's…

密码学与安全 · 计算机科学 2024-05-03 Niusha Moshrefi , Peiyao Sheng , Soubhik Deb , Sreeram Kannan , Pramod Viswanath

Smart contracts are full-fledged programs that run on blockchains (e.g., Ethereum, one of the most popular blockchains). In Ethereum, gas (in Ether, a cryptographic currency like Bitcoin) is the execution fee compensating the computing…

软件工程 · 计算机科学 2020-11-05 Ting Chen , Xiaoqi Li , Xiapu Luo , Xiaosong Zhang

The Proof of Efficient Liquidity (PoEL) protocol, designed for specialised Proof of Stake (PoS) consensus-based blockchains that incorporate intrinsic DeFi applications, aims to support sustainable liquidity bootstrapping and network…

综合金融 · 定量金融 2024-02-19 Arman Abgaryan , Utkarsh Sharma , Joshua Tobkin

Using blockchain technology, it is possible to create contracts that offer a reward in exchange for a trained machine learning model for a particular data set. This would allow users to train machine learning models for a reward in a…

密码学与安全 · 计算机科学 2018-03-01 A. Besir Kurtulmus , Kenny Daniel

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

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…

分布式、并行与集群计算 · 计算机科学 2019-02-01 Tatsuya Sato , Yosuke Himura , Jun Nemoto