web3-區(qū)塊鏈的技術(shù)安全/經(jīng)濟(jì)安全以及去杠桿螺旋（經(jīng)濟(jì)穩(wěn)定）

三個基本設(shè)計問題

技術(shù)安全

在技術(shù)結(jié)構(gòu)中對其進(jìn)行原子級的、瞬時利用（無風(fēng)險）

• 無風(fēng)險，因為攻擊者的結(jié)果還是二進(jìn)制的：
  • 只會是攻擊成功 = 獲利
  • 或者沒發(fā)生 = 只出gas費(fèi)用
• 例子：原子級的MEV，三明治攻擊（夾子），重入，邏輯錯誤 — 現(xiàn)在已經(jīng)深入研究了！
• 最佳解決方案：程序分析，制定協(xié)議的正式模型

經(jīng)濟(jì)安全

在一段時間內(nèi)操縱平衡（不是無風(fēng)險的）

• 同時利用技術(shù)結(jié)構(gòu)和經(jīng)濟(jì)的一段時間內(nèi)的經(jīng)濟(jì)均衡
• 對攻擊者來說并不是無風(fēng)險的
  • 執(zhí)行操縱的有形前期成本
  • 攻擊失敗和錯誤估計市場的可能性
  • 非原子級別的
• 較少研究：治理可提取價值、MEV重組攻擊、市場操縱漏洞
• 解決：需要這些系統(tǒng)和代理如何工作的經(jīng)濟(jì)模型

一些新的攻擊原語：

• 圍繞去杠桿和清算的可利用結(jié)構(gòu)
• 清算是自動化的，有套利機(jī)會
• 礦工可以審查和重新排序交易以獲取利潤
• 治理者可以更改協(xié)議的規(guī)則

經(jīng)濟(jì)安全攻擊

• 攻擊一：在ETH下跌時，攻擊者操縱市場觸發(fā)，從清算中獲利
  • 對現(xiàn)有投機(jī)者的短期擠壓式攻擊
  • 可以通過賄賂礦工來凍結(jié)抵押品充值
• 攻擊二：在ETH下跌后，重組區(qū)塊鏈觸發(fā)，從螺旋式清算中獲利
  • 交易順序的變化==>清算，可提取價值
  • 如果攻擊獎勵>挖礦獎勵那么對礦工的不正當(dāng)獎勵

EVM：分叉模型

提出一個易于處理的多輪激勵公式：具有特定耦合的單獨(dú)模型，并且可以迭代求解以找到平衡。

經(jīng)濟(jì)穩(wěn)定

激勵措施真的能帶來穩(wěn)定的結(jié)果嗎

一、穩(wěn)定幣的解析

基于風(fēng)險的概述

穩(wěn)定分為托管穩(wěn)定幣（USET，USEC），非托管穩(wěn)定幣（DAI）

解析非穩(wěn)定幣

抵押價值：外生，內(nèi)源，隱性

抵押價值<==>風(fēng)險容災(zāi)

如何風(fēng)險容災(zāi)

• 基于杠桿：類似擔(dān)保債務(wù)憑證（CDO）
  • 外源性或內(nèi)源性抵押品
  • 鑄幣稅份額：旨在吸收波動的“內(nèi)源份額”的市值
• 基礎(chǔ)設(shè)計：投機(jī)者打算在危機(jī)期間通過押注未來的供應(yīng)擴(kuò)張（利用“隱性抵押品”）來維持peg
• 沒有預(yù)先承諾的抵押
• 投機(jī)者必須押注供應(yīng)將超過危機(jī)前的水平
• 儲備支持：市場使用內(nèi)部儲備圍繞peg做的協(xié)議

二、去杠桿螺旋（經(jīng)濟(jì)穩(wěn)定）

擔(dān)保債務(wù)憑證的結(jié)構(gòu)

分成2個部分 一個部分是初級部分（風(fēng)險更大） 一個部分是高級部分（風(fēng)險較小）；一旦發(fā)生損失那么這個損失首先是由初級部分來承擔(dān)；高級部分收到保護(hù)

動態(tài)的建模價格

• （原創(chuàng)）杠桿市場確定的Dai供應(yīng)量
• 由投機(jī)者選擇借用ETH創(chuàng)建（有風(fēng)險）
• 內(nèi)生價格：供給不需要 = 1美元的需求
• 傳統(tǒng)財務(wù)杠桿模型不適用
• 內(nèi)生穩(wěn)定幣價格隨機(jī)模型
• 去杠桿螺旋–>空頭擠壓效應(yīng)，放大抵押品回撤
• 穩(wěn)定幣的“穩(wěn)定”和“不穩(wěn)定”區(qū)域

協(xié)議中的超額抵押

三、算法原始市場的設(shè)計（經(jīng)濟(jì)穩(wěn)定性）

什么支撐貨幣掛鉤