飞久

这篇文章正式介绍一下Bob如何验证Alice发过来的的值是否正确。实际上，我们想要实现2个目的： 要实现第2个目标，需要用到上一篇文章里介绍的α对和KCA的概念。 Alice需要回复一个α对，根据之前介绍的方法，她可以从上面的α对中随机挑选一个，然后各自乘以一个系数：。那么，除…

上一篇介绍了盲计算，所谓盲计算，就是Alice在不知道s的情况下完成多项式计算。 那么，Bob如何确定Alice的计算结果是正确的呢？要实现这一目标，需要先介绍一个概念：α对。 在有限循环群G中，如果，那么就称为一个α对。 也就是说，b是a的α倍（模p）。有了这个概念，就可以进…

上一篇介绍了什么是同态隐藏。假设取，则可以通过和计算出来： 需要注意的是，上面的加法和乘法运算都是模p运算。 假设现在有一个d次多项式，其中的系数是Alice需要保护的秘密。根据上面的特性，我们可以计算出： 现在Bob想来验证Alice是不是真的知道这些秘密，于是他决定随机指定…

所谓零知识证明，指的是在不泄露秘密的前提下，证明我知道这个秘密。 举个简单例子，假设我一个月工资2000，我老婆一个月工资3000。我不会把这两个数字透露给你，但是我可以告诉你，我俩每个月的工资加起来是5000。你可以通过某种方式验证我俩的工资加起来确实是5000，但是你没办法…

然后呢，蚂蚁金服的一位架构师sorrycc很迷这位美女，正巧刚开发了一款前端框架没有名字，作为一个向女神献礼的项目，dva框架就此诞生。 当然，也不是完全没有新东西，其中有一个Subscription好像之前没有见过，这是一种数据源订阅机制，数据源可以是键盘输入事件、路由变化、…

1.静态路由 vs. 动态路由 在Web前端开发中，我们经常会需要处理页面路由问题。习惯上，路由信息会在一个地方集中配置好，我们可以称之为“静态路由”，或者叫“中心化式路由”。以react-router v3版本为例，代码类似下面这样： 可以看到，在程序的顶层组件上配置好了所有…

第一次看到这个单词的时候一脸懵逼，因为字典上查到的意思完全驴头不对马嘴。。。 最初这篇论文是为了解决分布式系统中的LLT（Long Lived Transaction），也就是长时运行事务的数据一致性问题的。这么说有点抽象，我们来举个具体的例子： 假如你在一个在线订票系统上订了…

上一篇分析了Flux出现的背景和原理，最核心的思想就是“组件化+单向数据流”。 1. 多Store数据依赖 由于Flux采用多Store设计，各个Store之间可能存在数据依赖。以flux-chat为例：在这个聊天软件里，可能会有多个人给你发消息，比如Dave给你发了3条，Br…