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