中文
相关论文

相关论文: Formalising Decentralised Exchanges in Coq

200 篇论文

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…

综合金融 · 定量金融 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…

分布式、并行与集群计算 · 计算机科学 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…

综合经济学 · 经济学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

交易与市场微观结构 · 定量金融 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…

交易与市场微观结构 · 定量金融 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…

软件工程 · 计算机科学 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…

综合经济学 · 经济学 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…

编程语言 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

交易与市场微观结构 · 定量金融 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,…

人工智能 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

综合金融 · 定量金融 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…

计算金融 · 定量金融 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 2019-04-11 Philip Daian , Steven Goldfeder , Tyler Kell , Yunqi Li , Xueyuan Zhao , Iddo Bentov , Lorenz Breidenbach , Ari Juels