导?读
如果关心近年的密码学成果，可以发现双线性对作为一个基础的密码学工具频频出现。
双线性对是一种二元映射，它作为密码学算法的构造工具，在各区块链平台中广泛应用，比如零知识证明、聚合签名等技术方案大多基于双线性对构造得来。
本次将分为上、下两个篇章讲解双线性对在密码学中的应用。
本文为上篇入门篇，会从概念介绍、发展历程、实际应用三个方面展开说明，下篇为进阶篇，将从原理层面深入剖析。
双线性对的研究历程
▲1946年作为一个数学工具被提出
1946年双线性对首先被法国数学家Weil提出并成为代数几何领域重要的概念和研究工具。
在最初的时候，双线性对的概念并非为了密码学的研究，甚至Weil在提出双线性对时现代密码学还未成为系统的科学。
▲?1996年Menezes、Okamoto和Vanstone提出利用双线性对将ECDLP问题规约到DLP问题的MOV攻击
在19年火热的电影《罗小黑战记》中，主人公拥有控制自己“领域”的能力。电影中的“领域”指自己专有的一个空间，在此空间中可以主宰一切。
数据：48,764个地址已申领超2515万枚ARKM空投:7月19日消息，据Dune数据显示，目前已有48,764个地址申领Arkham代币ARKM空投，共申领超2515万枚，平均每个地址515枚。空投数量超过1万枚的地址为153个，超过1000枚的地址为4754个。[2023/7/19 11:03:47]
不严谨的说，双线性映射的功能也有几分相似——虽然攻击椭圆曲线系统在离散数域解决起来很难，但是如果被映射到特定的扩域从而规约为一般的离散对数问题，解决起来就相对容易。
但与攻击椭圆曲线系统的目的恰恰相反，MOV最终促进了椭圆曲线密码学的发展。
这当然也是密码学家去研究攻击方法的本意——毕竟攻和防从来都是对立统一的两个方面而已。
MOV攻击并非能作用于全部的椭圆曲线，而是只能对参数满足一定条件的曲线进行攻击。这促使人们在选择椭圆曲线参数时更加谨慎，更加注重抗MOV攻击。
今天我们再选用椭圆曲线参数时都会考虑避开MOV攻击的条件从而使所选的参数更安全。
例如国标《SM2椭圆曲线公钥密码算法》就充分重视了受到MOV攻击的可能性，不仅在第一部分《总则》中用附录A的部分篇幅介绍验证曲线参抗MOV攻击的方法，而且也在第五部分《参数定义》中给出了安全曲线的推荐参数。
Ledger与ApeCoin DAO达成合作，拟发行1000个ApeCoin品牌钱包:金色财经报道，硬件钱包公司Ledger宣布与ApeCoin DAO达成合作，旨在通过PoK（知识证明）教育和奖励社区。APE持有者可以通过Ledger x apecoin Quest来证明自己的加密货币和NFT安全知识，并且赢得定制ApeCoin Nano钱包。据悉，这批ApeCoin品牌的硬件钱包发放数量总计有1000个。[2023/4/9 13:52:59]
▲2000年双线性对开始在密码学领域得到重视，成果有基于身份的密码体制、三方一轮密钥协商、BLS签名算法等
基于身份的密码体制是公钥密码学的一个研究方向，其特点是直接用标识用户身份的字符串作为公钥。大家熟悉的国密SM9算法就属于该类算法，这是目前国产密码算法中唯一一个基于双线性对的密码算法。
三方一轮密钥协商是一种可以在一轮交互内完成三方的密钥协商的密钥协商协议，效率高于DH密钥协商。
传统的DH密钥协商可以完成两两之间的密钥协商。虽然能够通过两两之间多轮协商完成三方之间的密钥协商，但是增加了通信复杂度。
公链Sui Network推出其测试网:金色财经报道，由前Meta（前身Facebook）工程师创建的Layer One区块链宣布开放测试网，该团队表示，测试网Wave1专注于运营商，特别是验证者和运营全节点的参与者，在Wave1中，Sui的目标是改进去中心化协调和事件响应，并确定一组具有部署、监控和调试经验的核心运营者。此外，与Devnet不同，在测试网中，事件管理将由社区驱动，而不是Mysten Labs驱动，这将使社区成员能够为维护Sui的健康提供更多投入并承担更大责任。
此前报道，9月份，Sui Blockchain背后公司Mysten Labs在由FTX Ventures领投的一轮融资中筹集了3亿美元，这轮融资对Mysten Labs的估值为20亿美元。[2022/11/18 13:19:29]
基于双线性对能够在三方之间通过一轮通信完成密钥协商，大大降低了通信复杂度。
BLS签名是Boneh、Lynn和Shacham三人基于双线性映射构造的短签名方案，其特性之一就是能用于构造聚合签名。
除了上述的代表成果，双线性对在隐私保护方面、可证明执行、可信计算等方面也有大量成果，例如可信计算组在可信平台模块规范中推荐的椭圆曲线直接匿名证明协议，适用于通用问题的零知识证明，intel的可信计算环境SGX以及加强隐私ID等。
美国国税局新版纳税指南草案将“虚拟货币”更改为“数字资产”，涵盖NFT等:10月19日消息，美国国税局发布了2022年度纳税指南草案，将旧类别“虚拟货币”替换为更广泛的“数字资产”新语言，并明确涵盖NFT等资产。根据指南草案，“数字资产是记录在加密保护的分布式账本或任何类似技术上的任何数字价值表示。例如数字资产包括NFT和虚拟货币、加密货币和稳定币。”根据最新文件，“如果公民在2022年通过出售、交换、赠与或转让的方式处置了任何作为资本资产持有的数字资产”，加密货币投资者将必须计算并报告应纳税收入。据悉，前一年美国税务申报指南中的“虚拟货币”部分是数字代币的狭义定义，“其功能是记账单位、价值储存或交易媒介”。最终的税务指南尚未发布，所以加密货币部分在正式发布前仍有可能进行调整。（CoinDesk）[2022/10/19 17:31:50]
双线性对的应用
虽然双线性对有大量的应用案例，但是限于篇幅，本文挑选了三方一轮密钥交换和SM9数字签名算法作为例子。
本部分先将算法过程剥离开来，还没有太多去分析算法的原理，这是因为在不了解双线性对的前提下理解这些算法是有困难的。
Optimism官方：Optimism的Kovan测试网将于10月5日全面退役:8月15日消息，近日，以太坊二层扩容网络Optimism官方发推文称， Optimism Kovan已被弃用，取而代之的是Optimism Goerli。Optimism的Kovan测试网将于10月5日全面退役。为了鼓励所有项目在此截止日期之前迁移，将降低Optimism Kovan公共端点的速率限制。
此前7月1日消息，Optimism决定淘汰Kovan测试网，计划在8月15日之前将项目迁移至Goerli。[2022/8/15 12:26:10]
我们建议读者先简单阅读本部分了解算法能实现的功能，然后在阅读下篇的双线性对的性质介绍后再回来品味算法的优美。
▲三方一轮密钥交换
密钥交换又叫密钥协商，是一种能够让参与者在公共信道上通过交换某些信息来公共建立一个共享密钥的密码协议。
最常见的是两方DH密钥交换，椭圆曲线群上的DH依据的椭圆曲线群是循环群这个性质。
如下图：
1.用户A生成随机数a，计算aG，并将aG发送给对方
2.用户B生成随机数b，计算bG，并将bG发送给对方
3.A和B利用手中信息分别计算出abG作为协商密钥，原因是abG=baG
通过上述的DH算法可以轻松地完成两方的密钥协商，但是较难满足需要三方密钥协商的场景。
利用双线性对可以仅做一轮通信完成密钥协商。
如下图所示：
1.A选择随机数a，计算aG，将结果发送给B和C
2.B选择随机数b，计算bG，将结果发送给A和C
3.C选择随机数c，计算cG，将结果发送给A和B
4.A计算a?(bG,cG)
5.B计算b?(aG,cG)
6.C计算c?(aG,bG)
A、B、C分别计算出的结果就是协商出的密钥。这个协议是双线性配对在密码学研究中的第一次正面应用。
SM9数字签名算法
SM9标识密码算法包括数字签名算法、密钥协商算法、加解密算法三部分，我们主要来关注数字签名算法。
不同于传统签名算法的由用户随机选择私钥然后计算得到公钥的方式，SM9能够实现用户指定公钥，密钥生成中心通过公钥计算私钥。
这样可以将一些有意义的字符串，例如身份证号码、邮箱地址等作为用户公钥，从而能在公钥中直接反应出用户信息，这也是标识密码的含义。
签名算法包括参数生成、密钥生成、签名和验签等几个步骤。和一般签名验签不同的地方在于，密钥生成分为主密钥生成和用户密钥生成两部分，主私钥由密钥生成中心保管。
可以看到不论是在三方一轮密钥协商中，还是在SM9签名验签中，?都扮演了重要的角色。当不知道?是指什么的情况下要理解上面两个算法是不现实的，而这个映射?也正是本文的核心：双线性映射。
?的计算是一个计算复杂度较高的操作，我们不打算介绍关于?的原理和细节，读者只需要了解?的一些属性就足够理解上面两个例子的思想。
因为篇幅原因，双线性映射的性质将在下篇介绍。在下篇的开始我们就会先帮助读者理解什么是双线性，然后紧接着再回顾上面的两个算法，介绍并分析它们的思想和原理。
更多精彩敬请期待下篇
本文有任何问题欢迎与我们一起探讨
名词解释
▲?MOV攻击
又称MOV规约攻击，是Menezes、Okamoto和Vanstone三人的论文中提出的针对特殊椭圆曲线离散对数问题的一种有效解法。通过双线性配对，将椭圆曲线上的离散对数问题规约成为某个乘法群上的离散对数问题，能够在亚指数步骤中计算ECDLP。
▲?DLP
离散对数问题。例如在整数模11乘法群中容易计算5×5×5×5=9mod11，那么求几个5相乘的结果是9这个问题就是一个离散对数问题。当模数为很大的质数时，这个问题是困难的。
▲?ECDLP
椭圆曲线离散对数问题。例如已知P、Q是两个椭圆曲线点，并且4个P相加得到Q，那么已知P和Q求解几个P相加得到Q的问题就是椭圆曲线离散对数问题。当选择的曲线满足一定要求时，该问题是困难的。
参考文献与推荐阅读
?cl签名?
https://www.iacr.org/archive/crypto2004/31520055/cl04.pdf
配对友好的曲线
https://tools.ietf.org/pdf/draft-irtf-cfrg-pairing-friendly-curves-07.pdf
?三方一轮密钥交换?
https://xueshu.baidu.com/usercenter/paper/show?paperid=5521a92e88e750ae92df7b1cd8287452&site=xueshu_se
?一个关于双线性对的综述?
http://jos.org.cn/ch/reader/create_pdf.aspx?file_no=3651&journal_id=jos
?基于bn曲线的双线性对实现?
https://cryptojedi.org/papers/dclxvi-20100714.pdf
?SM9标识密码算法GMT0044
http://www.gmbz.org.cn/main/viewfile/20180110024900801385.html
作者简介
乔沛杨
来自趣链科技基础平台部
区块链密码学研究小组
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。