- 博客(116)
- 资源 (12)
- 问答 (1)
- 收藏
- 关注
RSS订阅原创 函数增长速率符号
O⋅)fn)gn)c0n0≥0n≥n0fn≤c⋅gn)fnOgn))Ogn))fn)gn)On2)n2o⋅)fn)gn)c0n0≥0n≥n0fnc⋅gn)fnogn))ogn))fn)gn)non2)nn2ω⋅)fn)gn)c0n0≥0n≥n0fnc⋅gn)fnωgn))ωgn))fn。
2025-01-09 10:11:22
593
原创 本原多项式
将GFp延伸为有pm个元素的域，称之为GFp的，表示为GFpmGFp是GFpm的子集。GFpm元素个数为pm。例如GF2是GF2m的一个子域。在扩域中存在一个特殊元素a，其满足a2m−11。这意味着任何幂次超过2m−1都可以被将次小于2m−1。GF2m可以表示为0a1a1...a2m−2。
2024-12-26 19:43:57
601
原创 有限域、伽罗瓦域、扩域、素域、代数扩张、分裂域概念解释
一个元素个数有限的域称为有限域或者伽罗瓦域有限域中元素个数为素数，记为GFpGF(p)GFp。有限域中的元素运算满足交换律，结合律和分配律。特征：存在某个正整数mmm，使得对任意域中元素aaama0ma=0ma0，则称特征为mmmCharFmChar F=mCharFm。讨论每个元素非常麻烦，幸运的是我们只需要关注单位元。如果能使单位元称为0，那么该正整数就是特征。有限域的特征一定是素数假设 ( p ) 不是素数：如果ppp。
2024-12-26 19:43:30
602
原创 python常见数组操作
当然，Python中的数组操作可以非常复杂和强大，特别是当你使用NumPy、SciPy、Pandas等库时。NumPy和SciPy提供了大量的线性代数功能，包括矩阵分解、求解线性方程组等。SciPy提供了信号处理模块，可以进行滤波、卷积等操作。NumPy允许你使用复杂的索引和切片操作来处理多维数组。NumPy和SciPy提供了傅里叶变换和逆变换的功能.NumPy会“广播”较小的数组以匹配较大数组的形状。NumPy可以生成各种分布的随机数.
2024-12-25 09:20:11
316
原创 python爬虫代码
创建一个Python爬虫通常涉及到几个步骤，包括发送网络请求、解析网页内容、提取所需的数据以及存储数据。下面是一个简单的Python爬虫示例，使用了。库来解析HTML内容。
2024-12-25 09:10:49
942
原创 K-均值聚类算法
值得注意的是，K-均值算法是基于欧氏距离的，因此在应用之前需要对数据进行标准化处理，以避免某些特征对距离计算的影响过大。另外，为了克服K-均值算法的一些缺点，研究人员也提出了许多改进的版本，如K-均值++、K-均值++、K-均值大数据版本等。K-均值聚类算法是一种经典的非监督学习算法，用于将数据集中的样本划分为K个不同的簇(cluster)。其目标是使得同一簇内的样本相似度最高，不同簇之间的样本相似度最低。
2024-12-24 21:54:46
283
原创 Reed-Muller(RM)码之编码
点个关注吧！看了一些中文的博客，RM码没有很详细的资料，所以本文尝试给出推导原理。推导RM码由 (r,m)( r , m )(r,m)两个参数定义，记作RM(r,m)RM(r,m)RM(r,m)。其中满足 0≤r≤m0 ≤ r ≤ m0≤r≤m，含义为：码长： n=2mn=2^mn=2m维数： k(r,m)=∑i=0i=rC(m,i)k ( r , m ) =\sum_{i=0}^{i=r}C(m,i)k(r,m)=∑i=0i=rC(m,i)最小（汉明）距离： dmin=2m−rd_{mi
2024-12-24 21:51:24
967
原创 Apache Spark
它提供了一个高级别的API，可以在大规模集群上进行分布式数据处理，具有高性能和易于使用的特点。弹性分布式数据集（RDD）：是 Spark 中的核心数据结构，代表了一个分布在集群中的可读写的数据集合。MLlib：是 Spark 的机器学习库，提供了常见的机器学习算法和工具，用于构建和训练模型。数据探索和可视化：Spark 提供了灵活的数据处理和查询能力，可以用于数据探索和可视化分析。GraphX：是 Spark 的图处理库，用于处理大型图结构数据，支持图算法和图计算。
2024-12-08 09:54:44
588
原创 Fujisaki-Okamoto转换（FO转换）
1、非对称加密是一个概率性算法，加密时输入公钥，消息和随机数生成密文。2、对称加密是一个确定性加密。加密时输入消息和公钥，生成对应的密文。
2024-12-08 09:51:12
1050
原创 智能合约运行原理
用一句话来总结，智能合约就像是一个自动售货机：你投入硬币（触发条件），选择商品（执行合约），然后机器就会自动给你商品（执行结果），整个过程无需人工干预，而且完全透明可靠。智能合约可以想象成一个自动执行的数字协议，它运行在区块链上，就像一个编程好的机器人，按照预设的规则来执行任务。比如，如果合约是关于支付的，那么当条件满足时，合约就会自动从一方的账户中扣除资金，并发送到另一方的账户。：智能合约的执行结果会被区块链网络中的其他节点验证，确保合约的执行是按照预定规则进行的，没有作弊或者错误。
2024-11-21 20:01:54
692
原创 区块链应用到银行的优势
哈希函数则确保交易数据的完整性和真实性，任何对交易数据的篡改都会导致哈希值的变化，从而被系统及时发现和阻止。：区块链通过共识机制，如工作量证明（PoW）、权益证明（PoS）等，确保所有节点对交易数据达成一致，从而保证了支付的一致性和可靠性。只有在大多数节点达成共识的情况下，新的交易才会被记录在区块链上，并被所有节点认可，这种机制有效防止了双重支付和欺诈交易的发生。例如，利用区块链技术进行股权管理，提供更高的安全性和准确性。支付系统：构建去中心化的支付网络，减少故障和攻击的风险，提高支付系统的安全性和效率。
2024-11-21 19:59:39
663
原创 编码之 low-density parity-check (LDPC码)
首先定义矩阵行重量：矩阵每一行的汉明重量为www。（列重量同理）令λρ∈Nλρ∈N，在F2F2上的nk[n,k]nk线性码如果其parity check matrixH∈F2n−k×nH∈F2n−k×n的列重量为λ\lambdaλ，行重量为ρ\rhoρ。那么称之为λρλρLDPC码。令w∈Nw∈N，在F2F2上的nk[n,k]nk。
2024-11-20 09:21:05
1005
原创 编码之循环码-密码学
令cc1cn∈Fqncc1...cn∈Fqn，定义循环移位操作σc\sigma(c)σc。σc1cncnc1cn−1σc1...cncnc1...cn−1如果任何码字的循环移位也是码字，我们称码是循环的。令CCC是nk[n,k]nk线性码，如果σCCσCC，我们称之为循环码。
2024-11-20 09:20:12
957
原创 编码goppa码详细讲解-编码密码（一）
令gzg0g1zgtztgzg0g1z...gtztLα1αn⊂FqmLα1...αn⊂Fqm满足gαi≠0i∈Lgαi0i∈L。
2024-11-19 11:18:04
1388
原创 GRS码（Generalized Reed-Solomon Code）
令k≤n≤q，α∈Fqn是n元组（αα1...αnαiαj∀ij∈1...n令β∈Fqn,ββ1...βnβi0∀i∈1...n。长度n维度k的GRS码（GRSnkαβ）:GRSnkαβ{(β1fα1...βnfαn))∣f∈Fqxdegfk当β1...1。
2024-11-18 20:21:18
465
原创 线性码、汉明重量、汉明距离
定义1： qqq阶线性码CCC是Fqn\mathbb{F}_q^nFqn的线性子空间。如果CCC的维度为kkk，那么称其为[n,k][n,k][n,k]线性码。定义2：线性码CCC的生成矩阵是G∈Fqk×nG\in \mathbb{F}_q^{k\times n}G∈Fqk×n,GGG的行是CCC的基（即线性码是GGG的行的线性组合）。定义3：汉明重量（Hamming weight）：对于x∈Fqnx\in \mathbb{F}_q^nx∈Fqn，xxx的汉明重量为其非零元的个数：wtH(x)=∣{
2024-11-18 19:27:58
1097
原创 NIZK零知识证明-Groth10-Short Pairing-based Non-interactive Zero-Knowledge Arguments（五）
读者可以尝试一下进行推导，论文还有常数长度的方案改进，感兴趣的读者可以去阅读原文，我就不再继续更新了。分别计算下面两个pairing，出现了我们期望的部分。但是他们还包含很多杂项。有需要论文知道、审稿，申博资料准备，答辩等的可以私信。因此prover产生argument。
2024-11-13 19:13:45
167
原创 NIZK零知识证明-Groth10-Short Pairing-based Non-interactive Zero-Knowledge Arguments（四）
是秘密值的承诺，思路和前面文章的argument一样。有需要论文知道、审稿，申博资料准备，答辩等的可以私信。六、Product Argument 乘积证明。，我们需要给出证据argument (，那么多项式可以变成下图所示。不就是上一章里面公共字符串的划分嘛！),这些证据是关于承诺值并且要证明。有相同的系数，因此便能完成证明。给定三个承诺，三个承诺之间满足。最后，prover不仅需要证明。，来消除所有其他项，只留下。成立，他还需要证明他知道。，那么上述等式就只剩。来证明他知道秘密值。
2024-11-13 18:57:58
670
原创 NIZK零知识证明-Groth10-Short Pairing-based Non-interactive Zero-Knowledge Arguments（三）
有需要论文知道、审稿，申博资料准备，答辩等的可以私信；。
2024-11-13 17:44:27
986
原创 NIZK零知识证明-Groth10-Short Pairing-based Non-interactive Zero-Knowledge Arguments（二）
有需要论文知道、审稿，申博资料准备，答辩等的可以私信零知识证明一见。输入pGGTeggx..gxqgβgβx...gβxj−1gβxj...gβxq，求解出gβxj的概率为0.
2024-11-12 20:42:05
828
原创 NIZK零知识证明-Groth10-Short Pairing-based Non-interactive Zero-Knowledge Arguments (一)
一句话来说，零知识证明就是想实现：证明者能向验证者证明它拥有某些知识，但是不想让验证者获得该知识。：只要证明者正确地知道某一statement，那么就能让验证者相信自己知道该statement。任何恶意证明者都不能以虚假statement欺骗验证者接受该statement。证明者在向验证者提供证明的过程中不泄漏任何除statement正确性之外的信息。:任何承诺方都不能将已有的承诺值 Open 成不同的内容，即接收方可以确信。为知识承诺，因为证明者在不“知道”所承诺的值的情况下，不能做出有效的承诺。
2024-11-12 19:42:32
977
原创 数论17-群的基本性质
二、群中每一个元素存在唯一的逆元。（比如矩阵），这里只是写法表示。三、消去律：对任意三个元素。由群的定义知，对任一元素。由群的定义知，存在元素。所以只有唯一的单位元。
2024-07-24 16:25:59
1079
原创 数论16-群
只是一个符号表示，它可以是数的加法，乘法；是一个非空集合，如果集合上定义的代数运算。整数集合加法运算满足封闭性；上的加法构成群，该群称为。首先需要满足二元运算的。
2024-07-24 16:09:03
828
原创 数论15-二元运算，代数运算
"是集合的两个二元运算，如果对于集合中的任意三个元素。上的加法运算是一个二元运算，但减法不是二元运算。"是集合的二元运算，如果对于集合中的任意三个元素。"是集合的二元运算，如果对于集合中的任意两个元素。上的加法、乘法运算满足分配律和结合律。上的加法运算是一个二元运算。上的二元运算（代数运算）。"在该集合上满足结合律。"在该集合上满足交换律。上的乘法对加法满足分配律。在该集合上满足分配律。
2024-07-24 15:57:20
902
原创 TFHE中的数据结构Torus
T满足加法交换群（阿贝尔群），乘法定义了外积（T中元素和整数群中元素做乘法）但未定义内积（T中元素做乘法）。反例：$a=2/5，b=4/5，c=1/3. $的集合（数模1运算）。具体见一下篇文章代码介绍。当我们值保留3位小数位数时。本文用T表示Torus。如果T是一个环，那么满足。,比特精度取64或32。\phi$是比特精度。
2024-07-23 07:40:34
747
原创 TFHE库，fftw和googletest库安装
3.主要会出现两个错误：没有fftw和googletest。本文主要关注于TFHE的安装与常见的问题。TFHE可能存在以下的报错，关注。
2024-07-20 09:33:23
453
原创 C++ versions less than C++14/11 are not supported.报错
TFHE报错C++ versions less than C++14 are not supported.3.打开CMAKELists.txt。4.在文件中添加以下两条命令。2.找到并进入src文件夹。安装TFHE遇见以下报错。1.进入TFHE文件夹。
2024-07-20 09:31:47
906
原创 CKKS加密-编码解码
CKKS的创新点与难点在于数据编码。CKKS支持实数和负数的计算，能直接应用于机器学习中。三、文中采用坐标随机取整的方法，进行映射。同时为了保证数据精度，取整前会先对数据乘上。我们想做的就是将消息编码到明文空间中，将明文解码到消息空间。感觉我们已经完成了数据编码：收到。，因此CKKS的消息空间只在。那我们定义一个新的空间。，想求解出一个多项式。
2024-05-16 17:20:04
616
原创 数论13-同余方程、一次同余方程
我们把整个剩余类看成同余方程的一个解。不同于且是同余方程的解时，我们把它看作同余方程不同的解。因为一次同余方程有解，所以。为整系数多项书，将含有变量。是同余方程的解，那么剩余类。，所以存在唯一逆元使得。称为同余方程的次数。
2024-05-10 09:28:22
780
原创 数论12-欧拉定理与费马小定理
的元素(最小非负即约剩余系)为。两个即约剩余系的乘积分别为。中存在元素相等，那么有。即约剩余系乘积相等。，则即约剩余系表示为。
2024-05-06 10:12:17
799
原创 数论11-乘法逆元
定理：设正整数m，给定一个整数r∈Zm，若gcdrm1，那么存在逆元k∈Zm使得rk1modm。krm证：已经介绍过gcdabaxby。那么rxmy1，因此有rx1modm。所以x模m后便是r的逆元。示例：求11mod26的逆元：利用262∗114112∗4341∗31因此：14−1∗3=4−11−2∗4)=3∗4−。
2024-05-06 09:47:34
875
原创 数论10-即约剩余系
从定理可以扩展得到：对于互素的正整数。互素的元素构成的集合称为。是两个互素的正整数，如果。证明思路和前一章思路类似。的公因数，与已知矛盾。
2024-05-03 11:06:07
1049
二进制BCH纠错编码及其解码原理详解
2024-11-24
量子时代下基于编码理论的密码学发展现状与挑战A survey on code-based cryptography
2024-11-24
Graduate Texts in Mathematics) J.H. van L Introduction to Coding
2024-11-18
量子时代背景下基于编码的密码学综述及其公钥加密与签名方案研究A survey on code-based cryptograph
2024-11-18
电子科技大学网络安全协议实验报告TLS配置和流量分析实验.docx
2021-01-05
电子科技大学网络安全协议实验报告WPA-PSK口令实验.docx
2021-01-05
电子科大操作系统实验课Linux通过管道实现进程间通信
2021-01-05
电子科大操作系统课程报告信号量哲学家就餐，生产者消费者实验_信号量生产者消费者pv完整代码
2021-01-05
计算机网络交换机Vlan实验.doc
2021-01-05
电子科技大学软件安全搜索API实验
2021-01-05
电子科技大学软件安全逆向实验.docx
2021-01-05
多进程多线程时间服务.zip
2020-05-20
postgresql运行界面出错如何解决
2019-03-10
TA创建的收藏夹 TA关注的收藏夹
TA关注的人