English
Related papers

Related papers: A Smart-Contract to Resolve Multiple Equilibrium i…

200 papers

With a market capitalisation of over USD 205 billion in just under ten years, public distributed ledgers have experienced significant adoption. Apart from novel consensus mechanisms, their success is also accountable to smart contracts.…

Cryptography and Security · Computer Science 2018-11-02 Dominik Harz , William Knottenbelt

We propose and develop a framework for validating smart contracts derived from e-contracts. The goal is to ensure the generated smart contracts fulfil all the conditions outlined in their corresponding e-contracts. By confirming alignment…

Software Engineering · Computer Science 2025-04-29 Sangharatna Godboley , P. Radha Krishna , Sunkara Sri Harika , Pooja Varnam

Since they were authorized by the U.S. Security and Exchange Commission in 1998, electronic exchanges have boomed, and by 2010 high frequency trading accounted for over 70% of equity trades in the US. Such markets are thought to increase…

Trading and Market Microstructure · Quantitative Finance 2012-10-23 Rene Carmona , Kevin Webster

In this paper, we introduce a novel, non-recursive, maximal matching algorithm for double auctions, which aims to maximize the amount of commodities to be traded. It differs from the usual equilibrium matching, which clears a market at the…

Computer Science and Game Theory · Computer Science 2013-04-12 Jinzhong Niu , Simon Parsons

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…

Cryptography and Security · Computer Science 2023-06-05 Peng Zhang , Jiaquan Wei , Yuhong Liu , Hongwei Liu

We prove the existence of a continuous-time Radner equilibrium with multiple agents and transaction costs. The agents are incentivized to trade towards a targeted number of shares throughout the trading period and seek to maximize their…

Mathematical Finance · Quantitative Finance 2023-06-16 Jin Hyuk Choi , Jetlir Duraj , Kim Weston

This paper studies repeated games where two players play multiple duopolistic games simultaneously (multimarket contact). A key assumption is that each player receives a noisy and private signal about the other's actions (private monitoring…

Computer Science and Game Theory · Computer Science 2019-11-26 Atsushi Iwasaki , Tadashi Sekiguchi , Shun Yamamoto , Makoto Yokoo

We identify a subtle security issue that impacts the design of smart contracts, because agents may themselves deploy smart contracts (side contracts). Typically, equilibria of games are analyzed in vitro, under the assumption that players…

Computer Science and Game Theory · Computer Science 2023-05-05 Daji Landis , Nikolaj I. Schwartzbach

The potential for blockchain technology to eliminate the middleman and replace the top down hierarchical model of governance with a system of distributed cooperation has opened up many new opportunities, as well as dilemmas. Surpassing the…

Software Engineering · Computer Science 2023-04-12 Simona Ramos , Morshed Mannan

The use of computer technology to automate the enforcement of law is a promising alternative to simplify bureaucratic procedures. However, careless automation might result in an inflexible and dehumanise law enforcement system driven by…

Computers and Society · Computer Science 2023-12-14 Carlos Molina-Jimenez , Sandra Milena Felizia

We present a cross-market algorithmic trading system that balances execution quality with rigorous compliance enforcement. The architecture comprises a high-level planner, a reinforcement learning execution agent, and an independent…

Artificial Intelligence · Computer Science 2025-10-08 Ailiya Borjigin , Cong He

We examine the trade-off between the provision of incentives to exert costly effort (ex-ante moral hazard) and the incentives needed to prevent the agent from manipulating the profit observed by the principal (ex-post moral hazard).…

Theoretical Economics · Economics 2021-12-14 Jean-Gabriel Lauzier

A blockchain-based smart contract or a "smart contract" for short, is a computer program intended to digitally facilitate the negotiation or contractual terms directly between users when certain conditions are met. With the advance in…

Computers and Society · Computer Science 2019-06-11 Yining Hu , Madhusanka Liyanage , Ahsan Mansoor , Kanchana Thilakarathna , Guillaume Jourjon , Aruna Seneviratne

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…

We propose a static equilibrium model for limit order book where profit-maximizing investors receive an information signal regarding the liquidation value of the asset and execute via a competitive dealer with random initial inventory, who…

Trading and Market Microstructure · Quantitative Finance 2020-03-11 Umut Çetin , Henri Waelbroeck

A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain,…

Software Engineering · Computer Science 2021-04-20 Palina Tolmach , Yi Li , Shang-Wei Lin , Yang Liu , Zengxiang Li

This paper proposes two decentralised, secure and privacy-friendly protocols for local electricity trading and billing, respectively. The trading protocol employs a bidding algorithm based upon secure multiparty computations and allows…

Cryptography and Security · Computer Science 2018-01-26 Aysajan Abidin , Abdelrahaman Aly , Sara Cleemput , Mustafa A. Mustafa

The explosive growth of data has highlighted its critical role in driving economic growth through data marketplaces, which enable extensive data sharing and access to high-quality datasets. To support effective trading, signaling mechanisms…

Computer Science and Game Theory · Computer Science 2025-11-12 Li Peng , Jiayao Zhang , Yihang Wu , Weiran Liu , Jinfei Liu , Zheng Yan , Kui Ren , Lei Zhang , Lin Qu

Blockchain technologies, such as smart contracts, present a unique interface for machine-to-machine communication that provides a secure, append-only record that can be shared without trust and without a central administrator. We study the…

Computers and Society · Computer Science 2019-01-09 Yuichi Hanada , Luke Hsiao , Philip Levis

Double auctions are widely used in financial markets, such as those for stocks, derivatives, currencies, and commodities, to match demand and supply. Once all buyers and sellers have placed their trade requests, the exchange determines how…

Logic in Computer Science · Computer Science 2024-10-25 Mohit Garg , N. Raja , Suneel Sarswat , Abhishek Kr Singh