密码学学习
文章平均质量分 59
Mkotori
这个作者很懒,什么都没留下…
展开
-
笔记——零知识证明zkSNARK
记录下学习零知识证明的相关资料以及协议构建过程 相关定义 Definition 1 (Quadratic Span Program) 若一个程序QQQ为QSP,则其在域FFF上存在两个集合 V={vk(x):k∈{0,...,m}}V = \left\{v_k(x):k\in\left\{0,...,m\right\}\right\}V={vk(x):k∈{0,...,m}}和 W={wk(x):k∈{0,...,m}}W = \left\{w_k(x):k\in\left\{0,...,m\right\原创 2020-08-23 13:01:54 · 393 阅读 · 0 评论 -
密码学(Cryptography)学习——Negligible and Noticeable Functions
在密码学之中,最弱的也是最简单Computational Hardness Assumptions就是单向函数(one way function, 下文简称OWF)的存在。在引入OWF之前,先介绍两个函数。 一、简介 Noticeable 和 negligible 函数是用来形容某些事件发生的概率的大小的。直觉上来说,noticeable function要求比某些多项式可逆(inverse-...原创 2018-09-22 14:18:09 · 2169 阅读 · 1 评论