中文
相关论文

相关论文: Digital Social Contracts: A Foundation for an Egal…

200 篇论文

Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the…

分布式、并行与集群计算 · 计算机科学 2025-02-11 Yackolley Amoussou-Guenou , Maurice Herlihy , Sucharita Jayanti , Maria Potop-Butucaru , Sergio Rajsbaum

Using dedicated software to represent or enact legislation or regulation has the advantage of solving the inherent ambiguity of legal texts and enabling the automation of compliance with legal norms. On the other hand, the so-called…

编程语言 · 计算机科学 2022-09-07 Silvia Crafa

Nowadays, sophisticated domains are emerging which require appropriate formalisms to be specified accurately in order to reason about them. One such domain is constituted of smart contracts that have emerged in cyber physical systems as a…

计算机科学中的逻辑 · 计算机科学 2025-02-14 Kalonji Kalala

Smart contract technology is reshaping conventional industry and business processes. Being embedded in blockchains, smart contracts enable the contractual terms of an agreement to be enforced automatically without the intervention of a…

软件工程 · 计算机科学 2019-12-24 Zibin Zheng , Shaoan Xie , Hong-Ning Dai , Weili Chen , Xiangping Chen , Jian Weng , Muhammad Imran

Power and information asymmetries between people and digital technology companies have predominantly been legitimized through contractual agreements that have failed to provide diverse people with meaningful consent and contestability. We…

计算机与社会 · 计算机科学 2022-06-07 Bogdana Rakova , Megan Ma , Renee Shelby

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

Though successive generations of digital technology have become increasingly powerful in the past twenty years, digital democracy has yet to realize its potential for deliberative transformation. The undemocratic exploitation of massive…

计算机与社会 · 计算机科学 2020-03-05 John Gastil , Todd Davies

Algocracy is the rule by algorithms. This paper summarises technologies useful to create algocratic social machines and presents idealistic examples of their application. In particular, it describes smart contracts and their…

计算机与社会 · 计算机科学 2020-07-28 Rustam Tagiew

Although almost all information about Smart Contract addresses is shared via websites, emails, or other forms of digital communication, Blockchains and distributed ledger technology are unable to establish secure bindings between websites…

密码学与安全 · 计算机科学 2020-04-30 Ulrich Gallersdörfer , Florian Matthes

With the massive amount of digital data generated everyday, transactions of digital goods become a trend. One of the essential requirements for such transactions is fairness, which is defined as that both of the seller and the buyer get…

密码学与安全 · 计算机科学 2023-06-05 Peng Zhang , Jiaquan Wei , Yuhong Liu , Hongwei Liu

Over the last decade there has been a continuing decline in social trust on the part of individuals with regards to the handling and fair use of personal data, digital assets and other related rights in general. At the same time, there has…

密码学与安全 · 计算机科学 2019-11-26 Thomas Hardjono , Alex Pentland

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

This paper investigates the concept of digital city. First, a functional analysis of a digital city is made in the light of the modern study of urbanism; similarities between the virtual and urban constructions are pointed out. Next, a…

人工智能 · 计算机科学 2007-05-23 Victor V. Kryssanov , Masayuki Okabe , Koh Kakusho , Michihiko Minoh

"Code is law" is the funding principle of cryptocurrencies. The security, transferability, availability and other properties of a crypto-asset are determined by the code through which it is created. If code is open source, as it happens for…

统计金融 · 定量金融 2020-12-23 Lorenzo Lucchini , Laura Alessandretti , Bruno Lepri , Angela Gallo , Andrea Baronchelli

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

Blockchain-based platforms are emerging as a transformative technology that can provide reliability, integrity, and auditability without trusted entities. One of the key features of these platforms is the trustworthy decentralized execution…

计算机与社会 · 计算机科学 2020-01-20 Afiya Ayman , Shanto Roy , Amin Alipour , Aron Laszka

Smart contracts (SC) are software codes which reside and run over a blockchain. The code can be written in different languages with the common purpose of implementing various kinds of transactions onto the hosting blockchain, They are ruled…

软件工程 · 计算机科学 2018-02-08 Roberto Tonelli , Giuseppe Destefanis , Michele Marchesi , Marco Ortu

The speech code is a vehicle of language: it defines a set of forms used by a community to carry information. Such a code is necessary to support the linguistic interactions that allow humans to communicate. How then may a speech code be…

机器学习 · 计算机科学 2007-05-23 Pierre-Yves Oudeyer

Digital transactions currently exceed trillions of dollars annually, yet traditional paper-based agreements remain a bottleneck for automation, enforceability, and dispute resolution. Natural language contracts introduce ambiguity, require…

密码学与安全 · 计算机科学 2025-10-24 To-Wen Liu , Matthew Green

Smart contracts are blockchain-based algorithms that execute when specific criteria are satisfied. They are often used to automate the implementation of an agreement so that all parties may be confident of the conclusion right away, without…

密码学与安全 · 计算机科学 2022-12-19 Harry Virani , Manthan Kyada