Raccon:更好防侧信道攻击的后量子签名方案

1. 引言

安全社区已经开发出了一些出色的加密算法,这些算法非常安全,但最终,所有的数据都会被存储在硅和金属中,而入侵者越来越多地会在那里放置监视器来破解密钥。

破解加密密钥通常涉及暴力破解方法或利用实施过程中的缺陷。然而,人们对物理侧信道攻击的兴趣日益浓厚。
侧信道攻击是指:

  • 无意中泄露加密信息,如电磁辐射、功耗、电压波动,甚至声音和热量变化。

目前很少有公司保护其设备免受侧信道攻击,尤其是因为这种攻击成本高昂,需要使用复杂的设备进行大量测试。

随着设备的速度越来越快,可能会发射越来越多的无线电和电磁 (electromagnetic,EM) 辐射。如:

  • 2GHz 处理器的运行频率与 Wi-Fi 信号 (2.4 GHz) 相同,且芯片通常不受无线电波发射保护,这是设备快速运行的自然副产品。由于这些高频,通常很难阻止电磁辐射耦合到附近的电线和其他电路中:
    在这里插入图片描述
    本文重点关注后量子签名方案,如:Dilithium、SPHINCS+ 、FALCON和Raccoon的侧信道攻击问题。
    所谓Raccoon:
  • 为由PQShied开发的,基于Lattice的后量子签名方案。
  • 已作为额外签名,提交到NIST PQC竞赛。
  • 使用无aborts的Fiat-Shamir方法。而Dilithium则使用的是有aborts的Fiat-Shamir方法。
  • 所谓无aborts的Fiat-Shamir方法,是指:支持分布式门限签名,且对侧信道攻击进行了改进。
  • 开源代码实现见:https://asecuritysite.com/pqc/raccoon

2. PQC 中的侧通道

在这里插入图片描述

在PQShield团队 Masking-Friendly Signatures and the Design of Raccoon 的精彩演讲中,作者概述了 PQC 签名的三种主要方法(Dilithium、SPHINCS+ 和 FALCON)容易受到侧信道攻击:
在这里插入图片描述

在这里插入图片描述
在 FALCON 中,Karabulut 和 Aysu 表明,功耗主要源自签名和私钥(sk)的点积,甚至纯粹是私钥的点积:
在这里插入图片描述
Masking-Friendly Signatures and the Design of Raccoon 作者随后展示了 Dilithium 如何存在侧信道问题,并使用了经典的过河难题:
在这里插入图片描述

3. Dilithium后量子签名方案

Dilithium keygen为:

  • 从密钥 ( s k sk sk)和误差矩阵 ( e e e ) 中推导出公钥 ( v k vk vk ) ,采用经典的 LWE (learning with errors) 方法:
    v k = A ⋅ s k + e ​​ vk = \mathbf{A}⋅sk + e​​ vk=Ask+e​​
    其中:
    • A \mathbf{A} A k × l k\times l k×l矩阵, t t t k k k 个元素的向量。
    • 这些都取 ( m o d    q \mod q modq ),其中 q q q是素数。
    • 验签密钥将是 ( A , v k ) ( \mathbf{A} , vk ) (A,vk),签名密钥是 s k sk sk

Dilithium签名过程为:

  • 采用一个简短的随机秘密( r r r)和消息( m s g msg msg),并创建一个挑战承诺(其中 e ′ e' e e e e的一个样本),计算:
    w = A ⋅ r + e ′ w = \mathbf{A}⋅r + e' w=Ar+e​​
    c = H a s h ( v k , m s g , w ) c =Hash(vk,msg,w) c=Hash(vkmsgw)
    然后计算:
    z = r + c ⋅ s k z = r + c ⋅ sk z=r+csk
    • 若z太大,则重试以上计算流程。
  • 最后返回 ( w , z ) ( w,z ) (w,z) 作为签名。

这是一个经典的带有aborts的 Fiat-Shamir sigma 方法。该abort用于阻止签名密钥被泄露。

Dilithium验签过程为:

  • 首先检查z是否很小。
  • 然后计算:
    c ′ = H a s h ( v k , m s g , w ) c'=Hash(vk,msg,w) c=Hash(vkmsgw)
  • 然后检查: A ⋅ z ≈ w + c ⋅ v k \mathbf{A} ⋅ z ≈ w + c ⋅ vk Azw+cvk

这是有效的,因为error值相对较小:

  • A ⋅ z = A ⋅ ( r + c ⋅ s k ) = A ⋅ r + A ⋅ c ⋅ s k ≈ w + c ⋅ v k \mathbf{A} ⋅ z =\mathbf{ A} ⋅ ( r + c ⋅ sk ) = \mathbf{A} ⋅ r + \mathbf{A} ⋅ c ⋅ sk ≈ w + c ⋅ vk Az=A(r+csk)=Ar+Acskw+cvk
    因为 A ⋅ r ≈ A ⋅ r + e ′ \mathbf{A}⋅r ≈ \mathbf{A} ⋅ r+e' ArAr+e A ⋅ c ⋅ s k ≈ v k ⋅ c \mathbf{A} ⋅ c ⋅ sk ≈ vk⋅ c Acskvkc

为了不泄露计算结果,可掩盖该error值或 r。这是通过对均匀分布的error值进行采样来完成的,这可能是一项相当耗时的任务。除此之外,aborts也会减慢签名的生成速度:
在这里插入图片描述

4. Raccoon后量子签名方案

Raccoon后量子签名方案:

Raccoon keygen为:

  • 从密钥 ( s k sk sk)和经典 LWE(learning with errors)方法的error 矩阵 e e e中得出公钥 ( v k vk vk ):
    v k = A ⋅ s k + e vk = \mathbf{A}⋅sk + e vk=Ask+e​​
    其中:
    • A \mathbf{A} A k × l k\times l k×l矩阵, t t t k k k 个元素的向量。
    • 这些都取 ( m o d    q \mod q modq ),其中 q q q是素数。
    • 验签密钥为 ( A , v k ) ( A , vk ) (A,vk),签名密钥为 s k sk sk

Raccoon签名过程为:

  • 采用一个简短的随机秘密( r r r)和消息( m s g msg msg),并创建一个挑战承诺(其中 e ′ e' e e e e的一个样本):
    w = A ⋅ r + e ′ w = \mathbf{A}⋅r + e' w=Ar+e​​
    c = H a s h ( v k , m s g , w ) c = Hash(vk,msg,w) c=Hash(vkmsgw)
  • 接下来计算:
    z = r + c ⋅ s k z = r + c ⋅ sk z=r+csk
    y = c ⋅ e + e ′ y = c⋅e + e' y=ce+e​​
  • 那么签名就是 c , z , y c , z , y c,z,y

Raccoon验签过程为:

  • 计算:
    w ′ = A ⋅ z + y − c ⋅ v k w'= \mathbf{A} ⋅ z + y − c ⋅ vk w=Az+ycvk
    c ′ = H a s h ( v k , m s g , w ′ ) c'=Hash( vk , msg , w') c=Hash(vk,msg,w)
  • 然后检查 c = c ′ c = c' c=c是否成立,若成立则验签通过。
    • 这是因为:
      w ′ = A ⋅ z + y − c ⋅ v k − A ⋅ ( c ⋅ s k + r ) + c ⋅ e + e ′ + c ⋅ ( A ⋅ s k + e ) = A ⋅ c ⋅ s k + A ⋅ r + c ⋅ e + e ′ − c ⋅ A ⋅ s k − c ⋅ e = A ⋅ r + e = w w'= \mathbf{A} ⋅ z + y − c ⋅ vk − \mathbf{A} ⋅(c ⋅ sk + r)+ c ⋅ e + e'+ c ⋅ (\mathbf{A} ⋅ sk + e)= \mathbf{A} ⋅ c ⋅ sk + \mathbf{A} ⋅ r + c ⋅ e + e'− c⋅ \mathbf{A} ⋅ sk − c ⋅ e = \mathbf{A} ⋅ r + e = w w=Az+ycvkA(csk+r)+ce+e+c(Ask+e)=Acsk+Ar+ce+ecAskce=Ar+e=w
    • 因此 H a s h ( v k , m s g , w ) Hash( vk , msg , w ) Hash(vk,msg,w) 等于 H a s h ( v k , m s g , w ′ ) Hash( vk , msg , w') Hash(vk,msg,w)

使用 Raccoon,不会在short emphemal secret(r)采样中出现延迟,也不会有aborts:
在这里插入图片描述

总体而言,将其分成了 d d d份,其中 Raccoon 在masking方面的扩展性比 Dilithium 好得多:
在这里插入图片描述

5. 结论

PQShield团队slide Masking-Friendly Signatures and the Design of Raccoon的结论部分,可看到 Raccoon 的假设与 Dilithium 类似,且更简单。Raccoon验签(公钥)密钥大小也差不多。不幸的是,签名大小是Dilithium的四倍。若使用masking,Raccoon比其他提议的标准要快得多:
在这里插入图片描述

参考资料

[1] Prof Bill Buchanan OBE FRSE 2024年6月博客 Side Channels in Post Quantum Cryptography
[2] PQShield团队slide Masking-Friendly Signatures and the Design of Raccoon
[3] Thomas Prest——PQShield首席密码学研究员博客
[4] 2023年11月20日 2nd Oxford Post-Quantum Cryptography Summit 2023 视频PQC Scheme: Raccoon(相应slide见Raccoon

  • 10
    点赞
  • 25
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值