中文
相关论文

相关论文: Blockchain-based Smart Contracts - Applications an…

200 篇论文

Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design and cannot be modified once deployed, which ensures…

软件工程 · 计算机科学 2023-04-14 Ilham Qasse , Mohammad Hamdaqa , Björn Þór Jónsson

The rise of digital currency and the public ledger Block Chain has led to the development of a new type of electronic contract known as "smart contracts." For these contracts to be considered valid, they must adhere to traditional contract…

The blockchain technology has been used for recording state transitions of smart contracts - decentralized applications that can be invoked through external transactions. Smart contracts gained popularity and accrued hundreds of billions of…

密码学与安全 · 计算机科学 2023-05-10 Nikolay Ivanov , Chenning Li , Qiben Yan , Zhiyuan Sun , Zhichao Cao , Xiapu Luo

We argue that there is a hierarchy of levels describing to that particular level relevant features of reality behind the content and behavior of blockchain and smart contracts in their realistic deployment. Choice, design, audit and legal…

计算机与社会 · 计算机科学 2021-07-30 Zoran Škoda

Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital platforms of distributed trust. Among these technologies, smart contract platforms have…

计算机与社会 · 计算机科学 2018-03-14 Alexandra Covaci , Simone Madeo , Patrick Motylinski , Stéphane Vincent

Industry 4.0 is a concept devised for improving the way modern factories operate through the use of some of the latest technologies, like the ones used for creating Industrial Internet of Things (IIoT), robotics or Big Data applications.…

分布式、并行与集群计算 · 计算机科学 2024-02-02 Tiago M. Fernandez-Carames , Paula Fraga-Lamas

Spectrum sharing has long been considered as method to improve spectrum resource utilization. Centralized geolocation database approach has been accepted globally for commercial applications. Recently blockchain has been considered as a…

网络与互联网体系结构 · 计算机科学 2023-03-15 Chen Sun , Shuo Wang

Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, action dependencies, and time. Instead, these concepts are…

The limitation with smart contracts is that they cannot access external data which might be required to control the execution of business logic. Oracles can be used to provide external data to smart contracts. An oracle is an interface that…

密码学与安全 · 计算机科学 2020-07-16 Abdeljalil Beniiche

Smart contracts have recently been adopted by many security protocols. However, existing studies lack satisfactory theoretical support on how contracts benefit security protocols. This paper aims to give a systematic analysis of smart…

密码学与安全 · 计算机科学 2022-04-21 Rujia Li , Qin Wang , Qi Wang , David Galindo

Blockchain also known as a distributed ledger technology stores different transactions/operations in a chain of blocks in a distributed manner without needing a trusted third-party. Blockchain is proven to be immutable which helps for…

密码学与安全 · 计算机科学 2019-04-30 Danda B. Rawat , Vijay Chaudhary , Ronald Doku

A smart contract is an interactive program that governs funds in the realm of a single cryptocurrency. Yet, the many existing cryptocurrencies have spurred the design of cross-chain applications that require interactions with multiple…

密码学与安全 · 计算机科学 2025-01-30 Federico Badaloni , Sebastian Holler , Chrysoula Oikonomou , Pedro Moreno-Sanchez , Clara Schneidewind

In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a…

计算机与社会 · 计算机科学 2017-03-16 Christopher D. Clack , Vikram A. Bakshi , Lee Braine

Society is in constant transition to keep up with technological advancement, we are seeing traditional paradigms being increasingly challenged. The fundamentals of governance are one such paradigm. As society's values have shifted, so have…

密码学与安全 · 计算机科学 2018-05-16 Freya Sheer Hardwick , Raja Naeem Akram , Konstantinos Markantonakis

Blockchain is an emerging technology that enables new forms of decentralized software architectures, where distributed components can reach agreements on shared system states without trusting a central integration point. Blockchain provides…

软件工程 · 计算机科学 2025-02-25 Xiwei Xu , Cesare Pautasso , Sin Kuang Lo , Liming Zhu , Qinghua Lu , Ingo Weber

Recently, decentralised (on-blockchain) platforms have emerged to complement centralised (off-blockchain) platforms for the implementation of automated, digital (smart) contracts. However, neither alternative can individually satisfy the…

Smart Contracts are programs running logic in the Blockchain network by executing operations through immutable transactions. The Blockchain network validates such transactions, storing them into sequential blocks of which integrity is…

软件工程 · 计算机科学 2024-03-13 Francesco Salzano , Simone Scalabrino , Rocco Oliveto , Remo Pareschi

The advent of blockchain technology and its adoption across various sectors have raised critical discussions about the need for regulatory mechanisms to ensure consumer protection, maintain financial stability, and address privacy concerns…

密码学与安全 · 计算机科学 2024-07-16 Oshani Seneviratne

We propose a new way to share licensed spectrum bandwidth capacity in mobile networks between operators, service providers and consumers using blockchain-based smart contracts. We discuss the foundational building blocks in the contract as…

网络与互联网体系结构 · 计算机科学 2021-04-08 Thomas Sandholm , Sayandev Mukherjee

Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and…

软件工程 · 计算机科学 2024-07-01 Adele Veschetti , Richard Bubel , Reiner Hähnle