从世界杯小组赛消极比赛,到矿工博弈及共识算法,博弈论解释了一切

AI权益加码!Claude Code、Cursor等20+工具免费用! 购周边限时加赠Coding Plan Lite,畅享主流AI工具!学习进阶更高效! 阅读详情

博弈论被认为是20世纪经济学最伟大的成果之一,其思想被广泛的应用到经济学,政治学,计算机科学,生物学,运筹学等学科。通过分析博弈各方的收益情况而对参与者的行为进行预测,博弈论已经被应用于处理国际关系、研究军事战略、制定公司经营策略等领域。诺贝尔经济学奖获得者约翰.纳什(John F. Nash)在他的博士论文中提出的“纳什均衡”概念,完全颠覆了传统经济学家的固有观念,因此“纳什均衡”对经济学的影响被类比为“DNA双螺旋结构对生物科学的影响”。纳什均衡提供了一种分析社会和经济参与者行为的工具,安比(SECBIT)实验室的研究员利用均衡的概念来揭示世界杯比赛中消极比赛、比特币系统中矿工挖矿博弈,以及共识系统所面临的挑战背后所蕴含的均衡模型。

这里写图片描述

6月26日,第21届世界杯小组赛C组法国对战丹麦队的比赛由于两个国家队踢默契球而引起了球迷的抱怨,安比(SECBIT)实验室的研究人员通过博弈论的分析方法来讨论比赛规则对球队行为的影响,从而说明规则会影响参与者的行为。接着,我们描述了在比特币挖矿的情境下,矿池之间存在的博弈现象。最后,我们讨论了比特币系统共识算法所面临的潜在威胁。通过对这些实例的分析,安比(SECBIT)实验室希望将博弈论的思想引用到智能合约的部署中,当开发人员在设计有多个参与者参加的智能合约时,通过添加智能合约的博弈论属性来预测参与者的行为。

世界杯消极比赛与重复剔除的占优战略均衡

在世界杯小组赛中,每个小组有4支球队,通过互相比赛最终两支获得最高分数的球队出线进入下一轮,小组赛的得分规则是:赢一场得3分,平局的话两队各得1分,输的队伍得0分。如果两支队伍积分相等,出线队伍通过比较净胜球和红黄牌数量来决定。

世界杯C组有四支队伍:法国,丹麦,秘鲁和澳大利亚。在法国队和丹麦队比赛之前,法国队已经战胜澳大利亚和秘鲁,得到了6分,丹麦队战胜秘鲁,打平澳大利亚积4分,澳大利亚积1分,秘鲁两场全输积0分。具体赛况如下图所示。

这里写图片描述

C组还剩下两场比赛,分别是丹麦对战法国,澳大利亚对战秘鲁。

在这个前提下,我们画了下面的收益图来表示丹麦对战法国的比赛的可能结果。

这里写图片描述

在上图中,有两个参赛队伍法国和丹麦,每个参赛队伍有两个策略:积极比赛和消极比赛。消极比赛中,每个球队的重点不在于如何积极地发动进攻获得进球,而是将比赛的重心放在如何消磨时间上,比如持续在后场传球。还有就是派遣替补队员上场,让主力球员休息从而避免意外受伤。

在这张图表中有四个状态组合,第一个状态(积极,积极)表示两个队都积极地应对比赛,这个状态下丹麦队的收益是 (0.75ϵ) ( 0.75 − ϵ ) (0.75) ( 0.75 ) 表示丹麦队有较大的可能性出线, (ϵ) ( ϵ ) 是一个很小的小数,它表示的意思是队伍中的队员由于获得黄牌或者受伤而需要付出的代价。法国队的收益是

亚瑟王的「随机」挑战:从交互到非交互式零知识证明——探索零知识证明系列(四) 本文作者:郭宇 本文已更新至Github https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/4/zkp-rom.md “Challenges are at times an indication of Lord's trust in you.” 挑战,有时是上天信任你的一种表现。― D. Todd Christ... 阅读详情

相关推荐

零知识证明 Learn by Coding:libsnark 入门篇

本文作者:p0n1@安比实验室 libsnark 是目前实现 zk-SNARKs 电路最重要的框架,在众多私密交易或隐私计算相关项目间广泛应用,其中最著名当然要数 Zcash。Zcash 在 Sapling 版本升级前一直使用 libsnark 来实现电路(之后才替换为 bellman)。毫不夸张地说,libsnark 支撑并促进了 zk-SNARKs 技术的首次大规模应用,填补了零知识证明技术从...

SECBIT区块链安全实验室 2918

零知识证明学习笔记:背景与起源

副标题:斯坦福学霸的零知识证明学习笔记(一) 本文作者东泽,来自安比技术社区的小伙伴,目前就读于斯坦福大学,研究方向密码学,本系列文章来源于作者在斯坦福著名的课程《CS 251: Cryptocurrencies and blockchain technologies》上的学习笔记,该课程授课老师是密码学大拿 Dan Boneh。 上个学期在斯坦福跟着Dan Boneh学习了区块链和数字货币相关的...

SECBIT区块链安全实验室 1319

博弈论算法之轻松幽默诙谐有趣皮到没边的刚学来打算装逼的曲(趣)解博客

一、巴什博弈(Bash Game) 巴什是谁呢?这个不重要(我也不知道),巴什博弈的问题很简单,一堆石头,每人每次拿1~n个石头,谁先拿完就赢了。 模拟一下:M(石头数),n(一次最多能拿的石头数),现在M(5),n(3),我们先拿,那我们要怎么赢呢,先拿1剩4,这样对方拿多少我们下次都能拿完,必赢,也就是说M(4)必输(这就是对方的面临的现况),康康(振声)M(8),M(12),如果我们面临...

Noscread的博客 788

以太坊颠覆了以太坊:引入密码学实现2.0性能突破

致谢:郭宇 撰文:李画,安比实验室特约研究员 导言:2020年,市场似乎如旧,然而区块链技术却在悄然进行一场颠覆性的升级。 性能是阻碍公链发展的瓶颈,提升性能则是绝大多数希望超越以太坊的公链的主要设计目标,但当我们站在今天回望时,会发现这些公链选择的方法大多是通过机制的设计来增强一个分布式系统的性能,但受困于分布式系统CAP定理(不可能三角),改善性能是要付出代价的,当这个分布式系统的用途是账本时,这些代价甚至可能是难以被接受的。 以太坊也一直在尝试各种方法以提升性能,在2.0被推出的前夜,它「试」出了密码

SECBIT区块链安全实验室 780

区块链共识机制的博弈论思想和概率论模型

引言 我们知道,区块链是一种去中心化的数据库,没有中心化机构,所以在进行价值转移、信息传递的过程中,需要解决所有记账节点上的一致性和正确性问题。我们需要一种多方协作的机制,协调参与多方达成统一的唯一结果,且保证此过程难以被欺骗,来保证系统的稳定运行。所以,共识模型也是区块链中必不可少的重要组成部分。今天稍微了解了一下区块链共识模型里体现的的博弈论思想,分享一下。 拥有记账权的人更倾向在维护整个体...

Jenny_Shirunhao的博客 2213

ML之预测:玩转2018世界杯—采用机器学习预测小组赛、十六比赛、四决赛、半决赛、决赛以及世界杯总冠军的各个队伍

ML之预测:玩转2018世界杯—采用机器学习预测小组赛、十六比赛、四决赛、半决赛、决赛以及世界杯总冠军的各个队伍 导读 机器学习预测、玩转2018世界杯—采用机器学习预测小组赛、十六比赛、四决赛、半决赛、决赛以及世界杯总冠军的各个队伍。大家可以利用2018世界杯小组赛已有的结果,结合下边的预测结果验证一下,准确度是否高,哈哈…… 本博主一向支持健康看球!预测对了,说明人...

头部AI社区如有邀博主AI主题演讲请私信—心比天高,仗剑走天涯,保持热爱,奔赴向梦想!低调,专注,谦虚,自律,反思,成长,还算比较正能量的博主,公益免费传播…内心特别想在AI界做出一些可以推进历史进程影响力的技术(兴趣使然,有点小情怀,也有点使命感呀 1万+

区块链存在的问题

数据存储与交互 多形式数据存储 数据更新 跨链时延 隐私保护 用户隐私保护 企业资源保护 资源分配 事务排序依赖 数据高冗余 不可持续发展 算力浪费 漏洞攻击 分叉攻击 系统自身产生分叉导致的分叉 攻击者主动制造分叉进行攻击 女巫攻击 :由攻击服务器生成超过系统51%的傀儡账户 双花攻击:它利用了比特币数字加密货币的传输特性,使一笔钱“花费两次” 重播攻击:以太坊系统中重复使用同一请求,一笔钱“收两次”,与“双花攻击”恰好相反 基于密码学攻击 区块链..

m0_61970067的博客 9649

ERC20智能合约的approve千万别这样写

作者:安比(SECBIT)实验室 最近智能合约安全事件频发,从BEC到SMT,从HXG到FXE等,最近这几个智能合约出的问题,大都是由于整数溢出漏洞导致的。大家对整数溢出是不是都杯弓蛇影了?我们是不是应该在所有的地方都加上安全检查,确保我们的代码没有问题呢?可是这样真的好吗? 我们先来看看这段代码: function approve(address _spender, uint _amou...

SECBIT区块链安全实验室 7463

零知识证明学习资源汇总

摘要:本文收集整理了关于零知识证明的一些学习资料,希望能对大家有所帮助。

SECBIT区块链安全实验室 3691

浅谈零知识证明之二:简短无交互证明(SNARK)

本文作者东泽,来自安比技术社区的小伙伴,目前就读于斯坦福大学,研究方向密码学,本系列文章来源于作者在斯坦福著名的课程《CS 251: Cryptocurrencies and blockchain technologies》上的学习笔记,该课程授课老师是密码学大拿 Dan Boneh。 上一期文章发表之后,非常惊讶有那么多小伙伴读完了表示喜欢。那么我们接着这期继续吧!这次,我们专注的聊一聊SNAR...

SECBIT区块链安全实验室 2599

云中「秘密」:构建非交互式零知识证明---探索零知识证明系列(五)

本文作者:郭宇 Once exposed, a secret loses all its power. 一旦泄露,秘密就失去了全部威力 ― Ann Aguirre 这已经是本系列的第五篇文章了,这一篇继续深入非交互式零知识证明。 本文约 12,000 字。 系列一:初识「零知识」与「证明」 系列二:理解「模拟」 系列三:寻找「知识」 系列四:随机「挑战」 提纲 CRS 的前世今生 哈密尔...

SECBIT区块链安全实验室 2355

智能合约开发必读:ERC20 Token合约你可能不知道的坑

前不久,轰动一时的BEC事件在币圈和链圈掀起了不小的反响,智能合约安全一度成为焦点话题。 通过一个小小的整数溢出漏洞,黑客盗取了巨量的BEC token,迫使交易所不得不暂时停止交易。一时间BEC价格呈现断崖式下跌。随后,SMT token 的智能合约也因为相同的问题遭到了攻击。 两次事件都给项目发行方和token持有者造成了巨额的损失。 据统计,截止2018年5月12日为止,以太坊上部署的...

SECBIT区块链安全实验室 2107

last-winner-airdrop

Last Winner 的最后赢家 - 智能合约超大规模黑客攻击手法曝光 作者:安比(SECBIT)实验室 & AnChain.ai 安比(SECBIT)实验室创始人郭宇:2009年,中本聪创造了一个虚拟的去中心化新世界。这仿佛是一片流着奶和蜜糖的应许之地,人们欢呼雀跃,蜂拥而至。但与所有的生态系统一样,新世界有生命,就有捕食者。有交易者,就有黑客。区块链上的应用在进化,攻击者也...

SECBIT区块链安全实验室 1869

构造形式化证明,解决智能合约安全问题——你的合约亟待证明

安比(SECBIT)实验室与 Consensys 中国、轻信科技等团队联手,在智能合约安全的形式化证明领域展开深度合作。 智能合约安全问题始终是萦绕在数字货币各个项目方、开发者和投资者心头的一颗定时炸弹。越来越多的安全团队积极参与,试图通过更完备手段来解决合约安全问题。安比(SECBIT)实验室认为,形式化验证与传统的“测试+审计”方式相结合,将会是保证智能合约安全强有力的手段。 7月7日...

SECBIT区块链安全实验室 1787

一种利用 etherscan.io 缺陷的智能合约蜜罐正悄然流行

安比(SECBIT)实验室近期发出预警,一种新型蜜罐(诈骗)合约正在泛滥,利用区块链浏览器的相关局限,设置陷阱欺骗游戏参与者,且诈骗目标多为具备一定区块链专业素养的人员。据安比(SECBIT)实验室统计数据显示,同类合约的数量高达48个,其中一个合约部署于 3 天前,已有玩家受骗的合约超过21份,累计骗取金额超过 25 ETH。 前几天,小安比从 p0n1 大神那里听说了一种新型的蜜罐(...

SECBIT区块链安全实验室 1745

读心术:从零知识证明中提取「知识」——探索零知识证明系列(三)

本文已更新至Githubhttps://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/3/zkp-pok.md 导言:有些理论非常有趣,零知识证明便是其中之一,摸索了许久,想写点什么,与大家一起讨论。本文是『探索零知识证明』系列的第三篇。全文约 7,000 字,少量数学公式。 And what, Socrates, is the fo...

SECBIT区块链安全实验室 1606

警惕!Solidity缺陷易使合约状态失控

作者:安比(SECBIT)实验室 & 轻信科技(LedgerGo) 本文以蜜罐合约和 BancorLender 合约为例,详细介绍 Solidity 语言中「未初始化的 storage 指针」问题,并追踪 Solidity 编译器关于此问题的开发进展。 安比(SECBIT)实验室在 BancorLender (0x2d820ea3A6b9302c500feeb7F6361bA1...

SECBIT区块链安全实验室 1280

ERC223及ERC827实现代码欠缺安全考虑 —— ATN Token中的CUSTOM_CALL漏洞深入分析

本文部分内容基于安比(SECBIT)实验室团队与吴玉会(轻信科技)的讨论 本文结论: ERC223, ERC827的部分实现代码引入了任意函数调用缺陷,可能会对使用这部分代码的合约带来安全漏洞。如果需要实现上述规范接口,请仔细检查实现代码。这种合约本身允许用户自定义call() 任意地址上任意函数的设计,十分危险。攻击者可以很容易地借用当前合约的身份来进行任何操作,比如盗取Token或者绕...

SECBIT区块链安全实验室 1165
上一篇: 严重getToken函数随意印币漏洞 :任何人可给自己的账号虚增余额
下一篇: 警惕!Solidity缺陷易使合约状态失控
安比实验室SECBIT
博客等级 码龄8年 169粉丝 40原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值