![](https://img-blog.csdnimg.cn/20201014180756754.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
证明与计算
文章平均质量分 97
幻灰龙
计算数学博士,程序员,热爱技术和学习。
展开
-
证明与计算(7): 有限状态机(Finite State Machine)
什么是有限状态机(Finite State Machine)?什么是确定性有限状态机(deterministic finite automaton, DFA )?什么是非确定性有限状态机(nondeterministic finite automaton, NDFA, NFA)?[1] wiki-en: Finite state machine[2] wiki-zh-cn: Finit...原创 2020-04-01 16:26:00 · 1603 阅读 · 0 评论 -
证明与计算(6): 身份认证与授权
目录:** 0x00 引子** 0x01 用户名和密码** 0x02 密码管理器的基本原理** 0x03 多因素认证** 0x04 双因素认证(two-factor-auth)的基本原理。** 0x05 [OpenID] vs [OAuth]** 0x06 [IDToken] vs [JWT, JWS, JWE]** 0x07 如何生成强密码** 0x08 OpenGPG0x......原创 2019-01-29 23:26:00 · 4058 阅读 · 5 评论 -
证明与计算(5): 从加密哈希函数到一致性哈希
目录:** 0x01 [哈希函数] vs [加密哈希函数]** 0x02 [哈希碰撞] vs [生日问题]** 0x03 [哈希表] vs [分布式哈希表]** 0x04 [欧式距离] vs [三角不等式]** 0x05 [异或距离] vs [前缀路由表]0x01 [哈希函数] vs [加密哈希函数]在哈希表计算索引的时候,我们需要一个哈希函数,通过hash(key)来计算key在...原创 2019-01-25 00:06:00 · 341 阅读 · 2 评论 -
证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)
0x01 布尔代数(Boolean algebra)大名鼎鼎鼎的stephen wolfram在2015年的时候写了一篇介绍George Boole的文章:George Boole: A 200-Year View。怎样用数学公理重新表达经典逻辑?George Boole在19世纪的时候开始思考这件事,在他的书《The Mathematical Analysis of Logic》里面Geo...原创 2018-08-07 17:38:00 · 1196 阅读 · 4 评论 -
证明与计算(2): 离散对数问题(Discrete logarithm Problem, DLP)
本文链接,随时更新请不要转载以免过期:https://www.cnblogs.com/math/p/discrete-log.html离散对数问题,英文是Discrete logarithm Problem,有时候简写为Discrete log,该问题是十几个开放数学问题(Open Problems in Mathematics, [0.a], [0.b])中的一个。为什么要从离散对数问题说起...原创 2018-07-28 20:09:00 · 1358 阅读 · 0 评论 -
证明与计算(1): Decision Problem, Formal Language L, P and NP
0x01 从判定问题到形式语言这篇讲知识证明的wiki([1]):https://en.wikipedia.org/wiki/Proof_of_knowledge里面有一句话:Let x be a language element of language L in NP这篇讲NPC的文章([2])http://www.cs.princeton.edu/courses/archive...原创 2018-07-18 20:04:00 · 363 阅读 · 0 评论