当前位置： 首页 > news >正文

Kyber原理解析

news 2026/2/8 16:54:41

Kyber是一种IND-CCA2安全的密钥封装机制。Kyber的安全性基于在模格（MLWE问题）中解决LWE问题的难度。Kyber的构造采⽤两阶段⽅法：⾸先介绍⼀种⽤来加密固定32字节⻓度的消息原⽂的IND-CPA安全性的公钥加密⽅案，我们称之为 CPAPKE， CPAPKE由密钥生成（ CPAPKE.KeyGen）、加密（ CPAPKE.Encrypt）、解密（ CPAPKE.Decrypt）三个算法组成。然后，我们使⽤略微调整的Fujisaki-Okamoto（FO）变换来构建IND-CCA2安全性的CCAKEM，CCAKEM方案由密钥生成（CCAKEM.KeyGen）、封装（CCAKEM.Encaps）、解封装（CCAKEM.Decaps）三个算法组成。

由CPAPKE通过FO变换转换成CCAKEM并不复杂，本文我们主要举例解释一下CPAPKE的三个算法，Kyber出于安全性考虑，系统参数都较大，这里我们只为了简要解释原理，因此采用了压缩版的参数。假设q=17, 多项式模数f=x^4+1 。

1.密钥对生成

添加图片注释，不超过 140 字（可选）

对于密钥对生成阶段，我们会获得密钥对（pk,sk）,其中pk=t=As+e, sk=s。A，s, e都是随机生成的，我们假设其取值如图上所示，最终计算获得：t = (-15x^6-26x^5-41x^4-18x^3+8x, -11x^6-9x^5-23x^4-24x^3+x^2-15x)

由于多项式系数取值模数 f=x^4+1 ,可以简单理解为x^4=-1 ,对t进行转换：

t=(-15x^6-26x^5-41x^4-18x^3+8x,-11x^6-9x^5-23x^4-24x^3+x^2-15x)=(15x^2+26x+41-18x^3+8x,11x^2+9x+23-24x^3+x^2-15x)=(-18x^3+15x^2+34x+41,-24x^3+12x^2-6x+23)

（将x^4 转换为-1）

又由于q=17, 我们进一步对系数取模得到：

t=(16x^3+15x^2+7,10x^3+12x^2+11x+6)

综上，密钥生成阶段我们生成了密钥对pk=(16x^3+15x^2+7,10x^3+12x^2+11x+6),sk=(-x^3-x^2+x,-x^3-x)

2.密钥封装

添加图片注释，不超过 140 字（可选）

密钥封装阶段我们从公钥中恢复了种子 ρ ，从而恢复出密钥对生成阶段的矩阵A，又随机生成了 r,e_1,e_2 , 并假设我们的输入 message=(11)_{10}=(1011)_2 .转化为多项式系数后 m_b=x^3+x+1

添加图片注释，不超过 140 字（可选）

Decompressq(m_b,1)=q/2 \ast m_b=9m_b=9x^3+9x+9 ,

再结合之前生成的 ，A，r, e_1,e_2 , 计算 u=A^Tr+e_1=(11x^3+11x^2+10x+3,4x^3+4x^2+13x+11)

v=t^Tr+e_2+Decompress_q(m_b,1)=7x^3+6x^2+8x+15

3.密钥解封装

添加图片注释，不超过 140 字（可选）

根据密钥封装阶段的u,v和密钥对生成阶段的sk, 我们计算出密钥解封装阶段的 m_n=8x^3+14x^2+8x+6 ,最后我们将 m_n的多项式系数与 q/2 ， 0 对比并取round，获取了round后的多项式 m_{round}=9x^3+9x+9 ,最终我们计算 m_b=1/9\ast m_{round}=x^3+x+1=1x^3+0x^2+1x+1 ,取系数得 message=(1011)_2=(11)_{10}.

相关文章：

Kyber原理解析

Kyber是一种IND-CCA2安全的密钥封装机制。Kyber的安全性基于在模格（MLWE问题）中解决LWE问题的难度。Kyber的构造采⽤两阶段⽅法：⾸先介绍⼀种⽤来加密固定32字节⻓度的消息原⽂的IND-CPA安全性的公钥加密⽅案，我们称之为 CPAPKE&a…...

编程日记 2024/10/31 17:30:05

2024 CCF CSP-J/S 2024 第二轮认证 真题试卷

2024年信息学奥赛CSP-J2入门级复赛真题试卷 题目总数：4 总分数：400 编程题 第 1 题 问答题 扑克牌(poker) 【题目描述】 小 P 从同学小 Q 那儿借来一副 n 张牌的扑克牌。 本题中我们不考虑大小王，此时每张牌具有两个属性:花色和…...

编程日记 2024/10/31 17:28:02

Android 无障碍服务常见问题梳理

android 无障碍服务本意是为了帮助盲人操作手机而设计，但是现在也有人利用这个做自动化操作。 本片文章讲述的主要用作自动化方面。 官方文档 关于配置方法和接口列表，参考 无障碍 比较常用的接口： 1. 执行点击操作 2. 触摸屏幕&#xf…...

编程日记 2024/10/31 17:27:00

Milvus 与 Faiss：选择合适的向量数据库

向量数据库 Milvus 和 Faiss 都是处理大规模向量数据的工具，尤其适用于需要相似性搜索的场景，比如推荐系统、图像检索和自然语言处理等。但它们各自的设计初衷和功能有所不同，适用于不同的使用场景。下面，我们从性能、功能特性、部…...

编程日记 2024/10/31 17:23:56

2024最全CTF入门指南、CTF夺旗赛及刷题网站（建议收藏！）

文章目录 一、赛事介绍二、竞赛模式三、CTF各大题型简介四、赛题情况分析CTF 工具集合Web | Web 安全🕸 MISC | 杂项❆ 基础工具❆ 解题工具❆ 开源脚本🔑 Crypto | 密码学 💫 Reverse | 逆向基础工具💥 PWN | 二进制 &#x1f44…...

编程日记 2024/10/31 17:21:54

【论文阅读】ESRGAN+

学习资料 论文题目：进一步改进增强型超分辨率生成对抗网络（ESRGAN : FURTHER IMPROVING ENHANCED SUPER-RESOLUTION GENERATIVE ADVERSARIAL NETWORK）论文地址：2001.08073代码：ncarraz/ESRGANplus： ICASSP …...

编程日记 2024/10/31 17:16:46

北京市首发教育领域人工智能应用指南，力推个性化教育新篇章

近年来，人工智能在全球教育领域的应用呈现蓬勃发展之势，各国都在探索如何将其更好的融入教育体系，在这一背景下，北京市于10月26日发布《北京市教育领域人工智能应用指南》（以下简称《指南》），推…...

编程日记 2024/10/31 17:13:43

【Java并发编程】信号量Semaphore详解

一、简介 Semaphore（信号量）：是用来控制同时访问特定资源的线程数量，它通过协调各个线程，以保证合理的使用公共资源。 Semaphore 一般用于流量的控制，特别是公共资源有限的应用场景。例如数据库的连接&am…...

编程日记 2024/10/31 17:10:40

window11使用wsl2安装Ubuntu22.04

目录 1、快速了解wsl2 安装子系统linux流程（B站视频） 2、wsl2常用命令 3、windows与子系统Linux文件访问方法 4、子系统linux使用windows网络代理、网络配置（镜像网络，非NAT） 5、wsl2 Ubuntu miniconda 安装 6、…...

编程日记 2024/10/31 17:09:39

虚拟滚动 - 从基本实现到 Angular CDK

简介 在大数据列表的处理上，虚拟滚动是一种优化性能的有效方式。本篇文章将详细介绍两种常见的虚拟滚动实现方式：使用 transform 属性和 Intersection Observer。重点讲解如何通过 transform 属性实现高效的虚拟滚动，并对比Angular CDK中的实…...

编程日记 2024/10/31 17:08:37

Spring WebFlux学习笔记（一）

核心思想 WebFlux主要是异步 例子 参考一个源码&#xff1a; https://blog.csdn.net/qq_43923045/article/details/106309432?spm1001.2014.3001.5506 GetMapping("/delay1")public Mono<RestResult> delayResult() {long l System.currentTimeMillis();…...

编程日记 2024/10/31 17:03:32

富格林：正确追损思维安全交易

富格林指出&#xff0c;对于如何正确追损的这个问题是需要持续付出时间和精力的&#xff0c;发现具备耐心的投资者往往在正确追损的路上更加游刃有余。他们总是可以保持较为平和的心态&#xff0c;不急不躁地分析原因并通过自身掌握的安全应对措施来进行交易。富格林在以下分享…...

编程日记 2024/10/31 17:02:29

前端vue2迁移至uni-app

1.确定文件存放位置 components: 继续沿用 pages: views内容移动到pages static: assets内容移动到static uni_modules: uni-app的插件存放位置 迁移前 src├─assets│ └─less├─components│ ├─common│ │ ├─CommentPart│ │ └─MessDetail│ ├─home│…...

编程日记 2024/10/31 17:01:25

恋爱脑学Rust之闭包三Traits：Fn，FnOnce，FnMut

在Rust中&#xff0c;FnOnce、FnMut和Fn是三个用于表示闭包&#xff08;closure&#xff09;类型的trait。闭包是一种特殊的函数&#xff0c;它可以捕获其环境变量&#xff0c;即在其定义时所处的作用域中的变量。以下是关于这三个trait的详细介绍&#xff1a; 1. FnOnce&#…...

编程日记 2024/10/31 17:00:24

区块链介绍

区块链&#xff08;英文名&#xff1a;blockchain或block chain&#xff09;是一种块链式存储、不可篡改、安全可信的去中心化分布式账本&#xff0c;它结合了分布式存储、点对点传输、共识机制、密码学等技术&#xff0c;通过不断增长的数据块链&#xff08;Blocks&#xff09…...

编程日记 2024/10/31 16:58:22

git回滚间隔的提交

如果你需要回滚几个非连续的提交&#xff0c;可以使用 git revert 来选择性地撤销这些提交。这样做不会改变提交历史&#xff0c;只是会在当前分支上创建新的提交来反转指定的更改。 ### 使用 git revert 回滚间隔的提交 1. **查看提交历史**&#xff1a; 首先&#xff0c…...

编程日记 2024/10/31 16:56:20

Map和Set（数据结构）

一、概念 Map 和 set 是一种专门用来进行搜索的容器或者数据结构&#xff0c;其搜索的效率与其具体的实例化子类有关。 Map 和 Set 是一种适合动态查找的集合容器。 模型 一般把搜索的数据称为关键字&#xff08; Key &#xff09;&#xff0c;和关键字对应的称为值&#xff0…...

编程日记 2024/10/31 16:52:16

vue3uniapp实现自定义拱形底部导航栏，解决首次闪烁问题

前言&#xff1a; 我最初在网上翻阅查找了很多方法&#xff0c;发现大家都是说在page.json中tabbar中添加&#xff1a;"custom": true,即可解决首次闪烁的问题&#xff0c;可是添加了我这边还是会闪烁&#xff0c;因此我这边改变了思路&#xff0c;使用了虚拟页面来解…...

编程日记 2024/10/31 16:51:14

新需求编码如何注意低级错误代码

1. 日常开发常见错误问题 变量拷贝未修改变量定义的值刚开始是随意写的一个值&#xff0c;想等到上线的时候再改成正确的&#xff0c;但是上线的时候忘记改了程序常量配置的错误逻辑关系判断错误 常见的如都不为null、都不为空集合判断不为空逻辑取反了多个关系的 && …...

编程日记 2024/10/31 16:48:11

系统架构图设计（行业领域架构）

物联网 感知层&#xff1a;主要功能是感知和收集信息。感知层通过各种传感器、RFID标签等设备来识别物体、采集信息&#xff0c;并对这些信息进行初步处理。这一层的作用是实现对物理世界的感知和初步处理&#xff0c;为上层提供数据基础网络层&#xff1a;网络层负责处理和传输…...

编程日记 2024/10/31 16:47:10

FFmpeg 低延迟同屏方案

引言 在实时互动需求激增的当下&#xff0c;无论是在线教育中的师生同屏演示、远程办公的屏幕共享协作&#xff0c;还是游戏直播的画面实时传输&#xff0c;低延迟同屏已成为保障用户体验的核心指标。FFmpeg 作为一款功能强大的多媒体框架&#xff0c;凭借其灵活的编解码、数据…...

编程新知 2025/11/4 6:26:59

循环冗余码校验CRC码 算法步骤+详细实例计算

通信过程&#xff1a;&#xff08;白话解释&#xff09; 我们将原始待发送的消息称为 M M M&#xff0c;依据发送接收消息双方约定的生成多项式 G ( x ) G(x) G(x)&#xff08;意思就是 G &#xff08; x ) G&#xff08;x) G&#xff08;x) 是已知的&#xff09;&#xff0…...

编程新知 2026/2/8 8:16:14

鸿蒙中用HarmonyOS SDK应用服务 HarmonyOS5开发一个医院挂号小程序

一、开发准备 ​​环境搭建​​&#xff1a; 安装DevEco Studio 3.0或更高版本配置HarmonyOS SDK申请开发者账号 ​​项目创建​​&#xff1a; File > New > Create Project > Application (选择"Empty Ability") 二、核心功能实现 1. 医院科室展示 /…...

编程新知 2025/9/5 12:16:40

江苏艾立泰跨国资源接力：废料变黄金的绿色供应链革命

在华东塑料包装行业面临限塑令深度调整的背景下&#xff0c;江苏艾立泰以一场跨国资源接力的创新实践&#xff0c;重新定义了绿色供应链的边界。 跨国回收网络&#xff1a;废料变黄金的全球棋局 艾立泰在欧洲、东南亚建立再生塑料回收点&#xff0c;将海外废弃包装箱通过标准…...

编程新知 2026/1/31 13:42:15

ffmpeg（四）：滤镜命令

FFmpeg 的滤镜命令是用于音视频处理中的强大工具&#xff0c;可以完成剪裁、缩放、加水印、调色、合成、旋转、模糊、叠加字幕等复杂的操作。其核心语法格式一般如下&#xff1a; ffmpeg -i input.mp4 -vf "滤镜参数" output.mp4或者带音频滤镜&#xff1a; ffmpeg…...

编程新知 2026/2/4 23:47:47

【Zephyr 系列 10】实战项目：打造一个蓝牙传感器终端 + 网关系统（完整架构与全栈实现）

🧠关键词：Zephyr、BLE、终端、网关、广播、连接、传感器、数据采集、低功耗、系统集成 📌目标读者：希望基于 Zephyr 构建 BLE 系统架构、实现终端与网关协作、具备产品交付能力的开发者 📊篇幅字数：约 5200 字 ✨ 项目总览 在物联网实际项目中，**“终端 + 网关”**是…...

编程新知 2026/1/31 6:12:22

【JavaSE】绘图与事件入门学习笔记

-Java绘图坐标体系 坐标体系-介绍 坐标原点位于左上角&#xff0c;以像素为单位。 在Java坐标系中,第一个是x坐标,表示当前位置为水平方向&#xff0c;距离坐标原点x个像素;第二个是y坐标&#xff0c;表示当前位置为垂直方向&#xff0c;距离坐标原点y个像素。 坐标体系-像素 …...

编程新知 2025/12/19 20:46:15

QT： `long long` 类型转换为 `QString` 2025.6.5

在 Qt 中&#xff0c;将 long long 类型转换为 QString 可以通过以下两种常用方法实现&#xff1a; 方法 1&#xff1a;使用 QString::number() 直接调用 QString 的静态方法 number()&#xff0c;将数值转换为字符串&#xff1a; long long value 1234567890123456789LL; …...

编程新知 2026/2/1 6:30:04

智能仓储的未来：自动化、AI与数据分析如何重塑物流中心

当仓库学会“思考”&#xff0c;物流的终极形态正在诞生 想象这样的场景&#xff1a; 凌晨3点&#xff0c;某物流中心灯火通明却空无一人。AGV机器人集群根据实时订单动态规划路径&#xff1b;AI视觉系统在0.1秒内扫描包裹信息&#xff1b;数字孪生平台正模拟次日峰值流量压力…...

编程新知 2026/2/1 2:49:30

SpringTask-03.入门案例

一.入门案例 启动类&#xff1a; package com.sky;import lombok.extern.slf4j.Slf4j; import org.springframework.boot.SpringApplication; import org.springframework.boot.autoconfigure.SpringBootApplication; import org.springframework.cache.annotation.EnableCach…...

编程新知 2026/2/2 0:35:08