Themis: Fast, Strong Order-Fairness in Byzantine Consensus

目录

  • 笔记
  • 后续的研究方向
  • 摘要
  • 引言
    • 秩序井然

Themis: Fast, Strong Order-Fairness in Byzantine Consensus
CCS 2023

在这里插入图片描述

笔记

后续的研究方向

摘要

我们介绍了Themis,这是一种将交易的公平排序引入(许可的)拜占庭共识协议的方案,最多具有𝑓中的故障节点𝑛 ≥4.𝑓 +1.Themis强化了迄今为止提出的最强有力的公平排序概念。它还实现了标准的生动性,而不是具有相同公平排序性质的先前工作的较弱概念。

我们通过实验证明,Themis可以集成到最先进的共识协议中,只需最少的修改或性能开销。此外,我们还介绍了一系列普遍感兴趣的实验,用于评估公平排序的各种概念的实际强度以及公平排序协议对对抗性操作的弹性。我们使用这组实验来表明,Themisis强制执行的公平排序概念在实践中比竞争系统的概念更强。

我们相信Themis提供了强大的实用保护,可以抵御当前影响常用智能合约系统的许多类型的事务排序攻击,如前运行和后运行。

引言

去中心化金融(DeFi),即在区块链上部署金融工具,近年来引起了人们的极大兴趣,截至2023年1月,DeFi协议锁定了超过450亿美元[4]。不幸的是,尽管DeFi继续流行,但一长串工作[14,16,24,33,41]表明,通过操纵订单来获取利润的对手越来越多以及将交易包括在DeFi应用程序中。例如,在去中心化交易所和借贷合同中,交易执行顺序至关重要,这种顺序操纵会导致攻击者以牺牲普通用户为代价获利。

在现有协议中,订单操作是可能的,这主要是因为状态机复制(SMR)或共识(支撑区块链的基元)所需的形式属性对交易的排序方式没有限制。一致性和活跃性这两个共识安全的支柱都不能强制执行交易到达网络的顺序与其最终顺序之间的任何关系。事实上,在允许的共识协议(如PBFT[12]和Hotstuff[39])和无许可的协议(如以太坊)中,当前的“领导者”完全控制其创建的区块内交易的包含和排序。

为了解决传统共识研究中的这一差距,最近的一项工作[9,20,22,25,26,40]提出了具有所谓公平排序特性的协议,即防止对抗性操纵交易排序的特性。这些工作提出了公平性的几个定义【我们使用“公平性”来指交易排序或公平排序的公平性,尽管该术语过去曾用于不相关的概念(例如,公平PoW挖掘[32])。】以及实现这些定义的协议。直观地说,这种公平的风格试图根据交易如何进入网络来保证最终分类账中的特定排序。这些概念是不同的,并且在许多情况下比过去的排序属性更强,例如因果排序[8,34],因果排序仅阻止纯粹基于交易内容的交易重新排序,并且无法解释一系列攻击,例如,基于元数据泄漏或将对抗性交易优先于其他交易的攻击(例如,获得资产的最佳购买价格[30])。关于公平订购的新工作路线试图在更基本的层面上解决订购问题;值得注意的是,[20,22,40]都发现了公平排序问题与社会选择理论之间令人兴奋的联系。

秩序井然

然而,现有的公平排序协议具有严重的实际局限性。[22]中的Aequitas协议具有不切实际的高O(𝑛3) 通信复杂性,并且也只能提供较弱的活跃性特性。后续工作的协议需要O(𝑛2) 但是存在显著的其他缺点。

[9]中的协议(与我们的工作并行)仅在所有节点都是诚实的情况下才显示出提供活跃性(见第7节)。此外,正如我们所展示的(见第6节),Pomp̄e[40]中存在微妙的审查问题,并且Pomp̃e[40]和Wendy[25]所满足的公平性质明显弱于Aequtias的公平性质。表1显示了一些比较点。

这项工作提出了一个新的协议Themis,我们称之为第一个可以实际部署的公平排序协议。Themis实现了与Aequitas相同的强公平性,保证了生存性,并且我们的实现成本最低超过Hotstuff[39],这是一种广泛使用的最先进的共识协议,没有任何公平的排序保证。本文的完整版本见[21]。
在这里插入图片描述
在这里插入图片描述

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/206887.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

参加百度Apollo技术沙龙—感受自动驾驶的魅力

2023年12月2日下午2点,我有幸参加了百度Apollo技术沙龙,这是一个围绕Apollo新版本Beta的全面升级展开的深度交流活动。作为一名工程师,我深感荣幸能够与众多同行和专家一同探讨自动驾驶技术的快速发展 在这次沙龙中,我了解到Apo…

Python:核心知识点整理大全7-笔记

目录 4.2.5 遗漏了冒号 4.3 创建数值列表 4.3.1 使用函数 range() 4.3.2 使用 range()创建数字列表 结果如下: 4.3.3 对数字列表执行简单的统计计算 4.3.4 列表解析 4.4 使用列表的一部分 4.4.1 切片 4.4.2 遍历切片 4.4.3 复制列表 4.2.5 遗漏了冒号 fo…

使用vue-quill-editor(富文本框)禁用粘贴图片

问题描述:富文本框复制粘贴未走上传图片接口,会将复制的图片解析为base64编码,为了控制这种情况可选择禁用粘贴图片,或者监听有复制粘贴的图片走上传图片接口 获取到 quill 对象,可以通过 refs 或者 Quill 对象的 getI…

小程序自动更新功能

小程序自动更新功能 在 .vue 页面的 script 中添加生命周期,在生命周期内监听页面信息 onLoad onLoad(options) {this.getUserInfo()this.intervalId setInterval(() > {this.getUserInfo()}, 3000);},onUnload onUnload: function() {// 在页面卸载时清除定时…

vue的data

类型:Object | Function 限制:组件的定义只接受 function。 详细: Vue 实例的数据对象。Vue 会递归地把 data 的 property 转换为 getter/setter,从而让 data 的 property 能够响应数据变化。对象必须是纯粹的对象 (含有零个或多个…

DC电源模块与节能环保的关系

BOSHIDA DC电源模块与节能环保的关系 随着全球能源危机的加剧,环保节能已经成为世界各国政府和企业发展的主要方向。在电子行业中, DC电源模块的出现为环保节能做出了贡献。DC电源模块是一种电源供应器件,可将高电压转换为低电压,…

柏林噪声C++

柏林噪声 随机噪声 如上图所示随机噪声没有任何规律可言,我们希望生成有一些意义的局部连续的随机图案 一维柏林噪声 假设希望生成一段局部连续的随机曲线,可以采用插值的方式:在固定点随机分配y值(一般是整数点)&a…

【数据分析实战】酒店行业华住集团门店分布与评分多维度分析

文章目录 1. 写在前面2. 数据集展示3. 多维度分析3.1 门店档次多元化:集团投资战略观察3.1.1 代码实现3.1.2 本人浅薄理解 3.2 门店分布:各省市分布概览3.2.1 代码实现3.2.2 本人浅薄理解 3.3 门店分级评分:服务水平的多维度观察3.3.1 代码实…

F5怎么样?从负载均衡到云原生的进阶之路

从Web时代开始至云原生时代的应用服务交付的市场,技术与人的变化就是关注的焦点。从单纯的Web负载均衡到复杂的企业应用交付,从单体应用到分布式、微服务架构,F5为企业技术架构更好、更优、更安全的运行做出了极大的努力。那么F5怎么样&#…

Vue 循环走马灯

1、使用 transform: translateX(),循环将滚动内容在容器内偏移,超出容器部分隐藏; 2、避免滚动到末尾时出现空白,需要预留多几个。 3、一次循环偏移的距离scrollLoopWidth 可能受样式影响需要做些微调,比如单个item的…

题目:分糖果(蓝桥OJ 2928)

题目描述&#xff1a; 解题思路&#xff1a; 本题采用贪心思想 图解 题解&#xff1a; #include<bits/stdc.h> using namespace std;const int N 1e6 9; char s[N];//写字符串数组的一种方法,像数组一样***int main() {int n, x;cin >> n >> x;for(int …

CSS新手入门笔记整理:元素类型相互转换

元素类型 块元素&#xff08;block&#xff09; 独占一行&#xff0c;排斥其他元素跟其位于同一行&#xff0c;包括块元素和行内元素。块元素内部可以容纳其他块元素和行内元素。可以定义 width&#xff0c;也可以定义 height。可以定义 4 个方向的 margin。 行内元素&#xf…

使用navicat(或者其他数据库管理工具)、powerdesigner导出数据字典

适合先有数据库结构&#xff0c;后需要导出数据字典的情况&#xff0c;多数在发开完成交文档或者用户有库的情况下 有条件的话推荐用powerdesigner导出&#xff0c;比较好看 如果用powerdesigner导出的注释不对&#xff0c;是因为数据库的编码不对 1、使用navicat导出 在该数…

代码随想录算法训练营第45天| 70. 爬楼梯 (进阶) 322. 零钱兑换 279.完全平方数

JAVA代码编写 70. 爬楼梯&#xff08;进阶版) 卡码网&#xff1a;57. 爬楼梯&#xff08;第八期模拟笔试&#xff09; 题目描述 假设你正在爬楼梯。需要 n 阶你才能到达楼顶。 每次你可以爬至多m (1 < m < n)个台阶。你有多少种不同的方法可以爬到楼顶呢&#xff1f…

菜鸟学习日记(python)——推导式

python中的推导式是一种独特的数据处理方式&#xff0c;可以从一个数据序列去构建另一个新的数据序列的结构体。 它包括以下推导式&#xff1a; 列表&#xff08;list&#xff09;推导式字典&#xff08;dict&#xff09;推导式集合&#xff08;set&#xff09;推导式元组&am…

Multi-Cell Downlink Beamforming: Direct FP, Closed-Form FP, Weighted MMSE

这里写自定义目录标题 Direct FPClosed-Form FPthe Lagrangian functionthe Lagrange dual function: maximizing the Lagrangianthe Lagrange dual problem: minimizing the Lagrange dual functionClosed-Form FP Weighted MMSE原论文 Lagrange dual5.1.1 The Lagrangian5.1.…

阿里云服务器经济型、通用算力型、计算型、通用型、内存型实例区别及选择参考

当我们通过阿里云的活动购买云服务器会发现&#xff0c;相同配置的云服务器往往有多个不同的实例可选&#xff0c;而且价格差别也比较大&#xff0c;例如同样是4核8G的配置的云服务器&#xff0c;经济型e实例活动价格只要1500.48/1年起&#xff0c;通用算力型u1实例要1795.97/1…

nvidia安装出现7-zip crc error解决办法

解决办法&#xff1a;下载network版本&#xff0c;重新安装。&#xff08;选择自己需要的版本&#xff09; 网址&#xff1a;CUDA Toolkit 12.3 Update 1 Downloads | NVIDIA Developer 分析原因&#xff1a;local版本的安装包可能在下载过程中出现损坏。 本人尝试过全网说的…

linux 系统安全基线 安全加固操作

目录 用户口令设置 root用户远程登录限制 检查是否存在除root之外UID为0的用户 ​​​​​​​root用户环境变量的安全性 ​​​​​​​远程连接的安全性配置 ​​​​​​​用户的umask安全配置 ​​​​​​​重要目录和文件的权限设置 ​​​​​​​找未授权的SUID…

json转yolo格式

json转yolo格式 视觉分割得一些标注文件是json格式&#xff0c;比如&#xff0c;舌头将这个舌头区域分割出来&#xff08;用mask二值图的形式&#xff09;&#xff0c;对舌头的分割第一步是需要检测出来&#xff0c;缺少数据集&#xff0c;可以使用分割出来的结果&#xff0c;将…