-
Thinking Fast and Slow: Data-Driven Adaptive DeFi Borrow-Lending Protocol
Authors:
Mahsa Bastankhah,
Viraj Nadkarni,
Xuechao Wang,
Chi Jin,
Sanjeev Kulkarni,
Pramod Viswanath
Abstract:
Decentralized finance (DeFi) borrowing and lending platforms are crucial to the decentralized economy, involving two main participants: lenders who provide assets for interest and borrowers who offer collateral exceeding their debt and pay interest. Collateral volatility necessitates over-collateralization to protect lenders and ensure competitive returns. Traditional DeFi platforms use a fixed in…
▽ More
Decentralized finance (DeFi) borrowing and lending platforms are crucial to the decentralized economy, involving two main participants: lenders who provide assets for interest and borrowers who offer collateral exceeding their debt and pay interest. Collateral volatility necessitates over-collateralization to protect lenders and ensure competitive returns. Traditional DeFi platforms use a fixed interest rate curve based on the utilization rate (the fraction of available assets borrowed) and determine over-collateralization offline through simulations to manage risk. This method doesn't adapt well to dynamic market changes, such as price fluctuations and evolving user needs, often resulting in losses for lenders or borrowers. In this paper, we introduce an adaptive, data-driven protocol for DeFi borrowing and lending. Our approach includes a high-frequency controller that dynamically adjusts interest rates to maintain market stability and competitiveness with external markets. Unlike traditional protocols, which rely on user reactions and often adjust slowly, our controller uses a learning-based algorithm to quickly find optimal interest rates, reducing the opportunity cost for users during periods of misalignment with external rates. Additionally, we use a low-frequency planner that analyzes user behavior to set an optimal over-collateralization ratio, balancing risk reduction with profit maximization over the long term. This dual approach is essential for adaptive markets: the short-term component maintains market stability, preventing exploitation, while the long-term planner optimizes market parameters to enhance profitability and reduce risks. We provide theoretical guarantees on the convergence rates and adversarial robustness of the short-term component and the long-term effectiveness of our protocol. Empirical validation confirms our protocol's theoretical benefits.
△ Less
Submitted 15 July, 2024;
originally announced July 2024.
-
Modelling turbulence in axisymmetric wakes: an application to wind turbine wakes
Authors:
Majid Bastankhah,
Jenna K. Zunder,
Peter Hydon,
Charles Deebank,
Marco Placidi
Abstract:
A novel fast-running model is developed to predict the three-dimensional (3D) distribution of turbulent kinetic energy (TKE) in axisymmetric wake flows. This is achieved by mathematically solving the partial differential equation of the TKE transport using the Green's function method. The developed solution reduces to a double integral that can be computed numerically for a wake prescribed by any…
▽ More
A novel fast-running model is developed to predict the three-dimensional (3D) distribution of turbulent kinetic energy (TKE) in axisymmetric wake flows. This is achieved by mathematically solving the partial differential equation of the TKE transport using the Green's function method. The developed solution reduces to a double integral that can be computed numerically for a wake prescribed by any arbitrary velocity profile. It is shown that the solution can be further simplified to a single integral for wakes with Gaussian-like velocity-deficit profiles. Wind tunnel experiments were performed to compare model results against detailed 3D laser Doppler anemometry data measured within the wake flow of a porous disk subject to a uniform freestream flow. Furthermore, the new model is used to estimate the TKE distribution at the hub-height level of the rotating non-axisymmetric wake of a model wind turbine immersed in a rough-wall boundary layer. Our results show the important impact of operating conditions on TKE generation in wake flows, an effect not fully captured by existing empirical models. The wind-tunnel data also provide insights into the evolution of important turbulent flow quantities such as turbulent viscosity, mixing length, and the TKE dissipation rate in wake flows. Both mixing length and turbulent viscosity are found to increase with the streamwise distance. The turbulent viscosity however reaches a plateau in the far-wake region. Consistent with the non-equilibrium theory, it is also observed that the normalised energy dissipation rate is not constant, and it increases with the streamwise distance.
△ Less
Submitted 1 August, 2024; v1 submitted 13 November, 2023;
originally announced November 2023.
-
A fast-running physics-based wake model for a semi-infinite wind farm
Authors:
Majid Bastankhah,
Mohammad Mehdi Mohammadi,
Charlie Lees,
Gonzalo Pablo Navarro Diaz,
Oliver Buxton,
Stefan Ivanell
Abstract:
This paper presents a new generation of fast-running physics-based models to predict the wake of a semi-infinite wind farm, extending infinitely in the lateral direction but with finite size in the streamwise direction. The assumption of a semi-infinite wind farm enables concurrent solving of the laterally-averaged momentum equations in both streamwise and spanwise directions. The developed model…
▽ More
This paper presents a new generation of fast-running physics-based models to predict the wake of a semi-infinite wind farm, extending infinitely in the lateral direction but with finite size in the streamwise direction. The assumption of a semi-infinite wind farm enables concurrent solving of the laterally-averaged momentum equations in both streamwise and spanwise directions. The developed model captures important physical phenomena such as vertical top-down transport of energy into the farm, variable wake recovery rate due to the farm-generated turbulence, and also wake deflection due to turbine yaw misalignment and Coriolis force. Of special note is the model's capability to predict and shed light on the counteracting effect of Coriolis force causing wake deflections in both positive and negative directions. Moreover, the impact of wind-farm layout configuration on the flow distribution is modelled through a parameter called the local deficit coefficient. Model predictions were validated against large-eddy simulations extending up to 45 kilometres downstream of wind farms. Detailed analyses were performed to study the impacts of various factors such as incoming turbulence, wind-farm size, inter-turbine spacing, and wind-farm layout on the farm wake.
△ Less
Submitted 30 April, 2024; v1 submitted 15 September, 2023;
originally announced September 2023.
-
Breaking Blockchain Rationality with Out-of-Band Collusion
Authors:
Haoqian Zhang,
Mahsa Bastankhah,
Louis-Henri Merino,
Vero Estrada-Galiñanes,
Bryan Ford
Abstract:
Blockchain systems often rely on rationality assumptions for their security, expecting that nodes are motivated to maximize their profits. These systems thus design their protocols to incentivize nodes to execute the honest protocol but fail to consider out-of-band collusion. Existing works analyzing rationality assumptions are limited in their scope, either by focusing on a specific protocol or r…
▽ More
Blockchain systems often rely on rationality assumptions for their security, expecting that nodes are motivated to maximize their profits. These systems thus design their protocols to incentivize nodes to execute the honest protocol but fail to consider out-of-band collusion. Existing works analyzing rationality assumptions are limited in their scope, either by focusing on a specific protocol or relying on non-existing financial instruments. We propose a general rational attack on rationality by leveraging an external channel that incentivizes nodes to collude against the honest protocol. Our approach involves an attacker creating an out-of-band bribery smart contract to motivate nodes to double-spend their transactions in exchange for shares in the attacker's profits. We provide a game theory model to prove that any rational node is incentivized to follow the malicious protocol. We discuss our approach to attacking the Bitcoin and Ethereum blockchains, demonstrating that irrational behavior can be rational in real-world blockchain systems when analyzing rationality in a larger ecosystem. We conclude that rational assumptions only appear to make the system more secure and offer a false sense of security under the flawed analysis.
△ Less
Submitted 30 April, 2023;
originally announced May 2023.
-
Online Admission Control and Rebalancing in Payment Channel Networks
Authors:
Mahsa Bastankhah,
Krishnendu Chatterjee,
Mohammad Ali Maddah-Ali,
Stefan Schmid,
Jakub Svoboda,
Michelle Yeo
Abstract:
Payment channel networks (PCNs) are a promising technology to improve the scalability of cryptocurrencies. PCNs, however, face the challenge that the frequent usage of certain routes may deplete channels in one direction, and hence prevent further transactions. In order to reap the full potential of PCNs, recharging and rebalancing mechanisms are required to provision channels, as well as an admis…
▽ More
Payment channel networks (PCNs) are a promising technology to improve the scalability of cryptocurrencies. PCNs, however, face the challenge that the frequent usage of certain routes may deplete channels in one direction, and hence prevent further transactions. In order to reap the full potential of PCNs, recharging and rebalancing mechanisms are required to provision channels, as well as an admission control logic to decide which transactions to reject in case capacity is insufficient. This paper presents a formal model of this optimisation problem. In particular, we consider an online algorithms perspective, where transactions arrive over time in an unpredictable manner. Our main contributions are competitive online algorithms which come with provable guarantees over time. We empirically evaluate our algorithms on randomly generated transactions to compare the average performance of our algorithms to our theoretical bounds. We also show how this model and approach differs from related problems in classic communication networks.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
F3B: A Low-Overhead Blockchain Architecture with Per-Transaction Front-Running Protection
Authors:
Haoqian Zhang,
Louis-Henri Merino,
Ziyan Qu,
Mahsa Bastankhah,
Vero Estrada-Galinanes,
Bryan Ford
Abstract:
Front-running attacks, which benefit from advanced knowledge of pending transactions, have proliferated in the blockchain space since the emergence of decentralized finance. Front-running causes devastating losses to honest participants and continues to endanger the fairness of the ecosystem. We present Flash Freezing Flash Boys (F3B), a blockchain architecture that addresses front-running attacks…
▽ More
Front-running attacks, which benefit from advanced knowledge of pending transactions, have proliferated in the blockchain space since the emergence of decentralized finance. Front-running causes devastating losses to honest participants and continues to endanger the fairness of the ecosystem. We present Flash Freezing Flash Boys (F3B), a blockchain architecture that addresses front-running attacks by using threshold cryptography. In F3B, a user generates a symmetric key to encrypt their transaction, and once the underlying consensus layer has finalized the transaction, a decentralized secret-management committee reveals this key. F3B mitigates front-running attacks because, before the consensus group finalizes it, an adversary can no longer read the content of a transaction, thus preventing the adversary from benefiting from advanced knowledge of pending transactions. Unlike other mitigation systems, F3B properly ensures that all unfinalized transactions, even with significant delays, remain private by adopting per-transaction protection. Furthermore, F3B addresses front-running at the execution layer; thus, our solution is agnostic to the underlying consensus algorithm and compatible with existing smart contracts. We evaluated F3B on Ethereum with a modified execution layer and found only a negligible (0.026%) increase in transaction latency, specifically due to running threshold decryption with a 128-member secret-management committee after a transaction is finalized; this indicates that F3B is both practical and low-cost.
△ Less
Submitted 5 September, 2023; v1 submitted 17 May, 2022;
originally announced May 2022.
-
A vortex sheet based analytical model of the curled wake behind yawed wind turbines
Authors:
Majid Bastankhah,
Carl R. Shapiro,
Sina Shamsoddin,
Dennice F. Gayme,
Charles Meneveau
Abstract:
Motivated by the need for compact descriptions of the evolution of non-classical wakes behind yawed wind turbines, we develop an analytical model to predict the shape of curled wakes. Interest in such modelling arises due to the potential of wake steering as a strategy for mitigating power reduction and unsteady loading of downstream turbines in wind farms. We first estimate the distribution of th…
▽ More
Motivated by the need for compact descriptions of the evolution of non-classical wakes behind yawed wind turbines, we develop an analytical model to predict the shape of curled wakes. Interest in such modelling arises due to the potential of wake steering as a strategy for mitigating power reduction and unsteady loading of downstream turbines in wind farms. We first estimate the distribution of the shed vorticity at the wake edge due to both yaw offset and rotating blades. By considering the wake edge as an ideally thin vortex sheet, we describe its evolution in time moving with the flow. Vortex sheet equations are solved using a power series expansion method, and an approximate solution for the wake shape is obtained. The vortex sheet time evolution is then mapped into a spatial evolution by using a convection velocity. Apart from the wake shape, the lateral deflection of the wake including ground effects is modelled. Our results show that there exists a universal solution for the shape of curled wakes if suitable dimensionless variables are employed. For the case of turbulent boundary layer inflow, the decay of vortex sheet circulation due to turbulent diffusion is included. Finally, we modify the Gaussian wake model by incorporating the predicted shape and deflection of the curled wake, so that we can calculate the wake profiles behind yawed turbines. Model predictions are validated against large-eddy simulations and laboratory experiments for turbines with various operating conditions.
△ Less
Submitted 30 September, 2021; v1 submitted 25 May, 2021;
originally announced May 2021.
-
Analytical solution for the cumulative wake of wind turbines in wind farms
Authors:
Majid Bastankhah,
Bridget L. Welch,
Luis A. Martínez-Tossas,
Jennifer King,
Paul Fleming
Abstract:
This paper solves an approximate form of conservation of mass and momentum for a turbine in a wind farm array. The solution is a fairly simple explicit relationship that predicts the streamwise velocity distribution within a wind farm with an arbitrary layout. As this model is obtained by solving flow governing equations directly for a turbine that is subject to upwind turbine wakes, no ad hoc sup…
▽ More
This paper solves an approximate form of conservation of mass and momentum for a turbine in a wind farm array. The solution is a fairly simple explicit relationship that predicts the streamwise velocity distribution within a wind farm with an arbitrary layout. As this model is obtained by solving flow governing equations directly for a turbine that is subject to upwind turbine wakes, no ad hoc superposition technique is needed to predict wind farm flows. A suite of large-eddy simulations (LES) of wind farm arrays is used to examine self-similarity as well as validity of the so-called conservation of momentum deficit for turbine wakes in wind farms. The simulations are performed with and without the presence of some specific turbines in the wind farm. This allows us to systematically study some of the assumptions made to develop the analytical model. A modified version of the conservation of momentum deficit is also proposed to provide slightly better results at short downwind distances, as well as in the far wake of turbines deep inside a wind farm. Model predictions are validated against the LES data for turbines in both full-wake and partial-wake conditions. While our results highlight the limitation in capturing the flow speed-up between adjacent turbine columns, the model is overall able to acceptably predict flow distributions for a moderately sized wind farm. Finally, the paper employs the new model to provide insights on the accuracy of common wake superposition methods.
△ Less
Submitted 6 November, 2020; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Wake steering of multirotor wind turbines
Authors:
Gustav A. Speakman,
Mahdi Abkar,
Luis A. Martínez-Tossas,
Majid Bastankhah
Abstract:
In this paper, wake steering is applied to multirotor turbines to determine whether it has the potential to reduce wind plant wake losses. Through application of rotor yaw to multirotor turbines, a new degree of freedom is introduced to wind farm control such that wakes can be expanded, channelled, or redirected to improve inflow conditions for downstream turbines. Five different yaw configuration…
▽ More
In this paper, wake steering is applied to multirotor turbines to determine whether it has the potential to reduce wind plant wake losses. Through application of rotor yaw to multirotor turbines, a new degree of freedom is introduced to wind farm control such that wakes can be expanded, channelled, or redirected to improve inflow conditions for downstream turbines. Five different yaw configurations are investigated (including a baseline case) by employing large-eddy simulations (LES) to generate a detailed representation of the velocity field downwind of a multirotor wind turbine. Two lower-fidelity models from single-rotor yaw studies (curled-wake model and analytical Gaussian wake model) are extended to the multirotor case and their results are compared with the LES data. For each model, the wake is analysed primarily by examining wake cross sections at different downwind distances. Further quantitative analysis is carried out through characterisations of wake centroids and widths over a range of streamwise locations, and through a brief analysis of power production. Most significantly, it is shown that rotor yaw can have a considerable impact on both the distribution and magnitude of the wake velocity deficit, leading to power gains for downstream turbines. The lower-fidelity models show small deviation from the LES results for specific configurations; however, both are able to reasonably capture the wake trends over a large streamwise range.
△ Less
Submitted 16 February, 2021; v1 submitted 21 June, 2020;
originally announced June 2020.