在 zkPoD 中，零常识证明饰演了⾮常重要的⻆⾊，数据的交付进程是以零常识证明的⽅式交付，买家先拿到的是⼀堆的零常识证明，虽然数据埋没在这些数据中，可是从外部整体上看，这些看似⾮常随机的数据中，是没有任何步伐去获得关于原始数据的哪怕⼀个 bit。（这⼀点可以证明，请原谅我忍不住插⼀点学术术语：基于离散对数困难假设的「完美零常识」，Perfect Zero-Knowledge）领略零常识证明理论的焦点是领略我上面重复提到的「模仿」这个暗黑并有趣的观念。这个我们今后再展开讲。

零常识证明的⽤处⾮常⼴泛，⼤家可以各类开脑洞，个中⼀个最直接也⾮常重要的⽤处就是敏感数据的掩护。不管是后果单、病历、账本、暗码、等等等，你都可以把个中任何部门扣掉，换成⼀个很像随机数的零常识证明，它能证明被扣掉的敏感数据仍然是可信的，真实的。（这⾥请⼤家开脑洞，尚有哪些好玩的场景。）

原文标题：《zkPoD: 区块链，零常识证明与形式化验证，实现无中介、零信任的公正生意业务》

那么这些底层玩意儿可信么？

零常识证明实现了一类暗码学理论技能，它基于一些安详假设「模仿」出了⼀个虚拟的可信第三⽅。

补上信任的最后一环正是「形式化验证」。这里不深入细节，我只简朴接头下「形式化验证」到底在 zkPoD 场景下能做到哪些，能办理什么问题。形式化验证实际上是为逻辑，流程可能业务举办形式化建模，你可以领略为用一种数学语言举办描写，模子就是一些数学观念（或数学工具），好比荟萃、代数、领域等等。然后所有的形式化验证都在用「显式」的或「隐式」的方法「严格证明」某个结论（可能叫做定理）。一旦当某个部件的靠得住性论点被「证明」了，那么他就可以被移出 Trusted Computing Base。

总体上我认为像这些 「Trustless」的智能合约具有很是大的代价，不管是低代价但高频的自动生意业务——传统生意业务中的斗嘴开销（开销过大，而生意业务代价过低）剥夺了寻求严肃合理的参加度，亦或是高代价生意业务中的低速，不行靠 (出格是需要诉诸司法)，可能传统生意业务斗嘴仲裁中的隐私掩护缺失，都将会变得无法接管。

zk 暗示「零常识」，PoD 是 底层安详协议的名字，是一种（非）交互式证明系统（PoD 代表 Proof of Delivery），用来实现可验证的数据交付（Verifiable data delivery，也可以领略成可验证的数据传输）。

买家：Bob

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。