Dev Life Journal

💰 Challenge #5 - The rewarder 題目： There’s a pool offering rewards in tokens every 5 days for those who deposit their DVT tokens into it. Alice, Bob, Charlie and David have already deposited some DVT tokens, and have won their rewards! You don’t have any DVT tokens. But in the upcoming round, you must claim most rewards for yourself. Oh, by the way, rumours say a new pool has just landed on mainnet. Isn’t it offering DVT tokens in flash loans? See the contracts Complete the challenge 思考切入點 題目說有一個資金池會定期發送獎勵給存 DVT tokens 的人，我們目前沒有任何資金但是有免費的 flashloan 可以借出 DVT tokens，我們的目標是要獲得一些獎勵。 合約研讀 這一題牽涉到的合約滿多的，但其時沒有很複雜，首先總共有兩個資金池合約、3 的代幣合約 - 資金池合約 - TheRewarderPool.sol ：負責存款、發送獎勵的合約 - FlashLoanerPool.sol ：負責閃電貸可以借錢 - Token Contracts - AccountingToken.sol ：作為存款憑證的 Token - RewardToken.sol ：作為獎勵的 Token - DamnValuableToken.sol : 接受作為存款的 Token 首先我們先研究一下怎麼獲取獎勵，在 TheRewarderPool.sol 中負責發放獎勵的是 distributeRewards 這個 function，只要有存款就可以獲得獎勵，並沒有限制存款要晚多久， isNewRewardsRound() 檢查是否到了發放時間（5天），所以基本上我們可以到了發放時

起源：Swap 流動性推導公式 X * Y = k 我們都知道 Uniswap 的 AMM 是採用 恆定乘積做市商模型 Constant Product Market Maker Model 的公式 X * Y = k，所以照理來說，如果我們想要推算 Swap 的數量的時候，假設 X 變化值為 Δx、Y 變化值為 Δy，那麼我可以得出變化量的計算公式： (X + Δx)( y - Δy) = k Δy = y - (k / X + Δx) 可是在實際閱讀 Uniswap 的公式的時候卻發現他是 Δy = y Δx  / (x + Δx)，乍一看之下完全無法理解這個公式是怎麼被推導出來的，後來研究才發現他的推導過程如下： (x + Δx)( y - Δy) = x*y (y - Δy) = (x*y) / (x + Δx) Δy = y - ((x*y) / (x + Δx)) Δy = (y(x + Δx) - (**x*y**) * 1) / ((x + Δx) * 1) // Δy = (x*y + yΔx - x*y) / x + Δx Δy =  yΔx / (x + Δx) amountOut 推導公式差異與 Solidity 精度截斷 (x + Δx)( y - Δy) = x * y 1️⃣ Δy = y Δx  / (x + Δx)   // Uniswap V2 Code 採用公式 2️⃣ Δy = y - (k / X + Δx) // 照理來說應該要對的公式 到這裡感覺一切都非常合理，應該要兩個 equation 都可以根據 Δx 推導出 Δy，但是我在實際計算的時候卻發現1️⃣, 2️⃣會產生不一樣的結果，在某些狀況下會有很微小的差異。後來跑去請教 Bill 大神才知道，原來是因為做除法的地方不一樣、 Solidity 有精度截斷的特性才會產生這樣。比如說 2️⃣ 如果 (k / X + Δx) 有小數的部分被截斷了，此時 Δy 就會稍微大一點，此時 2️⃣ 算起來就會比 1️⃣ 多，可是 Uniswap 希望達到的效果是當 Δx 很小時（比如1) Δy 應該要為 0，後續的計算也是寧願多少給、不能多給，所以才會選擇用 1️⃣ 處理。 為什麼可以少給但是不能多給？ 因為 多給會造成新算出來的 K 值比舊有

分享大綱 🥪 什麼是換幣滑價？ AMM 機制的換幣滑價特性 - 以Uniswap V2為例 1. 流動性無限，但是在流動性兩端的價格會接近無窮大。 2. 購買越多數量，斜率越大，價格變異越大 3. 當乘積 K 越大，流動性越充足，換幣滑價的狀況就越小 🥪 什麼是三明治攻擊？ References 🥪 什麼是換幣滑價？ 不論是在傳統的貨幣市場還是在加密貨幣市場中，不同貨幣往往是成對交易的，所謂買幣其實就是換幣，也就是以 A 兌 B 的意思，顯示時會是 B/A，B 為主要貨幣，A為基準貨幣，當買入 B 時其實就等於賣出 A，做空 A、作多 B，傳統上表示貨幣時均以三個大寫字母表示，區塊鏈的加密貨幣交易也是如此，例如， 歐元/美元、ETH/USD、BSD/DAI…。且不論在中心化交易所( CEX )、去中心化交易所(DEX)的市場當中，都遵循著供需平衡的原理，物以稀為貴，做多方價格上漲，做空方價格下跌。 在新型態的 DEX 當中，移除掉了傳統訂單簿的定價方式，轉而採用 AMM 自動做市商機制來維持貨幣對的相對價格，不同的自動做市商公式都會有各自的代價、也會產生不同的滑點問題。 由於 AMM 價格機制所產生的滑點問題可分為兩種： Price impact：由用戶自己的交易引起價格變化 Price slippage：由於外部大盤引起的價格變化 其實他們的行為一樣，差異只在於觸發者 AMM 機制的換幣滑價特性 - 以Uniswap V2為例 在 Uniswap V2 的恆定乘積公式為 X * Y = K 。當 X 增多，Y必須要下降，才能維持 K 的相同。 此公式有幾個特性： 1. 流動性無限，但是在流動性兩端的價格會接近無窮大。 Constant Product Formula 2. 購買越多數量，斜率越大，價格變異越大 帶幾個數字來看觀察一下： x = 10, y = 10, k = 100 池子 X = 5, y = 20 此時用 5 個 X 可以換 10 個 Y 池子 X = 10, y = 10 此時用 5 個 X 可以換 3.33 個 Y 池子 X = 15, y = 6.66 此時用 5 個 X 可以換 1.66 個 Y 我們可以發現，用相同的 X 換 Y，可以換到的 Y 會越來越少。所以如果我們