论文2023/1909

费率：智能合约的MPC扩展

摘要

在智能合约支持的区块链上增强隐私在最近的研究中得到了很多关注。零知识证明（ZKP）是最流行的方法之一，但它们无法提供完整的表达能力和细粒度的隐私。为了说明这一点，我们强调了一种未充分开发的矿工可提取价值（MEV）类型，称为剩余投标可提取价值。剩余投标突出了未完成的投标无意中暴露出交易员未满足的需求和预期交易策略的脆弱性，从而使其面临被利用的风险。基于ZKP的方法无法为RBEV做广告，因为如果没有一定程度的信息公开，它们就无法提供执行后的隐私。其他MEV缓解措施（如公平排序协议）也未能解决RBEV问题。我们介绍了Ratel，这是一个创新的框架，它将多方计算（MPC）原型框架（MP-SPDZ）和智能合约语言（Solidity）连接在一起，将隐私与MPC的完整表达能力与Solidity的链上编程能力相协调。这种协同作用使开发人员能够毫不费力地创建保护隐私的分散式应用程序（DApp）。我们通过两个杰出的分散式金融（DeFi）应用程序证明了Ratel的有效性：分散式交易和抵押品拍卖，有效缓解了潜在的RBEV问题。此外，Ratel还配备了一个轻量级的故障重设机制，能够无缝恢复暂时良性的故障节点。为了防止恶意实体滥用崩溃重设机制并防范DoS攻击，我们结合了贝叶斯方法中的成本效用分析。我们对在Ratel框架下开发的应用程序的性能评估强调了它们在管理真实峰值工作负载方面的能力。