ultimate-defi-research-base

BTC

Using data in the form of metrics can help software startups to make the right decisions amidst uncertainty and limited resources.

This article is a reprint of the original on Eat Sleep Crypto, last edited Jan 12, 2023

An analysis of the crypto prices and search trends suggests the existence of big players (and not the regular users), manipulating the market after a drop in prices.

In this work authors compare public and permissioned blockchains for industrial applications.

In this paper, authors propose an atomic, scalable and privacy-preserving protocol that enables secure and dynamic updates. Then develop a smart contract-based Credit-Note System (CNS) that allows participants to lock funds before a state channel initialisation, which enhances flexibility and efficiency.

Authors propose a general-purpose framework, supporting data analytics on Bitcoin Ethereum — it allows to integrate block data with data from other sources, and to organise them in a database.

rust edition

In this paper, to fill the gap, authors first collect as many smart contract bugs as possible from multiple sources and divide these bugs into 9 categories by extending the IEEE Standard Classification for Software Anomalies.

This paper presents a parsimonious abstraction sufficient for capturing and comparing properties of many well-known permissionless blockchain protocols.

Authors found that AGSolT is capable of achieving high branch overage with both approaches and even discovered some errors in some of the most popular Solidity smart contracts on Github.

In this paper, authors design a novel bribery attack and show that this guarantee can be hugely undermined.

In this paper, authors propose an anonymous trust-marking scheme on blockchain systems that is universally applicable to any cryptocurrency.

The SECBIT static analysis extension to Solidity compiler

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

A checklist of common findings, and issues to watch out for when auditing a contract for a mainnet launch.

A no-DNS web browser and name system powered by the blockchain. - added by

Easy-to-use console app for parsing historical event data without requiring an archive node, using the Etherscan API.

EVM disassembler

Authors exploit our theory to formally prove a set of fundamental properties of AMMs, characterizing both structural and economic aspects.

Flash Loans. DeFi. Classic.

Authors aim to understand how liquidity providers react to market information and how they benefit from providing liquidity in DEX.

This paper proposes a mathematical model for AMM composition.

A very pedagogical overview of CFMMs and their properties through mathematical modelization from first principles.

In this post, authors study blockchain interoperability techniques and solutions, providing a holistic overview of blockchain interoperability, paving the way for systematic research in this domain.

In this post, authors study transaction ordering in eth2 and analyze MEV-enabled staking yields. Then they find that MEV will significantly boost validator rewards but may reinforce inequalities among participants of eth2. Authors also discuss qualitative aspects of MEV in eth2 such as the potential dynamics that will unfold between its largest stakeholders like exchanges and validator pools.

Introduces the concept of MEV, the work highlights the large, complex risks created by transaction-ordering dependencies in smart contracts and the ways in which traditional forms of financial-market exploitation are adapting to and penetrating blockchain economies.