web3-區塊鏈的技術安全/經濟安全以及去杠桿螺旋（經濟穩定）
三個基本設計問題
技術安全
在技術結構中對其進行原子級的、瞬時利用（無風險）
- 無風險，因為攻擊者的結果還是二進制的：
- 只會是攻擊成功 = 獲利
- 或者沒發生 = 只出gas費用
- 例子：原子級的MEV，三明治攻擊（夾子），重入，邏輯錯誤 — 現在已經深入研究了！
- 最佳解決方案：程序分析，制定協議的正式模型
經濟安全
在一段時間內操縱平衡（不是無風險的）
- 同時利用技術結構和經濟的一段時間內的經濟均衡
- 對攻擊者來說并不是無風險的
- 執行操縱的有形前期成本
- 攻擊失敗和錯誤估計市場的可能性
- 非原子級別的
- 較少研究：治理可提取價值、MEV重組攻擊、市場操縱漏洞
- 解決：需要這些系統和代理如何工作的經濟模型
一些新的攻擊原語：
- 圍繞去杠桿和清算的可利用結構
- 清算是自動化的，有套利機會
- 礦工可以審查和重新排序交易以獲取利潤
- 治理者可以更改協議的規則
經濟安全攻擊
- 攻擊一：在ETH下跌時，攻擊者操縱市場觸發，從清算中獲利
- 對現有投機者的短期擠壓式攻擊
- 可以通過賄賂礦工來凍結抵押品充值
- 攻擊二：在ETH下跌后，重組區塊鏈觸發，從螺旋式清算中獲利
- 交易順序的變化==>清算，可提取價值
- 如果攻擊獎勵>挖礦獎勵那么對礦工的不正當獎勵
EVM：分叉模型
提出一個易于處理的多輪激勵公式：具有特定耦合的單獨模型，并且可以迭代求解以找到平衡。
經濟穩定
激勵措施真的能帶來穩定的結果嗎
一、穩定幣的解析
基于風險的概述
穩定分為托管穩定幣（USET，USEC），非托管穩定幣（DAI）
解析非穩定幣
抵押價值：外生，內源，隱性
抵押價值<==>風險容災
如何風險容災
- 基于杠桿：類似擔保債務憑證（CDO）
- 外源性或內源性抵押品
- 鑄幣稅份額：旨在吸收波動的“內源份額”的市值
- 基礎設計：投機者打算在危機期間通過押注未來的供應擴張（利用“隱性抵押品”）來維持peg
- 沒有預先承諾的抵押
- 投機者必須押注供應將超過危機前的水平
- 儲備支持：市場使用內部儲備圍繞peg做的協議
二、去杠桿螺旋（經濟穩定）
擔保債務憑證的結構
分成2個部分 一個部分是初級部分（風險更大） 一個部分是高級部分（風險較小）；一旦發生損失那么這個損失首先是由初級部分來承擔；高級部分收到保護
動態的建模價格
- （原創）杠桿市場確定的Dai供應量
- 由投機者選擇借用ETH創建（有風險）
- 內生價格：供給不需要 = 1美元的需求
- 傳統財務杠桿模型不適用
- 內生穩定幣價格隨機模型
- 去杠桿螺旋–>空頭擠壓效應，放大抵押品回撤
- 穩定幣的“穩定”和“不穩定”區域
協議中的超額抵押
三、算法原始市場的設計（經濟穩定性）
什么支撐貨幣掛鉤
