摘要：
Correlated agreement 形式化定义: Mutual correlated agreement 形式化定义: 区别: 前者没有规定折叠后的向量和码字一致的index集合与每个向量一致的index集合相同. 阅读全文
posted @ 2025-10-31 22:59
神龙小虾
阅读(3)
评论(0)
推荐(0)
摘要：
默认的字体格式很难打出生僻字. 我们可以使用ctex的其他字体. 首先要知道有哪些字体, 参考: https://www.cnblogs.com/wodedow/p/13845213.html. 比如我们要使用字体名称为AR PL KaitiM GB, 我们需要在usepackage区域加入下面的代 阅读全文
posted @ 2025-09-15 09:58
神龙小虾
阅读(15)
评论(0)
推荐(0)
摘要：
Big-O: \(O().\) 这个很常用, 给出了算法的复杂度上界. \(f(n) \in O(g(n)): \exists c > 0, \exists n_0\) such that \(\forall n \geq n_0, f(n) \leq cg(n).\) Little-o: \(o( 阅读全文
posted @ 2025-04-07 21:43
神龙小虾
阅读(52)
评论(0)
推荐(0)
摘要：
如果一个证明仅仅是SNARK, 但不是zkSNARK会有什么问题? 人们通常会产生误解: 单个SNARK太少了, 并不会泄露关于witness的信息. 这显然是错误的. 事实上, 单个SNARK会泄露关于 witness 的信息, 但是不会泄露 *full* witness(我们将在这篇博客中讨论). 值得注意的是, 今年的 [ZK Hack V puzzle](https://zkhack.dev/zkhackV/puzzleV1.html "ZK Hack V puzzle") 就是基于这个主题. 阅读全文
posted @ 2024-12-05 22:49
神龙小虾
阅读(48)
评论(0)
推荐(0)
摘要：
自用LaTex beamer模板 阅读全文
posted @ 2024-06-15 21:15
神龙小虾
阅读(104)
评论(0)
推荐(0)
摘要：
详细介绍OT extension的重要文章: Extending Oblivious Transfers Efficiently. 作者是Yuval Ishai, Joe Kilian, Kobbi Nissim, and Erez Petrank, 发表在2003的Crypto上. 阅读全文
posted @ 2024-05-17 21:41
神龙小虾
阅读(965)
评论(2)
推荐(0)
摘要：
这篇文章我们介绍RSA的单向性, 置换型等等. 我们给出formal的RSA假设: RSA假设. 给定一个三元组 \((N, e, y)\), 其中 \(N\) 是大素数 \(p, q\) 的乘积, \(gcd(e, \Phi(N)) = 1\), \(y \in \mathbb Z_n^*\), 阅读全文
posted @ 2024-05-14 18:41
神龙小虾
阅读(188)
评论(0)
推荐(0)
摘要：
介绍半诚实敌手模型下的OT. 给出陷门OWP假设下的OT, 并给出证明. 阅读全文
posted @ 2024-05-09 12:36
神龙小虾
阅读(264)
评论(0)
推荐(0)
摘要：
介绍半诚实模型下的MPC安全定义 阅读全文
posted @ 2024-05-09 12:30
神龙小虾
阅读(395)
评论(0)
推荐(0)
摘要：
密码学中很多证明需要用到Simulation, 尤其是ZK, MPC等等. 对于初学者来说, 涉及Simulation的证明往往不容易理解, 更别说自己独立证明, 所以有必要学习一下如何写这样的证明.
文章主要参考Yehuda Lindell的讲义: How to simulate it. 阅读全文
posted @ 2024-05-09 12:25
神龙小虾
阅读(595)
评论(0)
推荐(0)
浙公网安备 33010602011771号