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…

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怎么样&#…

题目:分糖果(蓝桥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版本的安装包可能在下载过程中出现损坏。 本人尝试过全网说的…

无公网IP环境如何SSH远程连接Deepin操作系统

文章目录 前言1. 开启SSH服务2. Deppin安装Cpolar3. 配置ssh公网地址4. 公网远程SSH连接5. 固定连接SSH公网地址6. SSH固定地址连接测试 前言 Deepin操作系统是一个基于Debian的Linux操作系统&#xff0c;专注于使用者对日常办公、学习、生活和娱乐的操作体验的极致&#xff0…

Python---time库

目录 时间获取 时间格式化 程序计时 time库包含三类函数&#xff1a; 时间获取&#xff1a;time() ctime() gmtime() 时间格式化&#xff1a;strtime() strptime() 程序计时&#xff1a;sleep() perf_counter() 下面逐一介绍&#…

H3.3K27M弥漫性中线胶质瘤的反义寡核苷酸治疗

今天给同学们分享一篇实验文章“Antisense oligonucleotide therapy for H3.3K27M diffuse midline glioma”&#xff0c;这篇文章发表在Sci Transl Med期刊上&#xff0c;影响因子为17.1。 结果解读&#xff1a; CRISPR-Cas9消耗H3.3K27M恢复了H3K27三甲基化&#xff0c;并延…

在AWS Lambda上部署标准FFmpeg工具——Docker方案

大纲 1 确定Lambda运行时环境1.1 Lambda系统、镜像、内核版本1.2 运行时1.2.1 Python1.2.2 Java 2 启动EC23 编写调用FFmpeg的代码4 生成docker镜像4.1 安装和启动Docker服务4.2 编写Dockerfile脚本4.3 生成镜像 5 推送镜像5.1 创建存储库5.2 给EC2赋予角色5.2.1 创建策略5.2.2…

【带头学C++】----- 九、类和对象 ---- 9.10 C++设计模式之单例模式设计

❤️❤️❤️❤️❤️❤️❤️❤️❤️❤️❤️麻烦您点个关注&#xff0c;不迷路❤️❤️❤️❤️❤️❤️❤️❤️❤️❤️❤️❤️ 目 录 9.10 C设计模式之单例模式设计 举例说明&#xff1a; 9.10 C设计模式之单例模式设计 看过我之前的文章的&#xff0c;简单讲解过C/Q…

遥测终端机RTU:实现远程监测和控制的重要工具

遥测终端机RTU对设备进行远程监测和控制&#xff0c;支持采集和传输数据&#xff0c;以实现对工业过程、公用事业、水文和环境的监测和管理。 遥测终端机RTU工作原理 计讯物联遥测终端机RTU通过网口、串口进行传感器/设备等现场数据采集&#xff0c;将其转换为数字信号&#xf…