中文
相关论文

相关论文: Formalising Decentralised Exchanges in Coq

200 篇论文

DEX, or decentralized exchange, is a prominent class of decentralized finance (DeFi) applications on blockchains, attracting a total locked value worth tens of billions of USD today. This paper presents the first large-scale empirical study…

密码学与安全 · 计算机科学 2024-01-23 Jiaqi Chen , Yibo Wang , Yuxuan Zhou , Wanning Ding , Yuzhe Tang , XiaoFeng Wang , Kai Li

Decentralized finance (DeFi) has become one of the most successful applications of blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto-financial activities, while the underlying smart contracts often contain…

密码学与安全 · 计算机科学 2021-04-20 Palina Tolmach , Yi Li , Shang-Wei Lin , Yang Liu

We present a measurement study on compositions of Decentralized Finance protocols, which aim to disrupt traditional finance and offer services on top of distributed ledgers, such as Ethereum. DeFi compositions may impact the development of…

密码学与安全 · 计算机科学 2022-10-03 Stefan Kitzler , Friedhelm Victor , Pietro Saggese , Bernhard Haslhofer

Within just four years, the blockchain-based Decentralized Finance (DeFi) ecosystem has accumulated a peak total value locked (TVL) of more than 253 billion USD. This surge in DeFi's popularity has, unfortunately, been accompanied by many…

Decentralized Finance (DeFi) is emerging as a peer-to-peer financial ecosystem, enabling participants to trade products on a permissionless blockchain. Built on blockchain and smart contracts, the DeFi ecosystem has experienced explosive…

密码学与安全 · 计算机科学 2023-09-07 Peng Qian , Rui Cao , Zhenguang Liu , Wenqing Li , Ming Li , Lun Zhang , Yufeng Xu , Jianhai Chen , Qinming He

Decentralised Finance (DeFi) applications constitute an entire financial ecosystem deployed on blockchains. Such applications are based on complex protocols and incentive mechanisms whose financial safety is hard to determine. Besides,…

Decentralized finance (DeFi) protocols are crypto projects developed on the blockchain to manage digital assets. Attacks on DeFi have been frequent and have resulted in losses exceeding $80 billion. Current tools detect and locate possible…

密码学与安全 · 计算机科学 2025-11-04 Xiaoqi Li , Wenkai Li , Zhiquan Liu , Yuqing Zhang , Yingjie Mao

Decentralized finance (DeFi) protocols are crypto projects developed on the blockchain to manage digital assets. Attacks on DeFi have been frequent and have resulted in losses exceeding \$77 billion. However, detection methods for malicious…

密码学与安全 · 计算机科学 2024-05-21 Wenkai Li , Xiaoqi Li , Yuqing Zhang , Zongwei Li

The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology and smart contracts has led to an increased demand for secure and reliable smart contract development. However, attacks targeting smart contracts are…

The rapid growth of Decentralized Finance (DeFi) boosts the Ethereum ecosystem. At the same time, attacks towards DeFi applications (apps) are increasing. However, to the best of our knowledge, existing smart contract vulnerability…

密码学与安全 · 计算机科学 2021-05-03 Siwei Wu , Dabao Wang , Jianting He , Yajin Zhou , Lei Wu , Xingliang Yuan , Qinming He , Kui Ren

Decentralized Finance (DeFi) is a system of financial products and services built and delivered through smart contracts on various blockchains. In the past year, DeFi has gained popularity and market capitalization. However, it has also…

机器学习 · 计算机科学 2023-05-29 Arianna Trozze , Bennett Kleinberg , Toby Davies

Decentralized finance (DeFi) in Ethereum is a financial ecosystem built on the blockchain that has locked over 200 billion USD until April 2022. All transaction information is transparent and open when transacting through the DeFi protocol,…

密码学与安全 · 计算机科学 2022-05-20 Wenkai Li , Jiuyang Bu , Xiaoqi Li , Xianyi Chen

DeFi, or Decentralized Finance, is based on a distributed ledger called blockchain technology. Using blockchain, DeFi may customize the execution of predetermined operations between parties. The DeFi system use blockchain technology to…

密码学与安全 · 计算机科学 2023-04-27 Wenkai Li , Jiuyang Bu , Xiaoqi Li , Hongli Peng , Yuanzheng Niu , Yuqing Zhang

Decentralized techniques are becoming crucial and ubiquitous with the rapid advancement of distributed ledger technologies such as the blockchain. Numerous decentralized systems have been developed to address security and privacy issues…

分布式、并行与集群计算 · 计算机科学 2020-08-20 Yepeng Ding , Hiroyuki Sato

Decentralized Finance (DeFi) took shape in 2020. An unprecedented amount of over 14 billion USD moved into DeFi projects offering trading, loans and insurance. But its growth has also drawn the attention of malicious actors. Many projects…

密码学与安全 · 计算机科学 2021-06-22 Kris Oosthoek

Decentralized Finance (DeFi) is reshaping traditional finance by enabling direct transactions without intermediaries, creating a rich source of open financial data. Layer 2 (L2) solutions are emerging to enhance the scalability and…

综合经济学 · 经济学 2025-08-11 Nir Chemaya , Lin William Cong , Emma Jorgensen , Dingyue Liu , Luyao Zhang

Much of the recent excitement around decentralized finance (DeFi) comes from hopes that DeFi can be a secure, private, less centralized alternative to traditional finance systems. However, people moving to DeFi sites in hopes of improving…

密码学与安全 · 计算机科学 2023-02-07 Philipp Winter , Anna Harbluk Lorimer , Peter Snyder , Benjamin Livshits

Financial markets are undergoing an unprecedented transformation. Technological advances have brought major improvements to the operations of financial services. While these advances promote improved accessibility and convenience,…

交易与市场微观结构 · 定量金融 2023-12-05 Agostino Capponi , Garud Iyengar , Jay Sethuraman

Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make…

软件工程 · 计算机科学 2018-08-06 Bo Jiang , Ye Liu , W. K. Chan

Cryptocurrency has seen an explosive growth in recent years, thanks to the evolvement of blockchain technology and its economic ecosystem. Besides Bitcoin, thousands of cryptocurrencies have been distributed on blockchains, while hundreds…

密码学与安全 · 计算机科学 2020-06-12 Ru Ji , Ningyu He , Lei Wu , Haoyu Wang , Guangdong Bai , Yao Guo
‹ 上一页 1 2 3 10 下一页 ›