Tootfinder

Ellipsis Labs, which operates Phoenix, a decentralized crypto exchange launched in February 2023, raised a $20M Series A led by Paradigm (Niamh Rowe/Fortune)
https://fortune.com/crypto/2024/04/04/defi-developers-crypto-exchange-phoenix…

DeFi developers behind crypto exchange Phoenix close $20 million Series A round
Led by Paradigm, Ellipsis Labs today announced $20 million in Series A funding to accelerate Phoenix, its decentralized spot exchange.

Dak Prescott 'definitely confident' he'll get extension done with Cowboys https://www.nfl.com/news/dak-prescott-definitely-confident-he-ll-get-extension-done-with-cowboys

Dak Prescott 'definitely confident' he'll get extension done with Cowboys
A new dad brimming with optimism, Dak Prescott is assured that he’ll get a new deal done with the Dallas Cowboys.

SoK: Comprehensive Analysis of Rug Pull Causes, Datasets, and Detection Tools in DeFi
Dianxiang Sun, Wei Ma, Liming Nie, Yang Liu
https://arxiv.org/abs/2403.16082

SoK: Comprehensive Analysis of Rug Pull Causes, Datasets, and Detection Tools in DeFi
Rug pulls pose a grave threat to the cryptocurrency ecosystem, leading to substantial financial loss and undermining trust in decentralized finance (DeFi) projects. With the emergence of new rug pull patterns, research on rug pull is out of state. To fill this gap, we first conducted an extensive analysis of the literature review, encompassing both scholarly and industry sources. By examining existing academic articles and industrial discussions on rug pull projects, we present a taxonomy inclu…

Ex-Amazon Engineer Gets Three Years for Hacking DeFi Platforms
https://www.bloomberg.com/news/articles/2024-04-12/ex-amazon-engineer-gets-three-years-for-hacking-defi-platforms

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
M. Praveen, Raghavendra Ramesh, Isaac Doidge
https://arxiv.org/abs/2403.16637 https:…

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
Decentralized Finance (DeFi) has emerged as a contemporary competitive as well as complementary to traditional centralized finance systems. As of 23rd January 2024, per Defillama approximately USD 55 billion is the total value locked on the DeFi applications on all blockchains put together. A Byzantine Fault Tolerant (BFT) State Machine Replication (SMR) protocol, popularly known as the consensus protocol, is the central component of a blockchain. If forks are possible in a consensus protocol…

A US jury finds Avraham Eisenberg, a crypto trader who stole $110M on the Mango Markets exchange in 2022, guilty of fraud despite his "code is law" claim (Crystal Kim/Axios)
https://www.axios.com/2024/04/18/avi-eisenberg-convicted-crypt…

Crypto trader Avi Eisenberg convicted of fraud in $110 million Mango Markets scheme
For the first time, a jury decided whether existing U.S. laws applied to the world of decentralized finance (DeFi).

Train supprimé :
- DEFI, départ La Verrière 17H20 arrivée Š Paris-Montparnasse 18H01.
Prochain train  Š circuler :
- DEFI, départ La Verrière 18H20 arrivée Š La Défense Š 19H.
Risque d'affluence Š bord du train suivant.
Motif : panne d'un train.
🤖 27/04 17:46

Modeling and Analysis of Crypto-Backed Over-Collateralized Stable Derivatives in DeFi
Zhenbang Feng, Hardhik Mohanty, Bhaskar Krishnamachari
https://arxiv.org/abs/2402.18119

Modeling and Analysis of Crypto-Backed Over-Collateralized Stable Derivatives in DeFi
In decentralized finance (DeFi), stablecoins like DAI are designed to offer a stable value amidst the fluctuating nature of cryptocurrencies. We examine the class of crypto-backed stable derivatives, with a focus on mechanisms for price stabilization, which is exemplified by the well-known stablecoin DAI from MakerDAO. For simplicity, we focus on a single-collateral setting. We introduce a belief parameter to the simulation model of DAI in a previous work (DAISIM), reflecting market sentiments …

The US SEC sends decentralized crypto exchange Uniswap a Wells notice warning that the agency intends to bring an enforcement action against the company (Jeff John Roberts/Fortune)
https://fortune.com/crypto/2024/04/10/sec-…

SEC moves to sue Uniswap in bid to hobble fast-growing DeFi sector
The SEC's impending lawsuit against Uniswap Labs will be a major test for the emerging DeFi sector.

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
M. Praveen, Raghavendra Ramesh, Isaac Doidge
https://arxiv.org/abs/2403.16637 https:…

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
Decentralized Finance (DeFi) has emerged as a contemporary competitive as well as complementary to traditional centralized finance systems. As of 23rd January 2024, per Defillama approximately USD 55 billion is the total value locked on the DeFi applications on all blockchains put together. A Byzantine Fault Tolerant (BFT) State Machine Replication (SMR) protocol, popularly known as the consensus protocol, is the central component of a blockchain. If forks are possible in a consensus protocol…

Trains supprimés :
- DEFI, départ La Verrière 17H20 arrivée Š Paris-Montparnasse 18H01.
Prochain trains  Š circuler :
- DEFI, départ La Verrière 18H20 arrivée Š La Défense Š 19H.
Risque d'affluence Š bord du train suivant.
Motif : panne d'un train.
🤖 27/04 17:43

Modeling and Analysis of Crypto-Backed Over-Collateralized Stable Derivatives in DeFi
Zhenbang Feng, Hardhik Mohanty, Bhaskar Krishnamachari
https://arxiv.org/abs/2402.18119

Modeling and Analysis of Crypto-Backed Over-Collateralized Stable Derivatives in DeFi
In decentralized finance (DeFi), stablecoins like DAI are designed to offer a stable value amidst the fluctuating nature of cryptocurrencies. We examine the class of crypto-backed stable derivatives, with a focus on mechanisms for price stabilization, which is exemplified by the well-known stablecoin DAI from MakerDAO. For simplicity, we focus on a single-collateral setting. We introduce a belief parameter to the simulation model of DAI in a previous work (DAISIM), reflecting market sentiments …

Analyzing Games in Maker Protocol Part One: A Multi-Agent Influence Diagram Approach Towards Coordination
Abhimanyu Nag, Samrat Gupta, Sudipan Sinha, Arka Datta
https://arxiv.org/abs/2402.15037

Analyzing Games in Maker Protocol Part One: A Multi-Agent Influence Diagram Approach Towards Coordination
Decentralized Finance (DeFi) ecosystems, exemplified by the Maker Protocol, rely on intricate games to maintain stability and security. Understanding the dynamics of these games is crucial for ensuring the robustness of the system. This motivating research proposes a novel methodology leveraging Multi-Agent Influence Diagrams (MAID), originally proposed by Koller and Milch, to dissect and analyze the games within the Maker stablecoin protocol. By representing users and governance of the Maker p…

This https://arxiv.org/abs/2308.15992 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCE_…

AI-powered Fraud Detection in Decentralized Finance: A Project Life Cycle Perspective
In recent years, blockchain technology has introduced decentralized finance (DeFi) as an alternative to traditional financial systems. DeFi aims to create a transparent and efficient financial ecosystem using smart contracts and emerging decentralized applications. However, the growing popularity of DeFi has made it a target for fraudulent activities, resulting in losses of billions of dollars due to various types of frauds. To address these issues, researchers have explored the potential of ar…

This https://arxiv.org/abs/2311.17715 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qfi…

Market Misconduct in Decentralized Finance (DeFi): Analysis, Regulatory Challenges and Policy Implications
Technological advancement drives financial innovation, reshaping the traditional finance landscape and redefining user-market interactions. The rise of blockchain and Decentralized Finance (DeFi) underscores this intertwined evolution of technology and finance. While DeFi has introduced exciting opportunities, it has also exposed the ecosystem to new forms of market misconduct. This paper aims to bridge the academic and regulatory gaps by addressing key research questions about market misconduc…

DeFi platform Hedgey Finance hit by $44 million exploit
https://cointelegraph.com/news/hedgey-protocol-44-million-exploit

A US judge sentences ex-Amazon security engineer Shakeeb Ahmed to three years in prison for stealing $12.3M from Nirvana and another crypto exchange in 2022 (Chris Dolmetsch/Bloomberg)
https://www.bloomberg.com/news/articles/20

Ex-Amazon Engineer Shakeeb Ahmed Gets Three Years for Hacking DeFi Platforms
A former Amazon.com software engineer who admitted to stealing millions of dollars in cryptocurrency by hacking two decentralized finance platforms was ordered to spend three years behind bars.

This https://arxiv.org/abs/2305.17655 has been replaced.
link: https://scholar.google.com/scholar?q=a

Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts
Smart contracts are contractual agreements between participants of a blockchain, who cannot implicitly trust one another. They are software programs that run on top of a blockchain, and we may need to change them from time to time (e.g., to fix bugs or address new use cases). Governance protocols define the means for amending or changing these smart contracts without any centralized authority. They distribute the decision-making power to every user of the smart contract: Users vote on accepting…

Risque de forte affluence Š bord du train :
- [DEFI] au départ de la gare de La Verrière Š 17h35, arrivée Š 18h17 en gare de La Défense.
- [VERI] au départ de la gare de La Défense Š 18h29, arrivée Š 19h12 en gare de La Verrière.
Motif : trains courts
🤖 30/04 17:30

A US judge sentences ex-Amazon security engineer Shakeeb Ahmed to three years in prison for stealing $12.3M from Nirvana and another crypto exchange in 2022 (Chris Dolmetsch/Bloomberg)
https://www.bloomberg.com/news/articles/20

Ex-Amazon Engineer Shakeeb Ahmed Gets Three Years for Hacking DeFi Platforms
A former Amazon.com software engineer who admitted to stealing millions of dollars in cryptocurrency by hacking two decentralized finance platforms was ordered to spend three years behind bars.

Piercing the Veil of TVL: DeFi Reappraised
Yichen Luo, Yebo Feng, Jiahua Xu, Paolo Tasca
https://arxiv.org/abs/2404.11745 https://arx…

Piercing the Veil of TVL: DeFi Reappraised
Total value locked (TVL) is widely used to measure the size and popularity of protocols and the broader ecosystem in decentralized finance (DeFi). However, the prevalent TVL calculation framework suffers from a "double counting" issue that results in an inflated metric. We find existing methodologies addressing double counting either inconsistent or flawed. To mitigate the double counting issue, we formalize the TVL framework and propose a new framework, total value redeemable (TVR), designed t…

Ich surfe beruflich gerade im Private Browsing Mode auf Youtube und bekomme nur am lauuufenden Band absolute antisemitische Verschwörungstheoretiker-Content als Werbung: "Defi", "Teil eines großen Plans", "Teufel der Zeit: Smartphones und leicht bekleidete Frauen".
WTF?!? Seriously? **Das** ist inzwischen akzeptabler _und_ finanziell profitabler "Werbecontent"?!

This https://arxiv.org/abs/2301.12818 has been replaced.
link: https://scholar.google.com/scholar?q=a

Private, Anonymous, Collateralizable Commitments vs. MEV
In this work, we introduce the private, anonymous, collateralizable commitments (PACCs) framework. PACCs allow any smart contract wallet holder to collateralize a claim, request, or commitment in general, in a private and anonymous manner. PACCs can prove arbitrarily much or little about the wallet generating the commitment, and/or the transaction which is being committed. We demonstrate that PACCs can be applied to effectively eliminate maximal-extractable value (MEV) in DeFi where it currentl…

Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
Yepeng Ding, Arthur Gervais, Roger Wattenhofer, Hiroyuki Sato
https://arxiv.org/abs/2404.10376

This https://arxiv.org/abs/2401.08610 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qfi…

Leverage Staking with Liquid Staking Derivatives (LSDs): Opportunities and Risks
Lido, the leading Liquid Staking Derivative (LSD) provider on Ethereum, allows users to stake an arbitrary amount of ETH to receive stETH, which can be integrated with Decentralized Finance (DeFi) protocols such as Aave. The composability between Lido and Aave enables a novel strategy called "leverage staking", where users stake ETH on Lido to acquire stETH, utilize stETH as collateral on Aave to borrow ETH, and then restake the borrowed ETH on Lido. Users can iteratively execute this process t…

Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
Yepeng Ding, Arthur Gervais, Roger Wattenhofer, Hiroyuki Sato
https://arxiv.org/abs/2404.10376

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
Daniele Pusceddu, Massimo Bartoletti
https://arxiv.org/abs/2402.06064 https://

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
Automated Market Makers (AMMs) are an integral component of the decentralized finance (DeFi) ecosystem, as they allow users to exchange crypto-assets without the need for trusted authorities or external price oracles. Although these protocols are based on relatively simple mechanisms, e.g., to algorithmically determine the exchange rate between crypto-assets, they give rise to complex economic behaviours. This complexity is witnessed by the proliferation of models that study their structural an…

🔊 #NowPlaying on KEXP's #SoundsOfSurvivance
Soufy feat. Def-I & Nataanii Means:
🎵 Futuristic Ndns (feat. Def-I & Nataanii Means)
#Soufy #DefI #NataaniiMeans
https://open.spotify.com/track/59oIJimjz9Pth0vUgucKHo

This https://arxiv.org/abs/2307.00521 has been replaced.
link: https://scholar.google.com/scholar?q=a

zkFi: Privacy-Preserving and Regulation Compliant Transactions using Zero Knowledge Proofs
We propose a middleware solution designed to facilitate seamless integration of privacy using zero-knowledge proofs within various multi-chain protocols, encompassing domains such as DeFi, gaming, social networks, DAOs, e-commerce, and the metaverse. Our design achieves two divergent goals. zkFi aims to preserve consumer privacy while achieving regulation compliance through zero-knowledge proofs. These ends are simultaneously achievable. zkFi protocol is designed to function as a plug-and-play …

This https://arxiv.org/abs/2401.04521 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qfi…

Proof of Efficient Liquidity: A Staking Mechanism for Capital Efficient Liquidity
The Proof of Efficient Liquidity (PoEL) protocol, designed for specialised Proof of Stake (PoS) consensus-based blockchains that incorporate intrinsic DeFi applications, aims to support sustainable liquidity bootstrapping and network security. This concept seeks to efficiently utilise budgeted staking rewards to attract and sustain liquidity through a risk-structuring engine and incentive allocation strategy, both of which are designed to maximise capital efficiency. The proposed protocol serve…