网站备案核四川住房建设厅官方网站
web3-区块链的技术安全/经济安全以及去杠杆螺旋（经济稳定）
三个基本设计问题
技术安全
在技术结构中对其进行原子级的、瞬时利用（无风险）
- 无风险，因为攻击者的结果还是二进制的：
- 只会是攻击成功 = 获利
- 或者没发生 = 只出gas费用
- 例子：原子级的MEV，三明治攻击（夹子），重入，逻辑错误 — 现在已经深入研究了！
- 最佳解决方案：程序分析，制定协议的正式模型
经济安全
在一段时间内操纵平衡（不是无风险的）
- 同时利用技术结构和经济的一段时间内的经济均衡
- 对攻击者来说并不是无风险的
- 执行操纵的有形前期成本
- 攻击失败和错误估计市场的可能性
- 非原子级别的
- 较少研究：治理可提取价值、MEV重组攻击、市场操纵漏洞
- 解决：需要这些系统和代理如何工作的经济模型
一些新的攻击原语：
- 围绕去杠杆和清算的可利用结构
- 清算是自动化的，有套利机会
- 矿工可以审查和重新排序交易以获取利润
- 治理者可以更改协议的规则
经济安全攻击
- 攻击一：在ETH下跌时，攻击者操纵市场触发，从清算中获利
- 对现有投机者的短期挤压式攻击
- 可以通过贿赂矿工来冻结抵押品充值
- 攻击二：在ETH下跌后，重组区块链触发，从螺旋式清算中获利
- 交易顺序的变化==>清算，可提取价值
- 如果攻击奖励>挖矿奖励那么对矿工的不正当奖励
EVM：分叉模型
提出一个易于处理的多轮激励公式：具有特定耦合的单独模型，并且可以迭代求解以找到平衡。
经济稳定
激励措施真的能带来稳定的结果吗
一、稳定币的解析
基于风险的概述
稳定分为托管稳定币（USET，USEC），非托管稳定币（DAI）
解析非稳定币
抵押价值：外生，内源，隐性
抵押价值<==>风险容灾
如何风险容灾
- 基于杠杆：类似担保债务凭证（CDO）
- 外源性或内源性抵押品
- 铸币税份额：旨在吸收波动的“内源份额”的市值
- 基础设计：投机者打算在危机期间通过押注未来的供应扩张（利用“隐性抵押品”）来维持peg
- 没有预先承诺的抵押
- 投机者必须押注供应将超过危机前的水平
- 储备支持：市场使用内部储备围绕peg做的协议
二、去杠杆螺旋（经济稳定）
担保债务凭证的结构
分成2个部分 一个部分是初级部分（风险更大） 一个部分是高级部分（风险较小）；一旦发生损失那么这个损失首先是由初级部分来承担；高级部分收到保护
动态的建模价格
- （原创）杠杆市场确定的Dai供应量
- 由投机者选择借用ETH创建（有风险）
- 内生价格：供给不需要 = 1美元的需求
- 传统财务杠杆模型不适用
- 内生稳定币价格随机模型
- 去杠杆螺旋–>空头挤压效应，放大抵押品回撤
- 稳定币的“稳定”和“不稳定”区域
协议中的超额抵押
三、算法原始市场的设计（经济稳定性）
什么支撑货币挂钩
