摘要：
在开始前,先回顾以下的知识点: 离散对数问题(Discrete logarithm Problem,DLP)难解性猜想: 给定以大素数$p$为阶的循环群$G$,$g,h\in G$是两个生成元(在素数阶群上等价于非恒等元),求解$t$,使得$h^t=g$在计算上是不可行的. Diffie-Hellm 阅读全文
摘要：
数学基础: 抽象代数: 一个算符的代数结构: 幺半群: 数的集合和一个算符构成的代数结构$(G,+)$,且满足 封闭性 结合律 存在恒等元(在群中我习惯这么叫,避免混淆) 群: 满足如下条件的代数结构$(G,+)$: 封闭性 结合律 存在恒等元 对于每个元素均存在逆元 交换群/阿贝尔群: 满足如下条 阅读全文
摘要：
秘密分享的背景与概念: 密钥丢失是一件很麻烦的事情,例如,保存私钥的硬盘被不小心格式化,或者持有密钥的管理员被车创了,会导致重要文件不能打开等严重后果.避免此类后果的方式之一是创建多个密钥备份,但备份越多意味着密钥泄露的风险越大. 另一个思路是秘密分享,其思想是将秘密分解为多个碎片并分别保存,需要秘 阅读全文
摘要：
本文主要参考资料:找通项的终极方法！让每个人都能听懂的【拉格朗日插值法】_哔哩哔哩_bilibili 回顾,多项式的系数表示法和点值表示法:FFT（快速傅立叶变换）学习 - Isakovsky - 博客园 (cnblogs.com) 从系数表示法到点值表示法的运算叫做求值运算,从点值表示法到系数表示 阅读全文
摘要：
不经意传输: 不经意传输(Oblivious Transfer,OT)这个名字不太直观,实际上,该协议的描述是: 发送方Alice向接收方Bob发送了$n$条消息,$m_1,\cdots,m_n$, 接收方Bob从中选择一条或几条消息. 发送方无法控制接收方的选择,也无法得知接收方的选择,而接收方不 阅读全文
摘要：
零知识证明 基本概念: (这部分书上讲的实在是太难懂了,因此博客内容参考了零知识证明Zero-Knowledge Proof介绍 - 知乎 (zhihu.com)) 想象这样的应用场景:甲指着报纸上一道超难的数独题,说:"我知道这道数独题的答案",并且需要向乙证明这一点.于是甲做了一堆上面写着数字1 阅读全文
摘要：
直接上脚本 // ==UserScript== // @name GoodbyeCSDN // @namespace isakovsky // @version 1.0 // @description 在搜索引擎上自动添加文本到搜索关键词后面 // @include *://*.bing.com/s 阅读全文
摘要：
回顾:FFT FFT（快速傅立叶变换）学习 - Isakovsky - 博客园 (cnblogs.com) 目的:将多项式的系数表示法形式转换为点值表示法形式,或者说,快速计算出多项式在若干个点上的值. 中心思想:适当地选取自变量,使得自变量两两互为相反数,求出的多项式值可重复利用,减少运算次数 例 阅读全文
摘要：
如题,尝试修改pip配置 pip3 config set global.index-url https://pypi.tuna.tsinghua.edu.cn/simple 时出现如下报错: Writing to C:\Program Files\WindowsApps\PythonSoftware 阅读全文
摘要：
因为这两种算法都是随机化算法且都与数论问题有关,而且还有许多微妙的联系,因此放在一起整理. 素性检验问题 (主要参考资料:【朝夕的ACM笔记】数论-Miller Rabin素数判定 - 知乎 (zhihu.com)) (不完善的)Fermat素性检验: 由Fermat小定理可知,对于素数$p$,所有 阅读全文