中文
相关论文

相关论文: Contract-Backed Digital Cash

200 篇论文

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 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

We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, data-driven transitions, and external coordination…

编程语言 · 计算机科学 2026-04-23 Elvis Konjoh Selabi , Maurizio Murgia , António Ravara , Emilio Tuosto

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

Corruption is a major global financial problem with billions of dollars rendered lost or unaccountable annually. Corruption through contract fraud is often conducted by withholding and/or altering financial information. When such scandals…

计算机与社会 · 计算机科学 2020-02-18 Jørgen Svennevik Notland , Jakob Svennevik Notland , Donn Morrison

Smart contracts are programs stored on a blockchain that run when predetermined conditions are met. However, designing and implementing a smart contract is not trivial since upon deployment on a blockchain, it is no longer possible to…

软件工程 · 计算机科学 2021-12-08 Chaïmaa Benabbou , Önder Gürcan

Blockchains provide environments where parties can interact transparently and securely peer-to-peer without needing a trusted third party. Parties can trust the integrity and correctness of transactions and the verifiable execution of…

密码学与安全 · 计算机科学 2023-03-02 Simon Tschirner , Shashank Shekher Tripathi , Mathias Roeper , Markus M. Becker , Volker Skwarek

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

The global financial landscape is experiencing significant transformation driven by technological advancements and evolving market dynamics. Moreover, blockchain technology has become a pivotal platform with widespread applications,…

计算工程、金融与科学 · 计算机科学 2024-07-30 Maruf Ahmed Mridul , Kaiyang Chang , Aparna Gupta , Oshani Seneviratne

Blockchain has been praised for its capacity to hold data in a decentralized and tamper-proof way. It also supports the execution of code through blockchain's smart contracts, adding automation of actions to the network with high…

密码学与安全 · 计算机科学 2021-01-25 Nicolas Six , Claudia Negri Ribalta , Nicolas Herbaut , Camille Salinesi

E-commerce in today's conditions has the highest dependence on network infrastructure of banking. However, when the possibility of communicating with the Banking network is not provided, business activities will suffer. This paper proposes…

计算工程、金融与科学 · 计算机科学 2010-11-02 Majid Taghiloo , Mohammad Ali Agheli , Mohammad Reza Rezaeinezhad

Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programming languages running on a blockchain and govern how tokens…

密码学与安全 · 计算机科学 2022-07-11 Margarita Capretto , Martin Ceresa , Cesar Sanchez

Delegation of cryptographic signing rights has found many application in the literature and the real world. However, despite very advanced functionalities and specific use cases, existing solutions share the natural limitation that the…

密码学与安全 · 计算机科学 2022-10-07 Stephan Krenn , Thomas Lorünser

A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test. In…

密码学与安全 · 计算机科学 2021-10-01 Paolo Bottoni , Anna Labella , Remo Pareschi

Blockchain is a decentralized system that allows transaction transmission and storage according to the roles of the Consensus algorithm and Smart contracts. Non-fungible tokens (NFTs) consolidate the best characteristics of blockchain…

密码学与安全 · 计算机科学 2022-09-07 Subhash Shankar Pandey , Tadasha Dash , Prasanta K. Panigrahi , Ahmed Farouk

Modern distributed data management systems face a new challenge: how can autonomous, mutually-distrusting parties cooperate safely and effectively? Addressing this challenge brings up questions familiar from classical distributed systems:…

分布式、并行与集群计算 · 计算机科学 2019-10-16 Maurice Herlihy , Barbara Liskov , Liuba Shrira

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

The rise of smart contract systems such as Ethereum has resulted in a proliferation of blockchain-based decentralized applications including applications that store and manage a wide range of data. Current smart contracts are designed to be…

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

Nowadays, huge amounts of data are generated every second, and a quantity of that data can be defined as sensitive. Blockchain technology has private, secure, transparent and decentralized exchange of data as native. It is adaptable and can…

分布式、并行与集群计算 · 计算机科学 2021-12-16 M. Sipek , M. Zagar , B. Mihaljevic , N. Draskovic

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…

神经与进化计算 · 计算机科学 2024-05-08 Atsushi Masumori , Norihiro Maruyama , Takashi Ikegami