English
Related papers

Related papers: Formalising Decentralised Exchanges in Coq

200 papers

Decentralized finance, powered by blockchain technology, is growing day by day. This field, which emerged a few years ago, today manages $70 billion in assets. In this study, the concept of decentralized finance is discussed and explained…

General Finance · Quantitative Finance 2023-04-05 Mansur Bestas

Decentralisation is one of the promises introduced by blockchain technologies: fair and secure interaction amongst peers with no dominant positions, single points of failure or censorship. Decentralisation, however, appears difficult to be…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-11-20 Andrea Bracciali , Davide Grossi , Ronald de Haan

In this paper, we analyze various Decentralized Finance (DeFi) protocols in terms of their token distributions. We propose an iterative mapping process that allows us to split aggregate token holdings from custodial and escrow contracts and…

General Economics · Economics 2020-12-18 Matthias Nadler , Fabian Schär

Ethereum is a permissionless blockchain ecosystem that supports execution of smart contracts, the key enablers of decentralized finance (DeFi) and non-fungible tokens (NFT). However, the expressiveness of Ethereum smart contracts is a…

Cryptography and Security · Computer Science 2023-01-24 Nikolay Ivanov , Qiben Yan , Anurag Kompalli

Decentralized Autonomous Organizations (DAOs) have emerged as a novel governance mechanism in blockchain ecosystems, particularly within Decentralized Finance (DeFi). By enabling token holders to propose and vote on protocol changes, these…

Cryptography and Security · Computer Science 2025-07-22 Johnnatan Messias , Vabuk Pahari , Balakrishnan Chandrasekaran , Krishna P. Gummadi , Patrick Loiseau

An attacker that gains access to a cryptocurrency user's private keys can perform any operation in her stead. Due to the decentralized nature of most cryptocurrencies, no entity can revert those operations. This is a central challenge for…

Cryptography and Security · Computer Science 2021-06-03 Uri Kirstein , Shelly Grossman , Michael Mirkin , James Wilcox , Ittay Eyal , Mooly Sagiv

Decentralized applications (dApps) in Decentralized Finance (DeFi) face a fundamental tension between regulatory compliance requirements like Know Your Customer (KYC) and maintaining decentralization and privacy. Existing permissioned DeFi…

Cryptography and Security · Computer Science 2025-10-08 Fabian Piper , Karl Wolf , Jonathan Heiss

This empirical study presents the Decentralized Exchanges Comparison Service (DECS), a novel tool developed by 1inch Analytics to assess exchange efficiency in decentralized finance. The DECS utilizes swap transaction monitoring and…

Trading and Market Microstructure · Quantitative Finance 2024-11-05 Evgenii Onishchuk , Maksim Dubovitskii , Eduard Horch

As an integral part of the decentralized finance (DeFi) ecosystem, decentralized exchanges (DEXs) with automated market maker (AMM) protocols have gained massive traction with the recently revived interest in blockchain and distributed…

Trading and Market Microstructure · Quantitative Finance 2023-03-16 Jiahua Xu , Krzysztof Paruch , Simon Cousaert , Yebo Feng

Decentralized Finance (DeFi) staking is one of the most prominent applications within the DeFi ecosystem, where DeFi projects enable users to stake tokens on the platform and reward participants with additional tokens. However, logical…

Software Engineering · Computer Science 2026-01-12 Zewei Lin , Jiachi Chen , Jingwen Zhang , Zexu Wang , Yuming Feng , Weizhe Zhang , Zibin Zheng

Decentralized finance (DeFi) is known for its unique mechanism design, which applies smart contracts to facilitate peer-to-peer transactions. The decentralized bank is a typical DeFi application. Ideally, a decentralized bank should be…

General Economics · Economics 2025-08-11 Yufan Zhang , Zichao Chen , Yutong Sun , Yulin Liu , Luyao Zhang

The growing adoption of smart contracts on blockchains poses new security risks that can lead to significant monetary loss, while existing approaches either provide no (or partial) security guarantees for smart contracts or require huge…

Programming Languages · Computer Science 2021-03-04 Shaokai Lin , Xinyuan Sun , Jianan Yao , Ronghui Gu

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…

Cryptography and Security · Computer Science 2020-05-08 Hangyu Tian , Kaiping Xue , Shaohua Li , Jie Xu , Jianqing Liu , Jun Zhao

The rise of Decentralized Finance ("DeFi") on the Ethereum blockchain has enabled the creation of lending platforms, which serve as marketplaces to lend and borrow digital currencies. We first categorize the activity of lending platforms…

Trading and Market Microstructure · Quantitative Finance 2022-06-08 Michael Darlin , Georgios Palaiokrassas , Leandros Tassiulas

DeFi investment agents, systems that use AI for autonomous on-chain trading, have attained over USD 3 billion in combined token valuations since late 2024. We survey over 1,900 AI-tagged crypto projects, filter to investment-focused agents,…

Artificial Intelligence · Computer Science 2026-05-29 Jay Yu , Amy Zhao , Danning Sui

The recent proliferation of blockchain-based decentralized applications (DApp) has catalyzed transformative advancements in distributed systems, with extensive deployments observed across financial, entertainment, media, and cybersecurity…

Cryptography and Security · Computer Science 2026-02-10 Haoyang Sun , Yishun Wang , Xiaoqi Li

The evolution of cryptocurrency and decentralized finance (DeFi) marks a significant shift in the financial landscape, making it more accessible, inclusive, and participative for various societal groups. However, this transition from…

General Finance · Quantitative Finance 2024-07-03 Amrutha Muralidhar , Muralidhar Lakkanna

Flash Loan attack can grab millions of dollars from decentralized vaults in one single transaction, drawing increasing attention from the Decentralized Finance (DeFi) players. It has also demonstrated an exciting opportunity that a huge…

Computational Finance · Quantitative Finance 2021-02-02 Yixin Cao , Chuanwei Zou , Xianfeng Cheng

We identify the slow liquidity drain (SLID) scam, an insidious and highly profitable threat to decentralized finance (DeFi), posing a large-scale, persistent, and growing risk to the ecosystem. Unlike traditional scams such as rug pulls or…

Cryptography and Security · Computer Science 2025-08-07 Minh Trung Tran , Nasrin Sohrabi , Zahir Tari , Qin Wang , Minhui Xue , Xiaoyu Xia

Blockchains, and specifically smart contracts, have promised to create fair and transparent trading ecosystems. Unfortunately, we show that this promise has not been met. We document and quantify the widespread and rising deployment of…

Cryptography and Security · Computer Science 2019-04-11 Philip Daian , Steven Goldfeder , Tyler Kell , Yunqi Li , Xueyuan Zhao , Iddo Bentov , Lorenz Breidenbach , Ari Juels
‹ Prev 1 3 4 5 6 7 10 Next ›