中文
相关论文

相关论文: Collaborative and parametric insurance on the Ethe…

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

Data driven approaches to problem solving are, in many regards, the holy grail of evidence backed decision making. Using first-party empirical data to analyze behavior and establish predictions yields us the ability to base in-depth…

密码学与安全 · 计算机科学 2021-02-09 Michael Bartholic , Zhengrong Gu , Jianan Su , Justin Goldstein , Shin'ichiro Matsuo

Smart contracts are self-executing programs on blockchain platforms like Ethereum, which have revolutionized decentralized finance by enabling trustless transactions and the operation of decentralized applications. Despite their potential,…

软件工程 · 计算机科学 2026-03-25 Gerardo Iuliano , Dario Di Nucci

As a blockchain platform that has developed vigorously in recent years, Ethereum is different from Bitcoin in that it introduces smart contracts into blockchain.Solidity is one of the most mature and widely used smart contract programming…

软件工程 · 计算机科学 2019-11-25 Pengcheng Zhang , Feng Xiao , Xiapu Luo

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

The blockchain constitutes a technology-based, rather than social or regulation based, means to lower uncertainty about one another in order to exchange value. However, its use may very well also lead to increased complexity resulting from…

计算机与社会 · 计算机科学 2018-01-09 Henry Kim , Marek Laskowski

The emerging blockchain technology supports decentralized computing paradigm shift and is a rapidly approaching phenomenon. While blockchain is thought primarily as the basis of Bitcoin, its application has grown far beyond cryptocurrencies…

密码学与安全 · 计算机科学 2020-06-23 Reza M. Parizi , Ali Dehghantanha , Kim-Kwang Raymond Choo , Amritraj Singh

Turing completeness has made Ethereum smart contracts attractive to blockchain developers and attackers alike. To increase code security, many tools can now spot most known vulnerabilities$-$at the cost of production efficiency. Recent…

密码学与安全 · 计算机科学 2024-10-23 Tommaso Oss , Carlos E. Budde

Blockchain has emerged as a trusted and secure distributed ledger for transactions while also being decentralised, distributed and its legitimacy not guaranteed by a trusted authority. Since the appearance of Bitcoin, Blockchain has known…

分布式、并行与集群计算 · 计算机科学 2018-10-01 Ioana Stanescu , Lenuta Alboaie , Andrei Panu

The problem of a single point of failure in centralized systems poses a great challenge to the stability of such systems. Meanwhile, the tamperability of data within centralized systems makes users reluctant to trust and use centralized…

密码学与安全 · 计算机科学 2025-04-22 Ka Wai Wu

Blockchains are maintained by a network of participants that run algorithms designed to maintain collectively a distributed machine tolerant to Byzantine attacks. From the point of view of users, blockchains provide the illusion of…

计算机科学中的逻辑 · 计算机科学 2022-07-15 Martán Ceresa , César Sánchez

Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts…

分布式、并行与集群计算 · 计算机科学 2017-02-16 Thomas Dickerson , Paul Gazzillo , Maurice Herlihy , Eric Koskinen

We put forward the idea that classical blockchains and smart contracts are potentially useful primitives not only for classical cryptography, but for quantum cryptography as well. Abstractly, a smart contract is a functionality that allows…

量子物理 · 物理学 2019-07-04 Andrea Coladangelo

With the escalating prevalence of malicious activities exploiting vulnerabilities in blockchain systems, there is an urgent requirement for robust attack detection mechanisms. To address this challenge, this paper presents a novel…

With the rising demand for protection against new risks such as loss of digital assets, novel insurance services and products emerge. In particular, token-based insurance solutions on blockchain transform the insurance business by providing…

计算机与社会 · 计算机科学 2022-12-20 Simon Cousaert , Nikhil Vadgama , Jiahua Xu

In today's programmable blockchains, smart contracts are limited to being deterministic and non-probabilistic. This lack of randomness is a consequential limitation, given that a wide variety of real-world financial contracts, such as…

计算机科学与博弈论 · 计算机科学 2019-02-22 Krishnendu Chatterjee , Amir Kafshdar Goharshady , Arash Pourdamghani

One of the key challenges in the collaboration within heterogeneous multi-robot systems is the optimization of the amount and type of data to be shared between robots with different sensing capabilities and computational resources. In this…

密码学与安全 · 计算机科学 2020-07-07 Jorge Peña Queralta , Tomi Westerlund

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

Smart contracts, the cornerstone of blockchain technology, enable secure, automated distributed execution. Given their role in handling large transaction volumes across clients, miners, and validators, exploring concurrency is critical.…

密码学与安全 · 计算机科学 2025-07-23 Atefeh Zareh Chahoki , Maurice Herlihy , Marco Roveri

The current electricity networks were not initially designed for the high integration of variable generation technologies. They suffer significant losses due to the combustion of fossil fuels, the long-distance transmission, and…

多智能体系统 · 计算机科学 2022-01-14 Guilherme Vieira , Jie Zhang