My Posts

2022

• BLS签名形式化安全证明（十四行诗版）

• 一个对SDH问题解的ZKPoK协议

• 密码学答疑系列（1）：困难假设和安全模型的强弱以及安全归约的方向

• 再谈王垠《再谈“P vs NP”问题》

• 花好月圆是极好的，可我偏偏不喜欢

• 简洁性随感

• A minimalist proof of 1+2+3+…=-1/12

• prose.sh：给黑客的极简博客发布平台

• 关于Groth16延展攻击

• 定义「知识可靠性」

• 关于「知识」vs「信息」的快速笔记

• 推导三次方程求根公式

• 一个比较大文件是否相等的最差也最好的确定性算法

2021

• Schnorr签名再思考

• 如何模拟：模拟证明技术教程（视频）